Extending the TIGER query language with universal quantification.

Torsten Marek Joakim Lundborg Martin Volk

Published in: KONVENS (2008)

Keyphrases

query language
relational calculus
universal quantification
relational algebra
data model
expressive power
query evaluation
object oriented
complex objects
database
databases
high availability
conjunctive queries
relational database systems
transitive closure
propositional logic
quantified boolean formulae