On the Expressive Power of Polyadic Synchronisation in pi-calculus.

Marco Carbone Sergio Maffeis

Published in: EXPRESS (2002)

Keyphrases

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