On denotational semantics of data bases

  • Naphtali Rishe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 239)


A method of denotational formalization of data bases, of data base management systems, and of related structures is proposed, aiming to improve their understanding, specification and rigorous investigation. The method provides a uniform treatment of different information layers: from instantaneous data bases (the first layer), via schemata and integrity rules, to classes of data base models. It unifies in one mathematical notion the apparently different notions of the semantics of stored data, semantics of data base processes, conceptual semantics of data bases, integrity semantics of data bases and denotational semantics of languages. The unification is based on hierarchies of domains of continuous mappings between different representations of information (from "less semantic" representations into "more semantic" ones).


Data Base Semantic Representation Integrity Constraint Semantic Function Data Semantic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. H. Biller, W. Glathaar, and E. Neuhold, “On the Semantics of Data Bases: The Semantics of Data Manipulation Languages,” Modelling in Data Base Management Systems, IFIP Working Conference on Modelling in DBMS's, 1976.Google Scholar
  2. M. Brodie and J. Schmidt, “Final Report of the Relational Database Task Group,” ANSI-XS-SPARC-DBTG, ACM SIGMOD RECORD, vol. 12, no. 4, 1982.Google Scholar
  3. J. M. Cadiou, “On Semantic Issues in the Relational Model of Data,” Mathematical Foundations of Computer Science, Proc. of 5th Symposium, Springer-Verlag, 1976.Google Scholar
  4. J. Clifford and D. S. Warren, “Formal Semantics for Time in Database System,” ACM Transaction on Database System, vol. 18, 1983.Google Scholar
  5. C. J. Date, “A Formal Definition of the Relational Model,” ACM SIGMOD RECORD, vol. 13, no. 1, 1982.Google Scholar
  6. Jay Earley, “On the Semantics of Data Structures,” Data Base Systems, COURANT Computer Science Symposium 6, 1972.Google Scholar
  7. E. D. Falkenberg, “Data Models: The Next Five Years,” INFOTECH Report: Data Base Technology, vol. 1, 1978.Google Scholar
  8. W. T. Hardgrave, “Ambiguity in processing Boolean Queries on TDMS Tree Structures: A Study for Four Different Philosophies,” IEEE Transactions on Software Engineering, pp. 357–372, July 1980.Google Scholar
  9. E. J. Neuhold and Th. Olnhoff, “Building Data Base Management Systems Through Formal Specification,” Springer LNCS #107, 1981.Google Scholar
  10. N. Rishe. [84] Algorithms for Design of Relational, Network and Hierarchic Schemata from Conceptual Binary Schemata. Tech. Rep. TRCS84-15, University of California, Santa Barbara, 1984.Google Scholar
  11. N. Rishe. "Postconditional Semantics of Data Base Queries". Proceedings of the Conference on Mathematical Foundations of Programming Semantics (Manhattan, Kansas, April 1985).Google Scholar
  12. N. Rishe. [85b] Semantics of Universal Languages and Informations Structures in Data Bases. Technical report TRCS85-010, Computer Science Department, University of California, Santa Barbara, 1985.Google Scholar
  13. H. Schmid and S. Swenson, "On the Semantics of the Relational Data Model," ACM-SIGMOD International Conf. on Management of Data, San Jose, 1975.Google Scholar
  14. J. Stoy, “The Scott-Strachey Approach to Programming Language Theory,” Denotational Semantics, 1977.Google Scholar
  15. Y. Vassiliou, “Null values in database management: A denotational semantics approach,” Proc. of: ACM-SIGMOD international conference on Management of data, pp. 162–169, Boston, May 30–June 1, 1979.Google Scholar
  16. H. Weber, “A Semantic Model of Integrity Constraints on a Relational Data Base,” in Modeling in Data Base Management Systems, IFIP Working Conference on Modeling in DBMS's, ed. G. M. Nijssen, pp. 162–169, Boston, May 30–June 1, 1976.Google Scholar
  17. C. Zaniolo, “Database Relations with Null Values,” Journal of Computer and System Sciences, vol. 28, pp. 142–166, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Naphtali Rishe
    • 1
  1. 1.Department of Computer ScienceUniversity of CaliforniaSanta Barbara

Personalised recommendations