On the expressive power of movement and restriction in pure mobile ambients.

Nadia Busi Gianluigi Zavattaro

Published in: Theor. Comput. Sci. (2004)

Keyphrases

expressive power
first order logic
query language
data complexity
relational algebra
computational properties
relational calculus
transitive closure
databases
pattern queries
expert systems
knowledge representation
propositional logic
constraint query languages