Login / Signup
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs.
Petros Potikas
Panos Rondogiannis
Manolis Gergatsoulis
Published in:
Fundam. Informaticae (2006)
Keyphrases
</>
datalog programs
fixpoint semantics
query answering
deductive databases
recursive queries
conjunctive queries
fixpoint
inconsistent databases
magic sets
logic programs
np complete
data sets
data complexity
integrity constraints
data management
stable models
metadata
artificial intelligence
machine learning