skip to main content
10.1145/73721.73731acmconferencesArticle/Chapter ViewAbstractPublication PagespodsConference Proceedingsconference-collections
Article
Free Access

Updating databases in the weak instance model

Authors Info & Claims
Published:29 March 1989Publication History

ABSTRACT

Database updates have recently received much more attention than in the past. In this trend, a solid foundation is provided to the problem of updating databases through interfaces based on the weak instance model. Insertions and deletions of tuples are considered.

As a preliminary tool, a lattice on states is defined, based on the information content of the various states.

Potential results of an insertion are states that contain at least the information in the original state and that in the new tuple. Sometimes there is no potential result, and in the other cases there may be many of them. We argue that the insertion is deterministic if the state that contains the information common to all the potential results (the greatest lower bound, in the lattice framework) is itself a potential result. Effective characterizations for the various cases exist. A symmetric approach is followed for deletions, with fewer cases, since there are always potential results; determinism is characterized consequently.

References

  1. 1.S. Abiteboul. Updates, a new frontier. In Second International Conference on Data Base Theory, Bruges, Lecture Notes in Computer Science 356, pages 1-18, Springer-Verlag, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.A.V. Aho, Y. Sagiv, and J.D. Ullman. Equivalence of relational expressions. SIAM Journal on Computing, 8(2):218-246, 1979.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.P. Atzeni and E.P.F. Chan. Efficient query answering in the representative instance approach. In Fourth ACM SIGA CT-SIGMOD Syrup. on Principles of Database Systems, pages 181-188, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.P. Atzeni and M.C. De Bernardis. A new basis for the weak instance model. In Sizth ACM SIGACT- SIGMOD-S1GART Syrup. on Principles of Database Systems, pages 79-86, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.P. Atzeni and R. Torlone. Updating Databases in the Weak Instance Model. Rapporto R.232, IASI- CNR, Roma, 1988.Google ScholarGoogle Scholar
  6. 6.F. Bancilhon and N. Spyratos. Update semantics of relational views. A CM Trans. on Database Syst., 6{4):557-575, 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.G. Birkhoff. Lattice Theory. Colloquium Publications, Volume XXV, American Mathematical Society, third edition, 1967.Google ScholarGoogle Scholar
  8. 8.J. Biskup and H.H. Bruggemann. Data manipulation languages for the universal relation view DURST. In MFDBS87, LNCS 305, pages 20-41, Springer-Verlag, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.V. Brosda and G. Vossen. Updating a database through a universal scheme interface. In Fourth A CM SIGA CT-SIGMOD Syrup. on Principles of Database Systems, pages 66-75, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.E.P.F. Chan and A.O. Mendelzon. Answering queries on embedded-comphte database schemes. Journal of the ACM, 34{2}:349-375, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.E.F. Codd. 'Universal' relation fails to replace relational model {letter to the editor}. IEEE Software, 5(4):4-6, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.S.S. Cosmadakis, P.C. Kanellakis, and N. Spyratos. Partition semantics for relations. Journal of Comp. and System Sc., 33{1):203-233, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. In P.C. Kanellakis and F. Preparata, editors, Advances in Computing Research, Vol.$, pages 1-18, JAI Press, 1986.Google ScholarGoogle Scholar
  14. 14.R. Fagin, J.D. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In .%cond A CM SIGACT-SIGMOD Syrup. on Principles of Database Systems, pages 352-365, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.P. Honeyman. Testing satisfaction of functional dependencies. Journal of the ACM, 29(3):668-677, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.C. Lecluse and N. Spyratos. implementing queries and updates on universal scheme interfaces. In Fourteenth International Conference on Very Large Data Bases, Los Angeles, pages 62-75, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17.D. Maier. The Theory of Relational Databases. Computer Science Press, Potomac, Maryland, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18.D. Maier, A.O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. A CM Trans. on Database Syst., 4{4):455-468, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19.D. Maier, D. Rozenshtein, and D.S. Warren. Window functions. In P.C. Kanellakis and F. Preparata, editors, Advances in Computing Research, Vol.$, pages 213-246, JAI Press, 1986.Google ScholarGoogle Scholar
  20. 20.D. Maier, J.D. Ullman, and M. Vardi. On the foundations of the universal relation model. A CM Trans. on Database Syst., 9(2}:283-308, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 21.A.O. Mendelzon. Database states and their tableaux. A CM Trans. on Database Syst., 9(2):264-282, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22.Y. Sagiv. A characterization of globally consistent databases and their correct access paths. A CM Trans. on Database Syst., 8(2):266-286, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 23.N. Spyratos. The partition model- a deductive database model. A CM Trans. on Database Syst., 12(I}:I-37, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 24.J.D. Ullman. Principles of Database Systems. Computer Science Press, Potomac, Maryland, second edition, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. 25.M.Y. Vardi. The universal relation data model for logical independence. IEEE Software, 5(2):80-85, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Updating databases in the weak instance model

          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 '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
            March 1989
            401 pages
            ISBN:0897913086
            DOI:10.1145/73721

            Copyright © 1989 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 29 March 1989

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • Article

            Acceptance Rates

            Overall Acceptance Rate642of2,707submissions,24%

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader