Improving Integrity Checking for Exists-Constraints.
Tok Wang LingSin Yeung LeePublished in: DASFAA (1993)
Keyphrases
- integrity checking
- hard and soft constraints
- integrity constraints
- constraint logic programming
- deductive databases
- constraint programming
- constrained optimization
- semantic query optimization
- constraint solving
- artificial intelligence
- expert systems
- relational databases
- special case
- data integration
- constraint satisfaction
- soft constraints