Types, Logic, and Semantics for Nested Databases

  • Jung A
  • Puhlmann H
  • 3


    Mendeley users who have this article in their library.
  • 3


    Citations of this article.


This work presents first steps towards a denotational semantics for relational databases. It is argued that such a semantics will increase the chances of successfully incorporating relational databases into typed programming languages. Database relations are seen as sets of data of a common structure. The main problem therefore is to model a type of sets. We propose the snack powerdomain for this purpose. Technically, the paper attempts to clarify two aspects of the domain theoretic background of this approach. We give a localic description of the snack powerdomain construction which reveals its logical simplicity. Second, we study a subdomain relation between Scott-domains on the denotational and the logical level. Again, the logical version is simple and intuitive. Such a relation is indispensable for introducing database operations such as 'natural join'. © 2000.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Achim Jung

  • Hermann Puhlmann

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free