The Expressive Power of Bijections over Weakly Arithmetized Structures.

Étienne Ailloud Arnaud Durand

Published in: Theory Comput. Syst. (2006)

Keyphrases

expressive power
first order logic
transitive closure
computational properties
data complexity
query language
relational algebra
recursive queries
relational calculus
artificial intelligence