A Language for Specifying Static and Dynamic Integrity Constraints.
Uwe HohensteinKlaus HülsmannPublished in: ER (1991)
Keyphrases
- integrity constraints
- deductive databases
- constraint language
- functional dependencies
- integrity checking
- database schema
- database integrity
- query answering
- conjunctive queries
- constraint checking
- inclusion dependencies
- programming language
- database transactions
- null values
- xml schema
- active rules
- federated databases
- xml documents
- schema integration
- consistent query answering
- active databases
- np complete