Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

September 1989


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-89-57.


This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order relations, and natural join expressions is defined. A denotational semantics of this language is then presented. Expressions are interpreted into a domain containing Smyth's powerdomain. In order to give semantics to types, a new model of types, a filter model is proposed. Types are then interpreted as filters in a domain. The type inference system of the language is shown to be sound in this model.



Date Posted: 25 January 2008