Edinburgh Research Explorer

A Domain Theoretic Approach to Higher-order Relations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationICDT '86
Subtitle of host publicationInternational Conference on Database Theory Rome, Italy, September 8–10, 1986 Proceedings
PublisherSpringer-Verlag GmbH
Pages91-104
Number of pages14
ISBN (Electronic)978-3-540-47346-6
ISBN (Print)978-3-540-17187-4
DOIs
Publication statusPublished - 1986

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume243
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Abstract

We have tried to show that the notion of inheritance leads to a natural representation of the operators of the relational algebra and that some of the basic properties of relational database theory, such as Armstrong's axioms, can be derived from some very simple domain theoretic relationships. If these ideas have any value one would expect to be able to represent other notions in database theory, such as multi-valued dependencies and the universal relation assumption within the same framework. However, given the apparent connection with Scott's “Information Systems”, a more pressing need is to work out a proper denotational semantics for relational databases.

In the longer term we hope that it will be possible to use an approach such as this to produce better type systems for database programming languages.

ID: 10624997