On the Expressive Power of Live Sequence Charts.

Werner Damm Tobe Toben Bernd Westphal

Published in: Program Analysis and Compilation (2006)

Keyphrases

expressive power
first order logic
data complexity
query language
relational algebra
computational properties
transitive closure
relational calculus
pattern queries
database
artificial intelligence
data model
aggregate functions