Abstract / Description of output
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.
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 '86 |
Subtitle of host publication | International Conference on Database Theory Rome, Italy, September 8–10, 1986 Proceedings |
Publisher | Springer |
Pages | 91-104 |
Number of pages | 14 |
ISBN (Electronic) | 978-3-540-47346-6 |
ISBN (Print) | 978-3-540-17187-4 |
DOIs | |
Publication status | Published - 1986 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin / Heidelberg |
Volume | 243 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |