Skip to main content
SpringerLink
Log in

The snack powerdomain for database semantics

  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1993 (MFCS 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 711))

Abstract

Recently the use of domain theory for a semantics of databases has been proposed. To model set-valued structures in this framework, a powerdomain construction will be needed. As an appropriate construction a modification of the recently introduced snack powerdomain is investigated and shown to be a free algebra. Moreover, the construction preserves bounded completeness. A slight modification of the snack powerdomain yields the scone powerdomain which, additionally, is distributive. Both constructions promise to bear fruit in the domain theoretic approach to database semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bancilhon and S. Khoshafian. A calculus for complex objects. In Proceedings of the 5th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, pages 53–59, Cambridge, Massachusetts, March 1986.

    Google Scholar 

  2. P. Buneman, S. Davidson, and A. Watters. A semantics for complex objects and approximate queries. Technical Report MS-CIS-87-99, University of Pennsylvania, November 1988.

    Google Scholar 

  3. P. Buneman, A. Jung, and A. Ohori. Using powerdomains to generalize relational databases. Theoretical Computer Science, 91:23–55, 1991.

    Google Scholar 

  4. Carl A. Gunter. The mixed powerdomain. Theoretical Computer Science, 103(2):311–334, September 1992.

    Google Scholar 

  5. Carl A. Gunter. Semantics of Programming Languages. Structures and Techniques. MIT Press, 1992.

    Google Scholar 

  6. A. Jung. Cartesian Closed Categories of Domains, volume 66 of CWI Tracts. Centrum voor Wiskunde en Informatica, Amsterdam, 1989.

    Google Scholar 

  7. Teow-Hin Ngair. Convex Spaces as an Order-theoretic Basis for Problem Solving. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, July 1992.

    Google Scholar 

  8. J. Płonka. On distributive quasi-lattices. Fundamenta Mathematicae, 60:191–200, 1967.

    Google Scholar 

  9. G. D. Plotkin. Post-graduate lecture notes in advanced domain theory (incorporating the“ Pisa Notes”). Dept. of Computer Science, Univ. of Edinburgh, 1981.

    Google Scholar 

  10. A. Romanowska. On bisemilattices with one distributive law. Algebra Universalis, 10:36–47, 1980.

    Google Scholar 

  11. Yannis Vassiliou. Null values in data base management: A denotational semantics approach. In Proceedings of the ACM SIGMOD Int. Conf. Management of Data, Boston, 1979.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Technische Hochschule Darmstadt, Schlossgartenstrasse 7, D-64289, Darmstadt, Germany

    Hermann Puhlmann

Authors
  1. Hermann Puhlmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej M. Borzyszkowski Stefan Sokołowski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Puhlmann, H. (1993). The snack powerdomain for database semantics. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_56

Download citation

  • DOI: https://doi.org/10.1007/3-540-57182-5_56

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57182-7

  • Online ISBN: 978-3-540-47927-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation