On the Expressive Power of CCS.

Ashvin Dsouza Bard Bloom

Published in: FSTTCS (1995)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure
relational algebra
computational properties
pattern queries
closure properties
constraint query languages
database
recursive queries