The Expressive Power of Synchronizations.

Cosimo Laneve Antonio Vitale

Published in: LICS (2010)

Keyphrases

expressive power
first order logic
query language
data complexity
computational properties
relational algebra
transitive closure
pattern queries
relation algebra
integrity constraints