Login / Signup

On the expressive power of recursion, replication and iteration in process calculi.

Nadia BusiMaurizio GabbrielliGianluigi Zavattaro
Published in: Math. Struct. Comput. Sci. (2009)
Keyphrases
  • expressive power
  • transitive closure
  • query language
  • first order logic
  • data complexity
  • computational properties
  • databases
  • complex objects
  • deductive databases
  • relational calculus