Postconditional semantics of data base queries

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


Data Base Function Symbol Query Language Predicate Symbol Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abrial-74]
    J.R. Abrial, "Data Semantics", in J.W. Klimbie and K.L. Koffeman (eds.), Data Base Management, North Holland, 1974.Google Scholar
  2. [Aho and Ullman-79]
    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. [Bancilhon-78]
    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. [Codd-72]
    E. F. Codd "Relational Completeness of Data Base Sublanguages" in Data Base Systems (ed. Rustin). Prentice-Hall, Englewood Cliff, N. J. 1972Google Scholar
  5. [Codd-70]
    E. F. Codd. "A Relational Model for Large Shared Data Banks." CACM. v. 13 n. 6. 1970.Google Scholar
  6. [Chandra and Harel-80]
    A.K. Chandra and D. Harel, "Computable Queries for Relational Data Bases", J. of Computer and System Sciences, vol. 21, 1980.Google Scholar
  7. [Chandra and Harel-82]
    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. [Gallaire-78]
    H. Gallaire and J. Minker, eds. Logic and Data Bases. Plenum Press, New York, 1978.Google Scholar
  9. [Gallaire-81]
    H. Gallaire and J. Minker, eds. Advances in Data Base Theory, Plenum Press, New York, 1981.Google Scholar
  10. [Li-84]
    Deyi Li. A Prolog Database System. Research Studies Press Ltd, John Wiley & Sons Inc, Letchworth, Hertfordshire, England. 1984.Google Scholar
  11. [Rishe-85]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

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

Personalised recommendations