A Domain Theoretic Approach to Higher-order Relations

Peter Buneman, Atsushi Ohori

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


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.
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
Number of pages14
ISBN (Electronic)978-3-540-47346-6
ISBN (Print)978-3-540-17187-4
Publication statusPublished - 1986

Publication series

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

Fingerprint Dive into the research topics of 'A Domain Theoretic Approach to Higher-order Relations'. Together they form a unique fingerprint.

Cite this