Keyphrases
- integrity constraints
- deductive databases
- active databases
- fixpoint
- integrity checking
- functional dependencies
- database schema
- database integrity
- inclusion dependencies
- query answering
- constraint checking
- conjunctive queries
- xml documents
- database transactions
- schema integration
- logic programs
- nonmonotonic reasoning
- data complexity
- logical rules
- federated databases
- multi dimensional