Typed functional query languages with equational specifications.

Ken Q. Pu Alberto O. Mendelzon

Published in: CIKM (2005)

Keyphrases

query language
data model
expressive power
higher order
theorem proving
relational algebra
query evaluation
conjunctive queries
equational theories
database
fixed order
recursive queries
formal specification
object oriented
neural network
xml data
programming language
specification language
data sets