Login / Signup

On the Expressive Power of QLTL.

Zhilin Wu
Published in: ICTAC (2007)
Keyphrases
  • expressive power
  • first order logic
  • query language
  • data complexity
  • computational properties
  • transitive closure
  • relational algebra
  • pattern queries
  • search algorithm
  • pattern matching
  • aggregate functions