A domain theoretic approach to higher-order relations

Peter Buneman; Atsushi Ohori

doi:10.1007/3-540-17187-8_31

A domain theoretic approach to higher-order relations

Peter Buneman, Atsushi Ohori

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	ICDT 1986 - International Conference on Database Theory, Proceedings
Editors	Giorgio Ausiello, Paolo Atzeni
Publisher	Springer Verlag
Pages	91-104
Number of pages	14
ISBN (Print)	9783540171874
DOIs	https://doi.org/10.1007/3-540-17187-8_31
Publication status	Published - 1986 Jan 1
Externally published	Yes
Event	International Conference on Database Theory, ICDT 1986 - Rome, Italy Duration: 1986 Sep 8 → 1986 Sep 10

Publication series

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

Other

Other	International Conference on Database Theory, ICDT 1986
Country	Italy
City	Rome
Period	86/9/8 → 86/9/10

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-17187-8_31

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

A domain theoretic approach to higher-order relations. / Buneman, Peter; Ohori, Atsushi.

ICDT 1986 - International Conference on Database Theory, Proceedings. ed. / Giorgio Ausiello; Paolo Atzeni. Springer Verlag, 1986. p. 91-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 243 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 243 LNCS, Springer Verlag, pp. 91-104, International Conference on Database Theory, ICDT 1986, Rome, Italy, 86/9/8. https://doi.org/10.1007/3-540-17187-8_31

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

Buneman, Peter ; Ohori, Atsushi. / A domain theoretic approach to higher-order relations. ICDT 1986 - International Conference on Database Theory, Proceedings. editor / Giorgio Ausiello ; Paolo Atzeni. Springer Verlag, 1986. pp. 91-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{80339a2e3a1a4d5a9250390c737854dc,

title = "A domain theoretic approach to higher-order relations",

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.",

author = "Peter Buneman and Atsushi Ohori",

year = "1986",

month = jan,

day = "1",

doi = "10.1007/3-540-17187-8_31",

language = "English",

isbn = "9783540171874",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "91--104",

editor = "Giorgio Ausiello and Paolo Atzeni",

booktitle = "ICDT 1986 - International Conference on Database Theory, Proceedings",

note = "International Conference on Database Theory, ICDT 1986 ; Conference date: 08-09-1986 Through 10-09-1986",

}

TY - GEN

T1 - A domain theoretic approach to higher-order relations

AU - Buneman, Peter

AU - Ohori, Atsushi

PY - 1986/1/1

Y1 - 1986/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85035016127&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85035016127&partnerID=8YFLogxK

U2 - 10.1007/3-540-17187-8_31

DO - 10.1007/3-540-17187-8_31

M3 - Conference contribution

AN - SCOPUS:85035016127

SN - 9783540171874

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 91

EP - 104

BT - ICDT 1986 - International Conference on Database Theory, Proceedings

A2 - Ausiello, Giorgio

A2 - Atzeni, Paolo

PB - Springer Verlag

T2 - International Conference on Database Theory, ICDT 1986

Y2 - 8 September 1986 through 10 September 1986

ER -