Update Languages vs. Query Languages

  • R. Asher Hasson
  • Johann A. Makowsky

Abstract

Two kinds of basic operations can be performed on a database: update it, i.e. modify the data values stored in it, and query it, i.e. ask questions about its data value. In this work we deal with update and query languages for the relational database model, introduced by Codd in [1], Some query languages were developed since the origin of this model, e.g. the first-order relational calculus and the relational algebra. A precise concept of completeness, based on computability, for relational query languages was defined by Chandra and Harel in [2]. Updates in the relational database model were considered systematically as a research topic in [3]. Restructuring of relational databases was considered in [4, 5]. In [6, 7] a family of relational update languages was defined. The languages introduced in [6, 7] are complete update languages (deterministic and non-deterministic). By completeness it follows that these languages are also capable of expressing all computable queries, as defined in [2]. However, the constructs chosen in [7] do not necessarily reflect this, but capture the essence of update operations. The completeness proof in [7] is very detailed and built from scratch.

Keywords

Hull 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    E.F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377–387, 197MATHCrossRefGoogle Scholar
  2. [2]
    A. Chandra and D. Harel. Computable queries for relational data bases. Journal of Computer and Systems Sciences, 21: 156–178, 1980.MathSciNetMATHCrossRefGoogle Scholar
  3. [3]
    S. Abiteboul. Updates a new frontier. In Proceedings of the 2nd. International Conference on Database Theory LNCS 326 pages 1–18 1988Google Scholar
  4. [4]
    V.E. Markowitz and J.A. Makowsky. Incremental reorganization of relational databases. In VLDB’ 87, pages 127–135, September 1987.Google Scholar
  5. [5]
    V.E. Markowitz and J.A. Makowsky. Incremental restructuring of relational schemas. In Proceedings of the 4th International Conference on Data Engineering, pages 276–284, February 1988.Google Scholar
  6. [6]
    S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 260–268, 1987.Google Scholar
  7. [7]
    S. Abiteboul and S. Vianu. Procedural languages for database queries and updates. Journal of Computer and Systems Sciences, 41:181–229, 1990.MathSciNetMATHCrossRefGoogle Scholar
  8. [8]
    S. Abiteboul and C. Beeri. On the power of languages for the manipulation of complex objects. Research Report 846, INRIA, April 1988.Google Scholar
  9. [9]
    R.A. Hasson and J.A. Makowsky. Updates in the complex object data model, 1991. (Unpublished manuscript).Google Scholar
  10. [10]
    G.M. Kuper and M.Y. Vardi. A new approach to database logic. In Proceedings of the 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 86–96, 1984.Google Scholar
  11. [11]
    E. Dalhaus and J.A. Makowsky. Computable directory queries. In P. Franchi Zannettacci, editor, Proceedings of CAAP’86 (11th Colloquium on Trees and Algebra in Programming), LNCS 214, pages 254–265, March 1986.Google Scholar
  12. [12]
    E. Dalhaus and J.A. Makowsky. Query languages for hierarchic databases. Technical Report 652, Department of Computer Science-The Technion, Haifa, Israel, 1990. To appear in Information and Computation. Google Scholar
  13. [13]
    R. Hull and C.K. Yap. The format model: A theory of database organization. Journal of the ACM, 31(3):518–527, July 1984.MathSciNetMATHCrossRefGoogle Scholar
  14. [14]
    S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 159–173, 1989.Google Scholar

Copyright information

© Springer Science+Business Media New York 1992

Authors and Affiliations

  • R. Asher Hasson
    • 1
  • Johann A. Makowsky
    • 1
  1. 1.Department of Computer ScienceTechnion — Israel Institute of TechnologyHaifaIsrael

Personalised recommendations