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

Marco Carbone Sergio Maffeis

Published in: Nord. J. Comput. (2003)

Keyphrases

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