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 -