Database programming in machiavelli - A polymorphic language with static type inference

Atsushi Ohori; Peter Buneman; Val Breazu-Tannen

doi:10.1145/67544.66931

Database programming in machiavelli - A polymorphic language with static type inference

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen

Systems & Software Division

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (Scopus)

Abstract

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 f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views - sets of structures with "identity" - we can achieve a degree of static type checking for object-oriented databases.

Original language	English
Title of host publication	Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989
Publisher	Association for Computing Machinery
Pages	46-57
Number of pages	12
ISBN (Electronic)	0897913175
DOIs	https://doi.org/10.1145/67544.66931
Publication status	Published - 1989 Jun 1
Event	1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989 - Portland, United States Duration: 1989 May 31 → 1989 Jun 2

Publication series

Name	Proceedings of the ACM SIGMOD International Conference on Management of Data
Volume	Part F130127
ISSN (Print)	0730-8078

Other

Other	1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989
Country	United States
City	Portland
Period	89/5/31 → 89/6/2

ASJC Scopus subject areas

Software
Information Systems

Access to Document

10.1145/67544.66931

Fingerprint Dive into the research topics of 'Database programming in machiavelli - A polymorphic language with static type inference'. Together they form a unique fingerprint.

Cite this

Ohori, A., Buneman, P., & Breazu-Tannen, V. (1989). Database programming in machiavelli - A polymorphic language with static type inference. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989 (pp. 46-57). (Proceedings of the ACM SIGMOD International Conference on Management of Data; Vol. Part F130127). Association for Computing Machinery. https://doi.org/10.1145/67544.66931

Database programming in machiavelli - A polymorphic language with static type inference. / Ohori, Atsushi; Buneman, Peter; Breazu-Tannen, Val.

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989. Association for Computing Machinery, 1989. p. 46-57 (Proceedings of the ACM SIGMOD International Conference on Management of Data; Vol. Part F130127).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ohori, A, Buneman, P & Breazu-Tannen, V 1989, Database programming in machiavelli - A polymorphic language with static type inference. in Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989. Proceedings of the ACM SIGMOD International Conference on Management of Data, vol. Part F130127, Association for Computing Machinery, pp. 46-57, 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989, Portland, United States, 89/5/31. https://doi.org/10.1145/67544.66931

Ohori A, Buneman P, Breazu-Tannen V. Database programming in machiavelli - A polymorphic language with static type inference. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989. Association for Computing Machinery. 1989. p. 46-57. (Proceedings of the ACM SIGMOD International Conference on Management of Data). https://doi.org/10.1145/67544.66931

Ohori, Atsushi ; Buneman, Peter ; Breazu-Tannen, Val. / Database programming in machiavelli - A polymorphic language with static type inference. Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989. Association for Computing Machinery, 1989. pp. 46-57 (Proceedings of the ACM SIGMOD International Conference on Management of Data).

@inproceedings{a72e1d98c7184af891c8820ce78a28c7,

title = "Database programming in machiavelli - A polymorphic language with static type inference",

abstract = "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 f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views - sets of structures with {"}identity{"} - we can achieve a degree of static type checking for object-oriented databases.",

author = "Atsushi Ohori and Peter Buneman and Val Breazu-Tannen",

note = "Funding Information: in part by grants NSF IRI86- AR0 DAA62984-k-0061 in part by OK1 Electric; 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989 ; Conference date: 31-05-1989 Through 02-06-1989",

year = "1989",

month = jun,

day = "1",

doi = "10.1145/67544.66931",

language = "English",

series = "Proceedings of the ACM SIGMOD International Conference on Management of Data",

publisher = "Association for Computing Machinery",

pages = "46--57",

booktitle = "Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989",

}

TY - GEN

T1 - Database programming in machiavelli - A polymorphic language with static type inference

AU - Ohori, Atsushi

AU - Buneman, Peter

AU - Breazu-Tannen, Val

N1 - Funding Information: in part by grants NSF IRI86- AR0 DAA62984-k-0061 in part by OK1 Electric

PY - 1989/6/1

Y1 - 1989/6/1

N2 - 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 f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views - sets of structures with "identity" - we can achieve a degree of static type checking for object-oriented databases.

AB - 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 f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views - sets of structures with "identity" - we can achieve a degree of static type checking for object-oriented databases.

UR - http://www.scopus.com/inward/record.url?scp=84976661129&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976661129&partnerID=8YFLogxK

U2 - 10.1145/67544.66931

DO - 10.1145/67544.66931

M3 - Conference contribution

AN - SCOPUS:84976661129

T3 - Proceedings of the ACM SIGMOD International Conference on Management of Data

SP - 46

EP - 57

BT - Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989

PB - Association for Computing Machinery

T2 - 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989

Y2 - 31 May 1989 through 2 June 1989

ER -