Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.

Gerd G. Hillebrand Paris C. Kanellakis

Published in: PODS (1994)

Keyphrases

fixed order
database query languages
lambda calculus
expressive power
database systems
complex objects
relational algebra
type checking
query language
relational model
prefix tree
setup cost
data model
relational databases
data types
database management systems
relational calculus
database