Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding.
Jan ChomickiPublished in: ACM Trans. Database Syst. (1995)
Keyphrases
- integrity constraints
- constraint checking
- integrity checking
- deductive databases
- query answering
- database integrity
- conjunctive queries
- database schema
- database transactions
- functional dependencies
- consistent query answering
- active rules
- xml documents
- inclusion dependencies
- temporal information
- schema integration
- databases
- null values
- inference rules