Decidable Properties of Monadic Recursive Schemas With a Depth Parameter.

Jakob Gonczarowski

Published in: Acta Informatica (1985)

Keyphrases

datalog programs
datalog queries
recursive queries
deductive databases
databases
structural properties
desirable properties
transitive closure
three dimensional
query language
data integration
first order logic
expressive power
conjunctive queries
parameter settings