The Expressive Power of Memory Logics.

Carlos Areces Diego Figueira Santiago Figueira Sergio Mera

Published in: Rev. Symb. Log. (2011)

Keyphrases

expressive power
query language
first order logic
data complexity
computational properties
transitive closure
relational algebra
relational calculus
databases
expert systems
data exchange