Games and total Datalog¬ queries.

Jörg Flum Max Kubierschky Bertram Ludäscher

Published in: Theor. Comput. Sci. (2000)

Keyphrases

datalog queries
transitive closure
cardinality constraints
recursive queries
datalog programs
conjunctive queries