The Branching-Time Transformation Technique for Chain Datalog Programs.

Panos Rondogiannis Manolis Gergatsoulis

Published in: J. Intell. Inf. Syst. (2001)

Keyphrases

datalog programs
magic sets
query answering
conjunctive queries
inconsistent databases
deductive databases
fixpoint
recursive queries
temporal logic
data complexity
np complete
model checking
xml data
logic programs
data sets
description logics
data mining