Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)
Summary: Characterizes functional DB query languages as fixed-order typed lambda calculi (TLI_i/MLI_i) with list-based DBs (requiring order ≥3) where queries and databases are lambda terms evaluated by reduction. Proves expressivity/complexity correspondences FO ⊆ TLI_0 ⊆ MLI_0 ⊆ LOGSPACE ⊆ TLI_1=MLI_1=PTIME ⊆ TLI_2 and shows fixed-order ML type inference is polynomial, implying low-order ML-style programs suffice to express efficient queries. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,248 | Positive Higher-Order Queries | 2010 | PODS | 4.7902631e-05 |
| 12,780 | On Genericity and Parametricity | 1996 | PODS | 4.1945683e-05 |
| 12,828 | Tutorial: Languages for Collection Types | 1994 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,783 | Normal Forms and Conservative Properties for Query Languages over Collection Types | 1993 | PODS | 0.00010568101 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,285 | A Query Language for List-Based Complex Objects | 1994 | PODS | 6.2913523e-05 |
| 4,381 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2389434e-05 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 12,877 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB | 4.1945683e-05 |
| 3,040 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.6707607e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 12,847 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1945683e-05 |
| 12,682 | Fixed-Point Query Languages for Linear Constraint Databases | 2000 | PODS | 4.1945683e-05 |
| 7,248 | Positive Higher-Order Queries | 2010 | PODS | 4.7902631e-05 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |