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

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen

研究成果: Article査読

68 被引用数 (Scopus)

抄録

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 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.

本文言語English
ページ(範囲)46-57
ページ数12
ジャーナルACM SIGMOD Record
18
2
DOI
出版ステータスPublished - 1989 6 1
外部発表はい

ASJC Scopus subject areas

  • ソフトウェア
  • 情報システム

フィンガープリント

「Database Programming in Machiavelli—a Polymorphic Language with Static Type Inference」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル