This paper reports on the extension of SML# with natural join operator commonly used in database query. The extension is based on the database typing of Ohori and Buneman and an HM(X)-style constraint polymorphic typing. Based on this typing and type inference algorithm, the seamless SQL integration of SML# is extended with natural join. The extended SML# is available as a version 3.1.0-trial_join.
Conference DayThu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
11:45 - 12:25
|Compiling with Continuations and LLVM|
|SML# with Natural Join|
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, JapanPre-print