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,014 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.5300582e-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 |
|---|---|---|---|---|
| 115 | A Query Language and Optimization Techniques for Unstructured Data | 1996 | SIGMOD | 0.00046301137 |
| 2,323 | Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference | 1989 | SIGMOD | 9.0322199e-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.1109656e-05 |
| 912 | The Complexity of Evaluating Relational Queries | 1983 | PODS | 0.00015374685 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 2,775 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.139455e-05 |
| 12,390 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1905499e-05 |
| 12,841 | A Polymorphic Calculus for Views and Object Sharing | 1994 | PODS | 4.1905499e-05 |
| 10,921 | TypeQL: A Type-Theoretic & Polymorphic Query Language | 2024 | PODS | 4.1905499e-05 |
| 2,808 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.0939851e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 6,667 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9651817e-05 |