Satisfiability of Integrity Constraints: Reflections on a Neglected Problem.
Rainer MantheyPublished in: FMLDO (1990)
Keyphrases
- integrity constraints
- satisfiability problem
- deductive databases
- integrity checking
- query answering
- database integrity
- database schema
- conjunctive queries
- constraint checking
- functional dependencies
- np complete
- computational complexity
- xml documents
- decision procedures
- schema integration
- inclusion dependencies
- database transactions
- knowledge representation
- xml schema
- active rules
- null values
- databases
- federated databases
- consistent query answering