skip to main content
10.1145/2463664.2465218acmconferencesArticle/Chapter ViewAbstractPublication PagesmodConference Proceedingsconference-collections
research-article

On the expressive power of update primitives

Authors Info & Claims
Published:22 June 2013Publication History

ABSTRACT

The SQL standard offers three primitive operations (insert, delete, and update which is here called modify) to update a relation based on a generic query. This paper compares the expressiveness of programs composed of these three operations, with the general notion of update that simply replaces the content of the relation by the result of a query. It turns out that replacing cannot be expressed in terms of insertions, deletions, and modifications, and neither can modifications be expressed in terms of insertions and deletions. The expressive power gained by if-then-else control flow in programs is investigated as well. Different ways to perform replacing are discussed: using a temporary variable; using the new SQL merge operation; using SQL's data change delta tables; or using queries involving object creation or arithmetic. Finally the paper investigates the power of alternating the different primitives. For example, an insertion followed by a modification cannot always be expressed as a modification followed by an insertion.

References

  1. S. Abiteboul. Updates, a new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, ICDT'88, volume 326 of Lecture Notes in Computer Science, pages 1--18. Springer-Verlag, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. J. ACM, 45(5):798--842, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Abiteboul and V. Vianu. Equivalence and optimization of relational transactions. J. ACM, 35:70--120, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Abiteboul and V. Vianu. Procedural languages for database queries and updates. J. Comput. Syst. Sci., 41(2):181--229, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. J. Comput. Syst. Sci., 43(1):62--124, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Aho and J. Ullman. Universality of data retrieval languages. In Conference Record, 6th ACM Symposium on Principles of Programming Languages, pages 110--120, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. Andries, L. Cabibbo, J. Paredaens, and J. Van den Bussche. Applying an update method to a set of receivers. ACM Trans. Database Syst., 25(1):1--40, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. J. Bang-Jensen and G. Gutin. Digraphs. Springer, second edition, 2009.Google ScholarGoogle Scholar
  10. M. Benedikt, A. Bonifati, S. Flesca, and A. Vyas. Verification of tree updates for optimization. In K. Etessami and S. Rajamani, editors, Computer Aided Verification, 17th International Conference, volume 3576 of Lecture Notes in Computer Science, pages 379--393. Springer, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. M. Benedikt and J. Cheney. Semantics, types and effects for XML updates. In P. Gardner and F. Geerts, editors, Proceedings 12th International Symposium on Database Programming Languages, volume 5708 of Lecture Notes in Computer Science, pages 1--17. Springer, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. M. Benedikt and J. Cheney. Destabilizers and independence of XML updates. Proceedings VLDB, 3(1):906--917, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. M. Benedikt, D. Florescu, P. Gardner, G. Guerrini, M. Mesiti, and E. Waller. Report on the EDBT/ICDT 2010 workshop on updates in XML. SIGMOD Record, 39(1):54--57, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. A. Chandra and D. Harel. Computable queries for relational data bases. J. Comput. Syst. Sci., 21(2):156--178, 1980.Google ScholarGoogle ScholarCross RefCross Ref
  15. A. Chandra and D. Harel. Structure and complexity of relational queries. J. Comput. Syst. Sci., 25:99--128, 1982.Google ScholarGoogle ScholarCross RefCross Ref
  16. Database reference--SQL--statements--MERGE. IBM DB2 10.1 Information Center for Linux, UNIX, and Windows, http://pic.dhe.ibm.com/infocenter/db2luw/v10r1/, 15 November 2012.Google ScholarGoogle Scholar
  17. S. Dekeyser, J. Hidders, and J. Paredaens. A transaction model for XML databases. World Wide Web: Internet and Web Information Systems, 7:29--57, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors. Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science. Springer, 1998.Google ScholarGoogle Scholar
  19. G. Ghelli, K. Høgsbro Rose, and J. Siméon. Commutativity analysis for XML updates. ACM Trans. Database Syst., 33(4):article 29, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. E. Grädel and S. Siebertz. Dynamic definability. In Proceedings 15th International Conference on Database Theory, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. J. Hidders, J. Paredaens, and R. Vercammen. On the expressive power of XQuery-based update languages. In Database and XML Technologies, Proceedings 4th XSym, volume 4156 of Lecture Notes in Computer Science, pages 92--106. Springer, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. R. Hull and C. Yap. The format model, a theory of database organization. J. ACM, 31(3):518--537, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. D. Karabeg and V. Vianu. Simplification rules and complete axiomatization for relational update transactions. ACM Trans. Database Syst., 16(3):439--475, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. A. Klug. Calculating constraints on relational expressions. ACM Trans. Database Syst., 5(3):260--290, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. C. Laasch and M. Scholl. Deterministic semantics of set-oriented update sequences. In Proceedings, 9th International Conference on Data Engineering, pages 4--13. IEEE Computer Society Press, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. A. Levy and Y. Sagiv. Queries independent of updates. In R. Agrawal, S. Baker, and D. Bell, editors, Proceedings 19th International Conference on Very Large Data Bases, pages 171--181. Morgan Kaufmann, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. U. W. Lipeck and B. Thalheim, editors. Modelling Database Dynamics. Workshops in Computing. Springer-Verlag, 1992.Google ScholarGoogle Scholar
  28. MySQL reference manuals. http://dev.mysql.com/doc/.Google ScholarGoogle Scholar
  29. Information technology -- database languages -- SQL -- part 2: Foundations. International Standard ISO/IEC 9075, 2012.Google ScholarGoogle Scholar
  30. I. Tatarinov, Z. Ives, A. Halevy, and D. Weld. Updating XML. In Proceedings 2001 ACM SIGMOD International Conference on Management of Data, pages 413--424. ACM Press, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. J. Van den Bussche, D. Van Gucht, M. Andries, and M. Gyssens. On the completeness of object-creating database transformation languages. J. ACM, 44(2):272--319, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. XQuery update facility 1.0. W3C Recommendation 17 March 2011.Google ScholarGoogle Scholar
  33. F. Zemke. What's new in SQL:2011. SIGMOD Record, 41(1):67--73, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. On the expressive power of update primitives

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        PODS '13: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems
        June 2013
        334 pages
        ISBN:9781450320665
        DOI:10.1145/2463664
        • General Chair:
        • Richard Hull,
        • Program Chair:
        • Wenfei Fan

        Copyright © 2013 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 22 June 2013

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        PODS '13 Paper Acceptance Rate24of97submissions,25%Overall Acceptance Rate476of1,835submissions,26%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!