Fixpoint semantics for active integrity constraints.
Bart BogaertsLuís Cruz-FilipePublished in: Artif. Intell. (2018)
Keyphrases
- integrity constraints
- deductive databases
- fixpoint semantics
- model theoretic
- active databases
- fixpoint
- declarative semantics
- integrity checking
- query answering
- database schema
- functional dependencies
- datalog programs
- database integrity
- inclusion dependencies
- logic programs
- xml documents
- xml schema
- conjunctive queries
- databases