David W. Stemple, Tim Sheard. Construction and Calculus of Types for Database Systems. In François Bancilhon, Peter Buneman, editors, Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France. pages 3-22, ACM Press / Addison-Wesley, 1987. [doi]
Abstract is missing.