Database Query Languages Embedded in the Typed Lambda Calculus

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

    Cited by: 44|Bibtex|Views8|Links
    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:

    Your rating :
    0

     

    Tags
    Comments