Integrity Checking in Deductive Databases - the Ultimate Method?

Matilde Celma Hendrik Decker

Published in: Australasian Database Conference (1994)

Keyphrases

deductive databases
integrity checking
integrity constraints
computational complexity
semantic query optimization
databases
artificial intelligence
database systems
np complete
incomplete information