The Use of Integrity Constraints in Software Engineering.
Ann Q. GatesDaniel E. CookePublished in: SEKE (1995)
Keyphrases
- integrity constraints
- software engineering
- deductive databases
- software development
- integrity checking
- functional dependencies
- software systems
- constraint checking
- query answering
- database integrity
- conjunctive queries
- artificial intelligence
- database schema
- reverse engineering
- xml documents
- inclusion dependencies
- active rules
- database transactions
- xml schema
- object oriented
- federated databases
- programming language
- null values
- constraint language
- logical rules
- databases