Keyphrases
- deductive databases
- integrity constraints
- constraint checking
- integrity checking
- functional dependencies
- semantic query optimization
- fixpoint
- query answering
- database schema
- conjunctive queries
- xml documents
- database transactions
- model theoretic
- active rules
- database
- logic programming
- data model
- consistent query answering
- query evaluation
- stable models
- federated databases
- databases