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.
Much of this work was carried out while Peter Buneman was a visiting SERC research fellow at the University of Glasgow, Scotland and while Atsushi Ohori was on leave from OKI Electric Co., Japan. It was also supported by an NSF CER grant MCS82-19196.
Preview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H. “A Lattice Theoretic Approach to Computation based on a Calculus of Partially Ordered Type Structures”, PhD. Dissertation, Department of Computer and Information Science, Moore School/D2, University of Pennsylvania, Philadelphia, PA 19104. (1984)
Atkinson, M.P. and Buneman, O.P. “Types and Persistence in Database Programming Languages”, ACM Computing Surveys. To appear.
Bancilhon, F. and Khoshafian, S., “A Calculus for Complex Objects”, Technical Report, MCC, Austin Texas, October 1985.
Brachman, R.J. and Schmolze, J.G., “An Overview of the KL-One Knowledge Representation System”, Cognitive Science, 9,2, April 1985.
Buneman, P., Frankel, R.E. and Nikhil, R., An Implementation Technique for Database Query Languages, ACM Transactions on Database Management, 7, 2, June 1982
Buneman, O.P., “Data Types for Data Base Programming”, Proceedings of the Appin Conference on Data Types and Persistence, Technical Report, Department of Computing, Glasgow University, September, 1985.
Cardelli, L., “A semantics of Multiple Inheritance”, Semantics of Data Types Kahn, G., MacQueen, D.B. and Plotkin, G. (eds), Springer-Verlag, Berlin, June 1984
Cardelli, L. and Wegner, P., “On Understanding Types, Data Abstraction, and Polymorphism”, ACM Computing Surveys January, 1986.
Cosmadakis, S.S., Kanellakis, P.C., Spyratos, N. “Partition Semantics for Relations”, Technical Report, Brown University, December 1985.
Goldstein, I. P. and Bobrow, D. G., “Extending object oriented programming in Smalltalk”, Proceedings of the 1980 Lisp Conference, August, 1980.
Gordon, M.J., Milner, A.J.R.G., and Wadsworth, C.P., Edinburgh LCF, Springer-Verlag, Lecture Notes in Computer Science, 1979.
Lipski, W. “On Semantic Issues Connected with Incomplete Information Databases, ACM Transactions on Database Systems 4,3 (1979).
Smith, J.M. and Smith, D.C.P., “Database Abstractions — Aggregation and Generalization” ACM Transactions on Database Systems, 2, 2, June 1977.
Ichbiah et al., Rationale of the Design of the Programming Language Ada, ACM Sigplan Notices, 14, 6, 1979
MacQueen, D.B. and Sethi, R., “A semantic model of types for applicative languages”, Technical Report, Bell Laboratories, 1982.
Ohori, A. Personal Communication, 1986.
Scott, D. “Domains for Denotational Semantics” ICALP '82, Aarhus, Denmark, 1982.
Smyth, M.B. “Power Domains” Journal of Computer and System Science 16, 23–26 (1978)
Shipman, D.W., The Functional Data Model and the Data Language DAPLEX, ACM Transactions on Database Systems, 140–173, 6, 1, March 1981
Jurgensen, H and Simovici, D.A., “Towards an Abstract Theory of Dependency Constraints in Relational Databases”, Technical Report 1/85, Department of Mathematics and Computer Science, University of Massachusetts, 1985.
Stoy, J. Denotational Semantics: The Scott-Strachey approach to Programming Language Theory. MIT Press, 1977
Ullman, J.D., Principles of Database Systems (2nd ed.), Computer Science Press, Rockville Md. (1982)
Zaniolo, C., “Database Relations with Null Values,” JCSS, 28 1, pp. 142–166, February 1984.
Zaniolo, C. “Prolog: A Database Query Language for All Seasons”, Proc. IEEE-ACM International Expert Database Systems Workshop, Kiawah Island, October 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buneman, P., Ohori, A. (1986). A domain theoretic approach to higher-order relations. In: Ausiello, G., Atzeni, P. (eds) ICDT '86. ICDT 1986. Lecture Notes in Computer Science, vol 243. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17187-8_31
Download citation
DOI: https://doi.org/10.1007/3-540-17187-8_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17187-4
Online ISBN: 978-3-540-47346-6
eBook Packages: Springer Book Archive