Approximating the Expressive Power of Logics in Finite Models.

Argimiro Arratia Carlos E. Ortiz

Published in: LATIN (2004)

Keyphrases

expressive power
first order logic
computational properties
query language
data complexity
relational algebra
transitive closure
propositional logic
relational calculus
database query languages
artificial intelligence