Krishna G. Kulkarni Jonathan Bauer Umeshwar Dayal Mike Kelley Jim Melton ADT-based Type System for SQL. 3-33 Query Processing for Advanced Database Systems, Dagstuhl Morgan Kaufmann 1991 db/books/collections/dagstuhl91.html#KulkarniBDKM91