A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.

Petros Potikas Panos Rondogiannis Manolis Gergatsoulis

Published in: LOPSTR (2001)

Keyphrases

datalog programs
fixpoint semantics
query answering
magic sets
conjunctive queries
recursive queries
inconsistent databases
data complexity
fixpoint
deductive databases
data sets
logic programs
query evaluation