...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Data & Knowledge Engineering >A general treatment of dynamic integrity constraints
【24h】

A general treatment of dynamic integrity constraints

机译：动态完整性约束的一般处理

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

摘要

This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of “real world” constraints and business rules. This topic has important practical applications in many business areas. The notions of (direct) transition, reversible and irreversible transition, transition relation, and consistency of a transition relation will be introduced. The expected link with Kripke models (for modal and temporal logics) is also made explicit. Several practical examples of dynamic integrity constraints will illustrate the applicability of the theory. Some important subclasses of dynamic integrity constraints in a database context will be identified, e.g., various forms of cumulativity (which can be regarded as “transitional” inclusion de- pendencies concerning two different “points in time”), non-decreasing values, integrity constraints on initial and final values, life cycles, changing life cycles, and transition and constant dependencies. Several formal properties of these dependencies will be derived. For instance, it turns out that functional dependencies can be considered as “degenerated” transition dependencies. Also, the distinction between primary keys and alternate keys is reexamined, from a dynamic point of view.
机译：本文介绍了一种通用的集理论模型来表示动态完整性约束，即在给定状态空间中允许的状态变化的完整性约束。在管理环境中，这种动态完整性约束可以看作是“现实世界”约束和业务规则的表示。该主题在许多业务领域中都有重要的实际应用。将介绍（直接）过渡，可逆和不可逆过渡，过渡关系以及过渡关系的一致性的概念。与Kripke模型的预期链接（用于模态和时间逻辑）也很明确。动态完整性约束的几个实际示例将说明该理论的适用性。将识别数据库上下文中动态完整性约束的一些重要子类，例如，各种形式的累积性（可以视为涉及两个不同“时间点”的“过渡”包含依赖），非递减值，完整性对初始值和最终值，生命周期，不断变化的生命周期以及过渡和常数依赖性的约束。这些依赖项的几种形式属性将被推导。例如，事实证明，功能依赖性可以被视为“退化的”过渡依赖性。同样，从动态的角度重新检查了主键和备用键之间的区别。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号