Logic for Improving Integrity Checking in Relational Data Bases.
Jean-Marie NicolasPublished in: Acta Informatica (1982)
Keyphrases
- integrity checking
- integrity constraints
- deductive databases
- databases
- constraint logic programming
- logic programming
- hard and soft constraints
- relational data
- data model
- semantic query optimization
- relational databases
- relational model
- data management
- automated reasoning
- linear programming
- programming language
- optimal solution