Integrity Constraints in the Multi-paradigm Language PROGRES.
Manfred MünchAndy SchürrAndreas J. WinterPublished in: TAGT (1998)
Keyphrases
- integrity constraints
- integrity checking
- deductive databases
- constraint language
- query answering
- database integrity
- functional dependencies
- programming language
- conjunctive queries
- database schema
- constraint checking
- inclusion dependencies
- active rules
- consistent query answering
- xml documents
- database transactions
- active databases
- relational databases
- xml schema
- image coding algorithm
- data model