Database Query Languages Embedded in the Typed Lambda Calculus
Information and Computation/information and Control, Volume 127, Issue 2, 1996, Pages 332-343.
typed lambda calculusrelational calculusinflationary datalogdatabase query languagereduction steps polynomialMore(22+)
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
Full Text (Upload PDF)
PPT (Upload PPT)