A Difference in Expressive Power Between Flowcharts and Recursion Schemes.

Nancy A. Lynch Edward K. Blum

Published in: Math. Syst. Theory (1979)

Keyphrases

expressive power
transitive closure
first order logic
query language
data complexity
computational properties
relational algebra
relational calculus
deductive databases
recursive queries
constraint query languages
relational data
complex objects
datalog programs
pattern queries
closure properties