SIC: Satisfiability Checking for Integrity Constraints.
François BryNorbert EisingerHeribert SchützSunna TorgePublished in: DDLP (1998)
Keyphrases
- integrity constraints
- deductive databases
- query answering
- integrity checking
- functional dependencies
- conjunctive queries
- database integrity
- schema integration
- constraint checking
- database schema
- xml documents
- xml schema
- active rules
- database transactions
- inclusion dependencies
- consistent query answering
- active databases
- null values
- federated databases