A domain theoretic approach to higher-order relations

Peter Buneman, Atsushi Ohori

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

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationICDT 1986 - International Conference on Database Theory, Proceedings
EditorsGiorgio Ausiello, Paolo Atzeni
PublisherSpringer Verlag
Pages91-104
Number of pages14
ISBN (Print)9783540171874
DOIs
Publication statusPublished - 1986 Jan 1
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

Other

OtherInternational Conference on Database Theory, ICDT 1986
CountryItaly
CityRome
Period86/9/886/9/10

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Buneman, P., & Ohori, A. (1986). A domain theoretic approach to higher-order relations. In G. Ausiello, & P. Atzeni (Eds.), ICDT 1986 - International Conference on Database Theory, Proceedings (pp. 91-104). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 243 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-17187-8_31