TY - GEN
T1 - Type inference in a database programming language
AU - Ohori, Atsushi
AU - Buneman, Peter
N1 - Funding Information:
*This research was supported in part by grants NSF IRI86 10617, NSF MCS 82191WCER, AR0 DAA6-29-84-k-0061, and by funding from AT&T’s Telecommunications Program at the University of Pennsylvania and from OK1 EXxtric Industry Co., Japan.
Publisher Copyright:
© 1988 ACM.
PY - 1988/1/1
Y1 - 1988/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84899524693&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84899524693&partnerID=8YFLogxK
U2 - 10.1145/62678.62700
DO - 10.1145/62678.62700
M3 - Conference contribution
AN - SCOPUS:84899524693
T3 - Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988
SP - 174
EP - 183
BT - Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988
PB - Association for Computing Machinery, Inc
T2 - 1988 ACM Conference on LISP and Functional Programming, LFP 1988
Y2 - 25 July 1988 through 27 July 1988
ER -