Checking Consistency of Database Constraints: a Logical Basis.
François BryRainer MantheyPublished in: VLDB (1986)
Keyphrases
- database
- consistency checking
- databases
- global constraints
- database management systems
- update operations
- database systems
- relational databases
- constraint satisfaction
- data management
- global consistency
- constraint checking
- database applications
- data model
- constraint programming
- knowledge base
- constraint networks
- linear constraints
- path consistency
- genetic algorithm
- data mining
- universal relation
- binary constraints