Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference

Summary: ML-like polymorphic language with extended type inference enables cross-record field access for generic relational programming. Objects as reference types with identity views support static typing for OO databases, enabling sets, joins, and projections. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2428
Venue: SIGMOD
Year: 1989
Pagerank: 9.0322199e-05
Overall Rank: 2,323 | 83.86%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 15 of 15 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,833	The Expressiveness of a Family of Finite Set Languages	1991	PODS	0.00010365844
3,744	A Data Transformation System for Biological Data Sources	1995	VLDB	6.7938433e-05
4,308	Towards a Unified Visual Database Access	1993	SIGMOD	6.2824978e-05
5,980	A Query Language for NC	1994	PODS	5.241279e-05
6,312	Type Inference for Datalog and its Application to Query Optimisation	2008	PODS	5.1109656e-05
7,244	Positive Higher-Order Queries	2010	PODS	4.7856771e-05
8,324	New Data Models and Languages - the Challenge	1992	PODS	4.5392079e-05
8,881	Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization	1993	SIGMOD	4.4252575e-05
9,669	Type inference in the polymorphic relational algebra	1999	PODS	4.3033855e-05
10,921	TypeQL: A Type-Theoretic & Polymorphic Query Language	2024	PODS	4.1905499e-05
12,837	Tutorial: Languages for Collection Types	1994	PODS	4.1905499e-05
12,841	A Polymorphic Calculus for Views and Object Sharing	1994	PODS	4.1905499e-05
12,856	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1905499e-05
12,882	Viewers: A Data-World Analogue of Procedure Calls	1993	VLDB	4.1905499e-05
12,887	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1905499e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
86	Making Smalltalk a Database System	1984	SIGMOD	0.0005348843
163	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.0003980026
187	Object and File Management in the EXODUS Extensible Database System	1986	VLDB	0.00035990623
722	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00017505795

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,958	An Object Data Model with Roles	1993	VLDB	6.5858445e-05
6,548	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0123519e-05
2,775	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	8.139455e-05
10,921	TypeQL: A Type-Theoretic & Polymorphic Query Language	2024	PODS	4.1905499e-05
7,773	Formal Semantics and Analysis of Object Queries	2003	SIGMOD	4.6506061e-05
12,868	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.1905499e-05
4,595	A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language	1991	VLDB	6.0544518e-05
9,669	Type inference in the polymorphic relational algebra	1999	PODS	4.3033855e-05
6,667	Typed Query Languages for Databases Containing Queries	1998	PODS	4.9651817e-05
12,841	A Polymorphic Calculus for Views and Object Sharing	1994	PODS	4.1905499e-05