• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Axiomatization, Declarative Semantics and Operational Semantics of Passive andActive Updates in Logic Databases
【24h】

Axiomatization, Declarative Semantics and Operational Semantics of Passive andActive Updates in Logic Databases

机译：逻辑数据库中被动和主动更新的公理化，声明语义和操作语义

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The use of logic in database theory is commonly restricted to the specificationof a database state. Reasoning about state changes (the database updates) must then be done outside the logic. The report considers a logic that also takes the updates into account. Taking propositional dynamic logic as a starting point, it defines PDDL: propositional dynamic database logic. The main features of PDDL are: There are two kinds of atomic updates in PDDL, passive and active updates. Passive updates just change the truth value of an atom to true/false and active updates set one atom to true/false and then compute derived updates using a Horn clause program; The declarative semantics for formulas and updates is based on Kripke structures; There is a proof system for PDDL, which is sound and complete for the class of 'full' structures. For non-full structures, the main problem is the axiomatization of successor worlds; There is a Plotkin-style operational semantics for update programs. The operational semantics allows one to compute the result of executing an update in some database state.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号