Generalization of ZYT-linearizability for bilinear datalog programs.

Ji-Hoon Kang Ki-Hyung Hong Kyu-Young Whang Jung Wan Cho

Published in: Inf. Comput. (2004)

Keyphrases

datalog programs
query answering
magic sets
inconsistent databases
data complexity
deductive databases
conjunctive queries
recursive queries
multi agent
fixpoint
fixpoint semantics
expressive power
database management systems
np complete
description logics
special case
metadata
data mining
database