On the Expressive Power of Restriction and Priorities in CCS with Replication.

Jesús Aranda Frank D. Valencia Cristian Versari

Published in: FoSSaCS (2009)

Keyphrases

expressive power
query language
first order logic
computational properties
transitive closure
data complexity
relational algebra
pattern queries
relational calculus
constraint query languages
artificial intelligence
description logics
database query languages
closure properties