Integrity Constraints : Semantics and
نویسندگان
چکیده
منابع مشابه
Declarative Semantics for Active Integrity Constraints
We study active integrity constraints, a formalism designed to describe integrity constraints on databases and to specify preferred ways to enforce them. The original semantics proposed for active integrity constraints is based on the concept of a founded repair. We point out that groundedness underlying founded repairs does not prevent cyclic justifications and so, may be inappropriate in some...
متن کاملDeclarative Semantics for Revision Programming and Connections to Active Integrity Constraints
We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the...
متن کاملA semantics for positive abductive logic programs with implicative integrity constraints
We propose a novel semantics for positive abductive logic programs with implicative integrity constraints, namely integrity constraints in the form of implications. We show that this semantics is better suited to deal with several applications of abductive logic programming. Moreover, we prove that, in the propositional case, the existing abductive proof procedure IFF is sound and “strongly” co...
متن کاملSemantics for Active Integrity Constraints Using Approximation Fixpoint Theory
Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning. In this pap...
متن کاملAn Overview on Semantical Constraints
Modeling of semantics is one of the most diicult tasks in database design. Constraints are used to express database semantics. They are used diierently in database models. They express domain restrictions, specify relationships between components and state database behavior. The utilization depends on the richness of the type system used in the model. The relational model is using a simple type...
متن کاملA semantics for positive abductive programs with implicative and denial integrity constraints
We propose a semantics for positive abductive logic programs with implicative integrity constraints, in the form of implications, as well as denial integrity constraints, in the form of negated conjunctions. We argue that this semantics is better suited to deal with several applications of abductive logic programming. We prove that, in the propositional case, the existing abductive proof proced...
متن کامل