...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Active integrity constraints and revision programming
【24h】

Active integrity constraints and revision programming

机译：主动完整性约束和修订编程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish a comprehensive framework of semantics for active integrity constraints, to find a parallel framework for revision programs, and to relate the two. By doing so, we demonstrate that the two formalisms proposed independently of each other and based on different intuitions when viewed within a broader semantic framework turn out to be notational variants of each other. That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. In the paper, we also study computational properties of the semantics we consider and establish results concerned with the concept of the minimality of change and the invariance under the shifting transformation.
机译：我们研究活动的完整性约束和修订程序设计，这两种形式主义旨在描述数据库上的完整性约束并在执行这些约束的首选方法上指定策略。与其他更普遍接受的方法不同，这两种形式主义试图为该问题提供一个声明式解决方案。但是，针对主动完整性约束进行的既定修复的原始语义与针对修订程序的合理修订的原始语义有所不同。我们的主要目标是为主动完整性约束建立一个全面的语义框架，为修订程序找到一个并行框架，并将两者联系起来。通过这样做，我们证明了当在更广泛的语义框架中查看时，彼此独立且基于不同直觉而提出的两种形式主义实际上是彼此的符号变体。这为我们为每种形式主义开发的语义的充分性提供了支持，这些语义作为声明性方法解决数据库更新和修复问题的基础。在本文中，我们还研究了我们考虑的语义的计算属性，并建立了与变化最小和不变变换下不变性有关的结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号