On the Expressive Power of Process Interruption and Compensation.

Mario Bravetti Gianluigi Zavattaro

Published in: WS-FM (2008)

Keyphrases

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