Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.

Sarah Mallet Mireille Ducassé

Published in: LOPSTR (1998)

Keyphrases

deductive databases
declarative language
databases
artificial intelligence
natural language
integrity constraints
query evaluation
fixpoint
database
first order logic
semantic query optimization
constraint checking
closed world assumption