Grounded Fixpoints and Active Integrity Constraints.
Luís Cruz-FilipePublished in: ICLP (Technical Communications) (2016)
Keyphrases
- integrity constraints
- deductive databases
- active databases
- integrity checking
- fixpoint
- functional dependencies
- database schema
- query answering
- conjunctive queries
- inclusion dependencies
- xml documents
- active rules
- logic programs
- xml schema
- database transactions
- constraint checking
- database integrity
- null values
- schema integration
- consistent query answering
- nonmonotonic reasoning
- datalog programs
- federated databases
- normal form
- databases