Expressive Power and Decidability for Memory Logics.

Carlos Areces Diego Figueira Santiago Figueira Sergio Mera

Published in: WoLLIC (2008)

Keyphrases

expressive power
computational properties
first order logic
query language
transitive closure
data complexity
relational algebra
description logics
exptime complete
constraint query languages
decision procedures