Type inference in the polymorphic relational algebra
Summary: Polymorphic typing for relational algebra via bespoke "type formulas" and an algorithm that computes an expression's principal type. The principal type concisely characterizes all attribute-set assignments making the expression well-typed and its output schema; includes complexity and monadic-logic/polymorphism analysis. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,010 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.5351699e-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 |
|---|---|---|---|---|
| 114 | A Query Language and Optimization Techniques for Unstructured Data | 1996 | SIGMOD | 0.00046339735 |
| 2,317 | Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference | 1989 | SIGMOD | 9.0409573e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1158809e-05 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |
| 915 | The Complexity of Evaluating Relational Queries | 1983 | PODS | 0.0001538509 |
| 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.1473167e-05 |
| 12,382 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1945683e-05 |
| 12,832 | A Polymorphic Calculus for Views and Object Sharing | 1994 | PODS | 4.1945683e-05 |
| 10,917 | TypeQL: A Type-Theoretic & Polymorphic Query Language | 2024 | PODS | 4.1945683e-05 |
| 2,800 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.1019352e-05 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 6,664 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9699875e-05 |