Type Inference in a Database Programming Language

Atsushi Ohori, Peter Buneman

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationLFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Number of pages10
ISBN (Print)0-89791-273-X
Publication statusPublished - 1988


Dive into the research topics of 'Type Inference in a Database Programming Language'. Together they form a unique fingerprint.

Cite this