Database Query Languages Embedded in the Typed Lambda Calculus.

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

Published in: Inf. Comput. (1996)

Keyphrases

lambda calculus
database query languages
expressive power
database systems
relational algebra
complex objects
query language
type checking
relational model
programming language
data model
aggregate functions
predicate calculus
data structure
database
query processor
knowledge base