Paper Info
Title
Types, Logic, and Semantics for Nested Databases
Abstract
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’.
Year
DOI
Venue
1995
10.1016/S1571-0661(04)00020-9
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
relational database,programming language
Denotational semantics of the Actor model,Programming language,Normalisation by evaluation,Relational database,Computer science,Denotational semantics,Action semantics,Theoretical computer science,Semantics,Database
Journal
Volume
ISSN
Citations 
1
Electronic Notes in Theoretical Computer Science
4
PageRank 
References 
Authors
0.54
9
2
Name
Order
Citations
PageRank
Achim Jung140.54
Hermann Puhlmann25514.33