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,244 | Positive Higher-Order Queries | 2010 | PODS | 4.7856771e-05 |
| 12,789 | On Genericity and Parametricity | 1996 | PODS | 4.1905499e-05 |
| 12,837 | Tutorial: Languages for Collection Types | 1994 | PODS | 4.1905499e-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,781 | Normal Forms and Conservative Properties for Query Languages over Collection Types | 1993 | PODS | 0.00010557953 |
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,278 | A Query Language for List-Based Complex Objects | 1994 | PODS | 6.285241e-05 |
| 4,378 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2329359e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 12,887 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB | 4.1905499e-05 |
| 3,043 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.6632326e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 12,856 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1905499e-05 |
| 12,691 | Fixed-Point Query Languages for Linear Constraint Databases | 2000 | PODS | 4.1905499e-05 |
| 7,244 | Positive Higher-Order Queries | 2010 | PODS | 4.7856771e-05 |
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |