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: 2427
Venue: SIGMOD
Year: 1989
Pagerank: 9.0409573e-05
Overall Rank: 2,317 | 83.89%
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,835	The Expressiveness of a Family of Finite Set Languages	1991	PODS	0.00010375854
3,769	A Data Transformation System for Biological Data Sources	1995	VLDB	6.7782158e-05
4,315	Towards a Unified Visual Database Access	1993	SIGMOD	6.2885419e-05
5,974	A Query Language for NC	1994	PODS	5.246329e-05
6,312	Type Inference for Datalog and its Application to Query Optimisation	2008	PODS	5.1158809e-05
7,248	Positive Higher-Order Queries	2010	PODS	4.7902631e-05
8,331	New Data Models and Languages - the Challenge	1992	PODS	4.5435639e-05
8,881	Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization	1993	SIGMOD	4.4294996e-05
9,669	Type inference in the polymorphic relational algebra	1999	PODS	4.3074872e-05
10,917	TypeQL: A Type-Theoretic & Polymorphic Query Language	2024	PODS	4.1945683e-05
12,828	Tutorial: Languages for Collection Types	1994	PODS	4.1945683e-05
12,832	A Polymorphic Calculus for Views and Object Sharing	1994	PODS	4.1945683e-05
12,847	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1945683e-05
12,872	Viewers: A Data-World Analogue of Procedure Calls	1993	VLDB	4.1945683e-05
12,877	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1945683e-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
85	Making Smalltalk a Database System	1984	SIGMOD	0.00053428612
162	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00039758372
187	Object and File Management in the EXODUS Extensible Database System	1986	VLDB	0.00036020812
724	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00017536758

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,551	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0171671e-05
3,956	An Object Data Model with Roles	1993	VLDB	6.5908944e-05
2,768	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	8.1473167e-05
10,917	TypeQL: A Type-Theoretic & Polymorphic Query Language	2024	PODS	4.1945683e-05
7,773	Formal Semantics and Analysis of Object Queries	2003	SIGMOD	4.655071e-05
12,858	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.1945683e-05
4,594	A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language	1991	VLDB	6.0602776e-05
9,669	Type inference in the polymorphic relational algebra	1999	PODS	4.3074872e-05
6,664	Typed Query Languages for Databases Containing Queries	1998	PODS	4.9699875e-05
12,832	A Polymorphic Calculus for Views and Object Sharing	1994	PODS	4.1945683e-05