A domain theoretic approach to higher-order relations

Peter Buneman, Atsushi Ohori

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

2 Citations (Scopus)


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 1986 - International Conference on Database Theory, Proceedings
EditorsGiorgio Ausiello, Paolo Atzeni
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9783540171874
Publication statusPublished - 1986
Externally publishedYes
EventInternational Conference on Database Theory, ICDT 1986 - Rome, Italy
Duration: 1986 Sep 81986 Sep 10

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume243 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherInternational Conference on Database Theory, ICDT 1986

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A domain theoretic approach to higher-order relations'. Together they form a unique fingerprint.

Cite this