Using integrity constraints to control hypotheses formation.
Jean-Marc PuginPublished in: SPLT (1987)
Keyphrases
- integrity constraints
- database integrity
- deductive databases
- functional dependencies
- query answering
- integrity checking
- database transactions
- xml documents
- schema integration
- database schema
- conjunctive queries
- inclusion dependencies
- active rules
- null values
- normal form
- xml schema
- federated databases
- consistent query answering
- database systems