The Generalized Supplementary Magic-Sets Transformation for Stratified Datalog.

Michael Meskes Jörg Noack

Published in: Inf. Process. Lett. (1993)

Keyphrases

datalog programs
magic sets
query answering
deductive databases
expressive power
magic sets transformation
fixpoint
query language
databases
logic programming
integrity constraints
recursive queries
knowledge base
data complexity