Login / Signup
Improving Integrity Checking by Compiling Derivation Paths.
Matilde Celma
Juan Carlos Casamayor
Hendrik Decker
Published in:
Australian Database Conference (1993)
Keyphrases
</>
integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
constraint logic programming
path finding
general purpose