# Database Query Languages Embedded in the Typed Lambda Calculus

Information and Computation/information and Control, Volume 127, Issue 2, 1996, Pages 332-343.

EI WOS

Keywords:

typed lambda calculusrelational calculusinflationary datalogdatabase query languagereduction steps polynomialMore(22+)

Abstract:

We show how to "naturally embed" in the typed lambda-calculus with equality many database query languages, including the relational calculus/algebra, inflationary Datalog with negation, and the complex object calculus/algebra. We consider embeddings such that a database is a lambda-term coding a list of tuples and a query is a lambda-term...More

Code:

Data:

Tags

Comments