A Domain Theoretic Approach to Higher-Order Relations

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.

[1]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[2]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[3]  Peter Buneman,et al.  Data Types For Data Base Programming , 1985, Data Types and Persistence , Informal Proceedings.

[4]  Brian A. Wichmann,et al.  Rationale for the design of the Ada programming language , 1979, SIGP.

[5]  Daniel G. Bobrow,et al.  Extending object oriented programming in Smalltalk , 1980, LISP Conference.

[6]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[7]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[8]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[9]  Nicolas Spyratos,et al.  Partition semantics for relations , 1985, PODS '85.

[10]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[11]  Carlo Zaniolo,et al.  Prolog: A Database Query Language for All Seasons , 1984, Expert Database Workshop.

[12]  Carlo Zaniolo,et al.  Database relations with null values , 1982, J. Comput. Syst. Sci..

[13]  Witold Lipski,et al.  On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..

[14]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[15]  Ravi Sethi,et al.  A semantic model of types for applicative languages , 1982, LFP '82.

[16]  Dan A. Simovici,et al.  Towards an abstract theory of dependency constraints in relational databases , 1987, Inf. Sci..

[17]  Peter Buneman,et al.  Types and persistence in database programming languages , 1987, CSUR.

[18]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[19]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[20]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[21]  Gordon Plotkin,et al.  Semantics of Data Types , 1984, Lecture Notes in Computer Science.

[22]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.