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

@inproceedings{Ohori1989DatabasePI,
  title={Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference},
  author={Atsushi Ohori and Peter Buneman and Val Tannen},
  booktitle={SIGMOD Conference},
  year={1989}
}
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and appropriate for database applications. In particular, a function that selects a field ƒ of a records is polymorphic in the sense that it can be applied to any record which contains a field ƒ with the appropriate type. When combined with a set data type and database operations including join and projection, this provides… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 95 CITATIONS

Querying Nested Collections

VIEW 50 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Froglingo , A Convergence of DBMS and Programming Language

  • 2007
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Normal Forms and Conservative Extension Properties for Query Languages over Collection Types

  • J. Comput. Syst. Sci.
  • 1996
VIEW 10 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

THE COLLECTION PROGRAMMING LANGUAGE - Reference Manual

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Semantics of Object-Oriented Sets

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Positive higher-order queries

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On type systems for object-oriented database programming languages

VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Kleisli, a functional query system

  • J. Funct. Program.
  • 2000
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

The functional guts of the Kleisli query system

  • ICFP
  • 2000
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1988
2019

CITATION STATISTICS

  • 13 Highly Influenced Citations