External Integrity Checking with Invariants.

Hiromasa Shimada Tatsuo Nakajima

Published in: RTCSA (2) (2011)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
constraint logic programming
conjunctive queries
artificial intelligence
query answering
database systems
cost function
general purpose
query evaluation