Foundations of Simplified Integrity Checking Reviewed.

Matilde Celma Laura Mota-Herranz

Published in: DEXA (1992)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
constraint logic programming
artificial intelligence
semantic query optimization
database
high level
np hard
modal logic