Login / Signup
A Derivation Path Recording Method for Integrity Checking in Deductive Databases.
Matilde Celma
Juan Carlos Casamayor
Laura Mota-Herranz
María Angeles Pastor
Francisco Marqués
Published in:
DAISD (1991)
Keyphrases
</>
deductive databases
integrity checking
integrity constraints
database
query evaluation
machine learning
expert systems
logic programming
semantic query optimization