Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory.
Bart BogaertsLuís Cruz-FilipePublished in: IJCAI (2017)
Keyphrases
- integrity constraints
- deductive databases
- fixpoint
- model theoretic
- semantics of logic programs
- proof theoretic
- fixpoint semantics
- stable models
- active databases
- functional dependencies
- logic programming
- null values
- query answering
- database schema
- logic programs
- datalog programs
- recursive queries
- xml documents
- conjunctive queries
- decision procedures
- xml schema
- database
- query containment
- consistent query answering
- databases