Skip to main content
SpringerLink
Log in
Book cover

International Conference on Mathematical Foundations of Programming Semantics

MFPS 1985: Mathematical Foundations of Programming Semantics pp 275–295Cite as

Postconditional semantics of data base queries

  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.R. Abrial, "Data Semantics", in J.W. Klimbie and K.L. Koffeman (eds.), Data Base Management, North Holland, 1974.

    Google Scholar 

  2. A.V. Aho, J.D. Ullman, "Universality of Data Retrieval Languages", in Proc. 6th ACM Symp. on Principles of Programming Languages, 1979.

    Google Scholar 

  3. F. Bancilhon "On the completeness of query languages for relational databases". Proc. Seventh Symp. on Mathematical Foundations of Computer Science. Springer-Verlag 1978.

    Google Scholar 

  4. E. F. Codd "Relational Completeness of Data Base Sublanguages" in Data Base Systems (ed. Rustin). Prentice-Hall, Englewood Cliff, N. J. 1972

    Google Scholar 

  5. E. F. Codd. "A Relational Model for Large Shared Data Banks." CACM. v. 13 n. 6. 1970.

    Google Scholar 

  6. A.K. Chandra and D. Harel, "Computable Queries for Relational Data Bases", J. of Computer and System Sciences, vol. 21, 1980.

    Google Scholar 

  7. A.K. Chandra and D. Harel, "Horn Clauses and the Fixpoint Query Hierarchy", Proceedings of the ACM Symposium on Principles of Database Systems. 1982.

    Google Scholar 

  8. H. Gallaire and J. Minker, eds. Logic and Data Bases. Plenum Press, New York, 1978.

    Google Scholar 

  9. H. Gallaire and J. Minker, eds. Advances in Data Base Theory, Plenum Press, New York, 1981.

    Google Scholar 

  10. Deyi Li. A Prolog Database System. Research Studies Press Ltd, John Wiley & Sons Inc, Letchworth, Hertfordshire, England. 1984.

    Google Scholar 

  11. N. Rishe, 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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, 93106, Santa Barbara, CA

    Naphtali Rishe

Authors
  1. Naphtali Rishe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Austin Melton

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rishe, N. (1986). Postconditional semantics of data base queries. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-16816-8_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16816-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation