Type inference in a database programming language

Atsushi Ohori, Peter Buneman

研究成果: Conference contribution

45 被引用数 (Scopus)

抄録

We extend an ML-like implicit type system to include a number of structures and operations that are common in database programming including sets, labeled records, joins and projections. We then show that the type inference problem of the system is decidable by extending the notion of principal type schemes to include conditions on substitutions. Combined with Milner's polymorphic let constructor, our language also supports type inheritance.

本文言語English
ホスト出版物のタイトルProceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988
出版社Association for Computing Machinery, Inc
ページ174-183
ページ数10
ISBN(電子版)089791273X, 9780897912730
DOI
出版ステータスPublished - 1988 1月 1
外部発表はい
イベント1988 ACM Conference on LISP and Functional Programming, LFP 1988 - Snowbird, United States
継続期間: 1988 7月 251988 7月 27

出版物シリーズ

名前Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988

Other

Other1988 ACM Conference on LISP and Functional Programming, LFP 1988
国/地域United States
CitySnowbird
Period88/7/2588/7/27

ASJC Scopus subject areas

  • モデリングとシミュレーション
  • ソフトウェア
  • 計算理論と計算数学
  • 計算数学

フィンガープリント

「Type inference in a database programming language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル