Friends or Foes? An AI Planning Perspective on Abstraction and Search | Request PDF
See all >2 CitationsSee all >15 References
+ 3Show more authorsThere is increasing awareness that planning and model checking are closely related fields. Abstraction means to perform search in an over-approximation of the original problem instance, with a potentially much smaller state space. This is the most essential method in model checking. One would expect that it can also be made successful in planning. We show, however, that this is likely to not be the case. The main reason is that, while in model checking one traditionally uses blind search to exhaust the state space and prove the absence of solutions, in planning informed search is used to find solutions. We give an exhaustive theoretical and practical account of the use of abstraction in planning. For all abstraction (over-approximation) methods known in planning, we prove that they cannot improve the best-case behavior of informed search. While this is easy to see for heuristic search, we were quite surprised to find that it also holds, in most cases, for the resolution-style proofs of unsolvability underlying SAT-based optimal planners. This result is potentially relevant also for model checking, where SAT-based techniques have recently been combined with abstraction. Exploring the issue in planning practice, we find that even hand-made abstractions do not tend to improve the performance of planners, unless the attacked task contains huge amounts of irrelevance. We relate these findings to the kinds of application domains that are typically addressed in model checking.Do you want to read the rest of this article?Request full-text
ArticleJan 2011ArticleFeb 2011ProjectProjectArticleJanuary 2006There is increasing awareness that planning and model checking are closely related fields. Abstraction means to perform search in an over-approximation of the original problem instance, with a potentially much smaller state space. This is the most essential method in model checking. One would expect that it can also be made successful in planning. We show, however, that this is likely to not... [Show full abstract]ArticleJanuary 2009 · Planning as satisfiability, as implemented in, for instance, the SATPLAN tool, is a highly competitive method for finding parallel step-optimal plans. A bottleneck in this approach is to *prove the absence* of plans of a certain length. Specifically, if the optimal plan has N steps, then it is typically very costly to prove that there is no plan of length N-1. We pursue the idea of leading... [Show full abstract]Conference PaperJanuary 2008We consider a generalization of the PDB homomorphism abstractions to what is called &structural patterns&. The basic idea is in abstracting the problem in hand into provably tractable fragments of optimal planning, alleviating by that the constraint of PDBs to use projections of only low dimensionality. We introduce a general framework for additive structural patterns based on decomposing the... [Show full abstract]ArticleSeptember 2007 · We present a new algorithm for probabilistic planning with no observability.
Our algorithm, called Probabilistic-FF, extends the heuristic forward-search
machinery of Conformant-FF to problems with probabilistic uncertainty about
both the initial state and action effects. Specifically, Probabilistic-FF
combines Conformant-FFs techniques with a powerful machinery for weighted model
counting in... [Show full abstract]Last Updated: 01 Aug 18& 数据库培训、SQL培训、oracle培训
数据库培训、SQL培训、oracle培训
优化MySQL的3个小秘诀如果你不改变MySQL的缺省配置，你的服务器的性能就像题图的坏在一档的法拉利一样“虎落平阳被犬欺”。1、使用InnoDB存储引擎如果你.....(3图)上海&&
第一部分SQLServer基础知识数据库对象概述（数据库对象，事务日志，最基本的数据库对象：表，模式，文件组，关系图，视图，存储过程，用户定义函数，用户和角色，.....(3图)上海&&￥1280
Oracle数据库管理市场前景：其一：微软网络工程师的就业薪资起点高，拥有一定工作经验的网络工程师的月薪一般在，高级网络工程师年薪二十万不是梦.....(3图)上海&&
琪艺教育北京&&分类广告南京宏文教育培训中心江苏&&分类广告
MYSQL数据库管理授课内容：1.介绍MySQL体系结构，安装MySQL，升级到MySQL5.62.执行MySQL启动和关闭操作，在运行时配置MySQL服务器选.....(3图)上海&&
MYSQL数据库管理市场前景：MySQL（发音为my?ess?cue?el，不是my?sequel）是一种开放源代码的关系型数据库管理系统（RDBMS），MyS.....(2图)上海&&
1、MSSQL数据库MS指的是微软Microsoft&#44SQL是结构化查询语言.结合起来就是说:MSSQL是指微软的SQLServer数据库服务器，.....无锡&&
随着信息管理内容的不断扩展，出现了丰富多样的数据模型（层次模型，网状模型，关系模型，面向对象模型，半结构化模型等），新技术也层出不穷（数据流，Web数据管理，数.....无锡&&
数据库从业者的职场现状数据库作为整个系统的一部分，它的表现直接受服务器、操作系统、存储、网络、应用程序中SQL语句质量、数据库设计质量以及其它诸多因素的影响，这.....无锡&&
数据库的基本结构分三个层次，反映了观察数据库的三种不同角度。以内模式为框架所组成的数据库叫做物理数据库；以概念模式为框架所组成的数据叫概念数据库；以外模式为框架.....无锡&&
数据库的基本结构分三个层次，反映了观察数据库的三种不同角度。以内模式为框架所组成的数据库叫做物理数据库;以概念模式为框架所组成的数据叫概念数据库;以外模式为框架.....无锡&&
您有微信或QQ吗？我给你发送一份详细的这方面资料，你先具体了解一下！咨询联系东方博宜龚老师SQL是什么SQL指结构化查询语言；SQL使我们有能力访问数据库；SQ.....无锡&&
数据库引擎MySQL常用的存储引擎MyISAM和InnoDB&#44MyISAM不支持事物，表级锁，适合读多写少的场景。InnoDB支持事物，行级锁。由.....无锡&&
（1）采用数据模型表示复杂的数据结构。数据模型不仅描述数据本身的特征，还要描述数据之间的联系，这种联系通过所有存取路径。通过所有存储路径表示自然的数据联系是数据.....无锡&&
数据库是一个单位或是一个应用领域的通用数据处理系统，它存储的是属于企业和事业部门、团体和个人的有关数据的集合。数据库中的数据是从全局观点出发建立的，按一定的数据.....无锡&&
目前有许多数据库产品，如Oracle、Sybase、Informix、MicrosoftSQLServer、MicrosoftAccess、VisualFoxP.....无锡&&
⑴实现数据共享数据共享包含所有用户可同时存取数据库中的数据，也包括用户可以用各种方式通过接口使用数据库，并提供数据共享。⑵减少数据的冗余度同文件系统相比，由于数.....无锡&&
1.数据一致性和可维护性，以确保数据的安全性和可靠性主要包括：①安全性控制：以防止数据丢失、错误更新和越权使用；②完整性控制：保证数据的正确性、有效性和相容性；.....无锡&&
为什么软件测试工程师还需要学习数据库以及开发方面的知识？测试工程师的目的是找出软件的不足，并告诉开发工程师，出现问题的环境，操作步骤和输入输出数据；优秀的测试工.....无锡&&
欢迎致电咨询达内大数据课程，免费试听推荐就业第一点、达内的大数据培训机构体系有：1大数据培训课：JAVAEE深度开发达内Java大数据课程不仅要让学生掌握如何使.....合肥&&
课程大纲：一、学习环境Software:Vmwareworkstation12:Oracleversion:11.2.0.4Os:redhat7.0Memory.....南京&&
薪高，气才傲人生不跑龙套。0基础也能成JA???VA大牛上元IT让你从0到100，成就你的JAVA之路一、就业前景：全球有25亿Java器件运行着Java，45.....苏州&&
Oracle数据库：Oracle数据库安装配置；数据库及表的管理维护；PL/SQL运行配置、常用命令和高级编程；Oracle在J2EE项目开发中的应用示例等；了.....无锡&&
高薪的背后是人才的紧缺，有机构对一线城市2018年国内科技领域热门职位薪酬范围及跳槽涨幅进行了预测：大数据方向由于人才稀缺度较高，相同工作年限的情况下，大数据工.....无锡&&
数据库(Database)是按照数据结构来组织、存储和管理数据的仓库，它产生于距今六十多年前，随着信息技术和市场的发展，特别是二十世纪九十年代以后，数据管理不再.....无锡&&
数据库开发:SQLSERVER数据库设计与开发SQLSERVER数据库安装、配置DML数据管理语句详解;数据库分组查询多表连接查询子查询等高级搜索;T-SQL程.....无锡&&
日，老男孩教育骑士计划正式推出，仅在深圳校区发布，致力于为各互联网名企专向定制人才，只讲干货、不玩虚的，大量企业真实项目实战，十万行代码毕业标准.....昌平&&
首个程序//文件名HelloWorld.java//声明一个类publicclassHelloWorld{//声明一个方法publicstaticvoidmai.....苏州&&
1、数据库概述：介绍常见数据库的分类、数据库之间的异同性！2、使用SQLServer和Oracle创建和管理“停车场”数据库3、sql语言基础：查询语句、dml.....无锡&&
无锡：报名地址：无锡市兴源北路401号北创园一期5楼无锡东方博宜教育专职电脑培训十余年，软件开发（C语言，JAVA，PHP，.NET)，室内设计，平面设计，机械.....无锡&&
无锡：报名地址：无锡市兴源北路401号北创园一期5楼无锡东方博宜教育专职电脑培训十余年，软件开发（C语言，JAVA，PHP，.NET)，室内设计，平面设计，机械.....无锡&&
无锡东方博宜教育专职电脑培训十余年，软件开发（C语言，JAVA，PHP，.NET)，室内设计，平面设计，机械CAD，网络营销，淘宝，网络工程师，CAD&.....无锡&&
大数据加快渗透实体，错过它你将错过一个时代！北大青鸟大数据（bigdata）指无法在一定时间范围内用常规软件工具进行捕捉、管理和处理的数据集.....普陀&&
南京北大青鸟中博云计算大数据课程培训简介课工场大数据课程主要是培养目前在云计算领域非常紧缺的大数据技术方向的人才，即夯实了学员的基本功底，又结合公司真实的项目案.....南京&&
大数据人才缺口达150万全球顶尖管理咨询公司麦肯锡(McKinsey)出具的一份详细分析报告显示，预计到2018年，大数据或者数据工作者的岗位需求将激增，其中大.....南京&&
余姚暑期数据库培训去哪里上元数据库培训班就业前景：全球有25亿Java器件运行着Java，450多万Java开发者活跃在地球的每个角落数，以千万计的Web用户每.....宁波&&
在这个互联网经济飞速发展的时代，IT行业凸显出明显的价值。当下云计算得到飞快发展，被誉为具有千亿市场规模，近年来的人才需求也是居高不下，高薪聘请精通此项技能的企.....上海&&
暑期优惠大酬宾，想学办公自动化的同志们机会来啦。趁着暑期活动学费半价还不快来学习，不在让电脑成为你的烦恼！哈尔滨博艺电脑职业技能培训学校是集基础、短期培训、设计.....哈尔滨&&
光环大数据高薪就业培训班，让你120天月薪轻松过万！准备好了吗？《光环大数据可视化分析就业班》课程介绍：本课程主要包含12大阶段，分别是WEB前端实战开发、数据.....北京&&￥23800
友情链接：
微信登录求艺网(扫一扫)
手机QQ/浏览器（扫一扫）
免费发布培训课程
页面执行时间：148.438毫秒您所在位置： &
&nbsp&&nbsp&nbsp&&nbsp
《MySQL存储过程编程》.pdf 144页
本文档一共被下载：
次 ,您可全文免费在线阅读后下载本文档。
下载提示
1.本站不保证该用户上传的文档完整性，不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值，立即自动返金币，充值渠道很便利
你可能关注的文档：
··········
··········
MySQL 存储过程编程
MySQL 存储过程编程
原著：Steven Feuerstein, Guy Harrison
译者：drekey (at) gmail dot com
出版：O'Reilly
出版日期：2006 年五月
ISBN-10: 0-596-10089-2
ISBN-13: 978-0-59-
页数： 636 页
MySQL5.0 中存储过程的实现作为早已非常著名mysql 数据库的一部分，在使得mysql 成为广泛的企业级应用的领头
羊的过程中有着里程碑的意义。如果你打算严肃的来面对建立基于web
的数据库应用程序的将来，你必须快速的掌
握怎样用存储过程进行工作（并且用正确的方法建立他们），这本书的目的就是打算成为一本存储过程编程的圣经，
作为一种资源，来共同面对这一MySQL 程序员所无法逃避的现状。
在 MySQL 突如其来降生的靠十年中，它已然是现今具有统治地位的开源数据库，无论是性能和表现都能和那些诸
如Oracle 和SQL Server 这样的商用RDBMS （关系型数据库）相竞争。并且MySQL 能够和Linux 和php 结合在一起，
成为数百万应用程序的心脏，
现在，MySQL5.0 结合了对于存储过程，函数和触发器的支持，提供了作为真正企业级应用的编程能力。
MySQL 新的过程语言有着直白化的语法，我们可以用它很容易的写出简单的程序，但是要写出安全，容易维护，高
效并且容易调试的程序却并非易事。作为一个新生事务，还很少有人能在MySQL 领域拥有对存储过程实质性的编
程经验，但是Guy Harrison
和Steven Feuerstein 正是这极少数的一员，他们在这一专业领域拥有靠十年的经验
在 MySQL 存储过程编程这本书中，作者们很好的利用了自身积累的难得的经验，他们将充满代码的示例和各种语
言级的基础知识融入进应用程序的构建所需要的各种协调和实践中，使之成为一本高可阅读性的MySQL 开发一站
式指南，这本书由以下四个方面组成：
MySQL 存储过程编程基础 --
指南，基本语句，存储过程中的SQL 和错误处理
? 创建MySQL 存储过程程序 --
事务处理，内建函数，存储过程函数和触发器
? 在应用程序中使用MySQL 存储过程程序 --
在 PHP，Java ，Perl，Python
和 .NET(C# 和 VB.NET) 中使用存储过
? 优化 MySQL 存储过程程序 --
安全性，基本和高级SQL 调试，优化存储过程代码，并且进行最有效的编程实践
这本书的主题网站拥有数千行的代码，方便你随时运行
Guy Harrison 是Quest 软件公司数据库解决方案的总构架师，并且有大量关于MySQL 的主题演说和文章，Steven
Feuerstein 是Oracle PL/SQL 编程（Oracle PL/SQL Programming ）一书的作者，在Oracle 存储过程编程工作超过十年，
他们俩都在数据库开发领域拥有十年以上的经验，并且出版了大量的书籍
MySQL 存储过程编程
MySQL 存储过程编程所受到的赞誉
“我不太相信以这个话题为中心的书会写的不觉得干瘪，但Guy 和Steven 在这方面显示出的深度和提供给读者的
资料，让我相信这是一本非常棒的书”
--Brian Aker，MySQL AB 总构架师
“很高兴和Guy 及其他O'Relly
的编辑在一起做了许多有关这本书的技术文章。作者在这个方面拥有非常扎实的功
底。我发觉这本书有很多带有代码的示例，很容易读懂，MySQL 的用户将发觉这本书是一个极好的学习资源。”
--Arjen Lentz ，MySQL AB 社区版经理
“基于MySQL 在现金企业级应用中的快速增长，开发者和数据库管理员都热切的期盼能够在创建高性能存储过程
和其他MySQL 特性代码方面得到专家级的知道，我相信没有人能找到比Guy Harrison 和Steven Feuerstein 写出的顶
级的MySQL 代码更有指导意义的书”
--Robin Schumacher，MySQL AB 项目经理
“这是第一本全神贯注与MySQL 存储过程的书，
正在加载中，请稍后...1.4K44 条评论分享收藏感谢收起赞同 29136 条评论分享收藏感谢收起MySQL :: A Quick Guide to Using the MySQL APT Repository