Database Query Languages Embedded in the Typed Lambda Calculus

Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson

Published in: LICS (1993)

Keyphrases

lambda calculus
database query languages
query language
database systems
relational algebra
expressive power
complex objects
type checking
relational model
programming language
relational calculus
data model
database design
conceptual model
normal form
predicate calculus
aggregate functions
artificial intelligence