On the expressive power of process interruption and compensation.

Mario Bravetti Gianluigi Zavattaro

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure
computational properties
pattern queries
machine learning
relational algebra