On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures.

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

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

Keyphrases

expressive power
recursive queries
first order logic
transitive closure
query language
data complexity
computational properties
machine learning
relational algebra
databases
data mining
inductive inference
datalog programs