Integrity Constraints in the Multi-Paradigm Language PROGRESS.
Manfred MünchAndy SchürrAndreas J. WinterPublished in: VL (1998)
Keyphrases
- integrity constraints
- deductive databases
- constraint language
- integrity checking
- functional dependencies
- inclusion dependencies
- query answering
- database schema
- database integrity
- conjunctive queries
- xml documents
- programming language
- active rules
- database transactions
- schema integration
- federated databases
- constraint checking
- constraint logic programming
- consistent query answering
- database systems