Keyphrases
- integrity constraints
- knowledge base
- integrity checking
- functional dependencies
- description logics
- deductive databases
- dl lite
- query answering
- database schema
- conjunctive queries
- database integrity
- constraint checking
- active databases
- inclusion dependencies
- database transactions
- active rules
- xml documents
- schema integration
- federated databases
- knowledge representation
- normal form
- first order logic
- logic programming
- consistent query answering