Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Understanding the implications of view update policies

  • Published:
Algorithmica Aims and scope Submit manuscript

Abstract

Database views are traditionally described as unmaterialized queries, which may be coincidentally updatable according to some fixed criteria. One of the problems in updating through views lies in determining whether a given view modification can be correctly translated by the system. To define an updatable view, a view designer must be aware of how an update request in the view will be mapped into updates of the underlying relations. Furthermore, because of side effects, the view designer must also be made aware of the effects of isolated updates back into the view.

To address this problem, we present a general algorithm that predicts the effects of arbitrary mapping policies. Given an update policy, this algorithm indicates whether a desired update will, in fact, occur in the view and describes all possible side effects it may have, documenting the conditions under which they occur. The algorithm subsumes the results obtained by other view design tools, and generalizes their use to encompass a larger class of views.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. K. Arora and C. R. Carlson, The information preserving properties of relational database transformations,Proceedings of the Fourth International Conference on Very Large Data Bases, West Berlin, September 13–15, 1978 (S. Bing Yao, ed.), pp. 352–359.

  2. J. A. Blakely, P.-Å. Larson, and F. W. Tompa, Efficiently updating materialized views,Proceedings of SIGMOD '86 International Conference on Management of Data, Washington, DC, May 28–30, 1986 (C. Zaniolo, ed.), pp. 61–71.

  3. F. Bancilhon and N. Spyratos, Update semantics of relational views,ACM Trans. Database Systems,6 (1981), 557–576.

    Article  MATH  Google Scholar 

  4. C. R. Carlson and A. K. Arora, The updatability of relational views based on functional dependencies,The IEEE Computer Society's Third International Computer Software & Applications Conference, Chicago, IL, November 6–8, 1979, pp. 415–420.

  5. S. Cosmadakis and C. H. Papadimitriou, Updates of relational views,Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Atlanta, GA, March 21–23, 1983, pp. 317–331.

  6. U. Dayal and P. A. Bernstein, On the correct translation of update operations on relational views,ACM Trans. Database Systems,8 (1982), 381–416.

    Article  MathSciNet  Google Scholar 

  7. R. Fagin, D. Maier, J. D. Ullman, and M. Yannakakis, Tools for template dependencies,SIAM J. Comput.,12 (1983), 36–59.

    Article  MATH  MathSciNet  Google Scholar 

  8. A. L. Furtado, K. C. Sevcik, and C. S. Santos, Permitting updates through views of data bases,Inform. Systems,4 (1979), 269–283.

    Article  Google Scholar 

  9. R. Fagin, J. D. Ullman, and M. Y. Vardi, On the semantics of updates in databases,Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Atlanta, GA, March 21–23, 1983, pp. 352–364.

  10. S. J. Hegner, Canonical view update support through boolean algebras of components,ACM PODS, 1984, pp. 163–172.

  11. A. M. Keller, Updates to relational databases through views involving joins, inImproving Database Usability and Responsiveness (P. Scheuermann, ed.), Academic Press, New York, 1982, pp. 363–384.

    Google Scholar 

  12. A. M. Keller, Sequence of update algorithms for translating view updates to database updates for views involving projections, selections and joins,Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Portland, OR, March 25–27, 1985, pp. 154–163.

  13. A. M. Keller, The role of semantics in translating view updates,Computer,19 (1986), 63–73.

    Article  Google Scholar 

  14. T.-W. Ling, Improving database integrity based on functional dependencies, Ph.D. Thesis, Department of Computer Science, University of Waterloo, 1978.

  15. D. Maier,The Theory of Relational Databases, Computer Science Press, 1983.

  16. C. M. B. Medeiros, A validation tool for designing database views that permit updates, Technical Report CS-85-44, Department of Computer Science, University of Waterloo, 1985.

  17. J. M. Nicolas, Logic for improving integrity checking in relational databases,Acta Inform.,18 (1982), 227–254.

    Article  MATH  MathSciNet  Google Scholar 

  18. J. M. Nicolas and K. Yazdanian, Integrity checking in deductive databases, inLogic and Databases (H. Gallaire and J. Minker, eds.), Plenum, New York, 1978, pp. 325–343.

    Google Scholar 

  19. N. Spyratos, An operational approach to data bases,Proceedings of the ACM Symposium on Principles of Database Systems, Los Angeles, CA, March 29–31, 1982, pp. 212–219.

  20. O. Shmueli and A. Itai, Maintenance of views,Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Ontario, April 2–4, 1984, pp. 240–255.

  21. F. Sadri and J. D. Ullman, Template dependencies: a large class of dependencies in relational databases and its complete axiomatization,J. Assoc. Comput. Mach.,29 (1982), 363–372.

    MATH  Google Scholar 

  22. E. Simon and P. Valduriez, Design and implementation of an extendible integrity subsystem,SIGMOD '84, Proceedings of the Annual Meeting, Boston, MA, June 18–21, 1984 (B. Yormack, ed.), pp. 9–17.

  23. L. Tucherman, A. L. Furtado, and M. A. Casanova, A pragmatic approach to structured database design,Proceedings of the Ninth International Conference on Very Large Data Bases, Florence, October 31 to November 2, 1983 (M. Schkolnick and C. Thanos, eds.), pp. 219–231.

  24. J. D. Ullman,Principles of Database Systems, 2nd edn., Computer Science Press, 1982.

Download references

Author information

Author notes

  1. Claudia Bauzer Medeiros

    Present address: Departamento de Computação, Instituto de Matemática, Universidade Estadual de Campinas, Caixa Postal 6065, 13085, Campinas, SP, Brasil

Authors and Affiliations

  1. Data Structuring Group, Department of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada

    Claudia Bauzer Medeiros & Frank Wm. Tompa

Authors
  1. Claudia Bauzer Medeiros
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Wm. Tompa
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Communicated by Dale Skeen.

This work was supported in part by grant A9292 from the Natural Sciences and Engineering Research Council of Canada and by scholarship 200 398/80 from Conselho Nacional de Desenvolvimento Cientifico e Tecnologico-CNPq, Brasil.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Medeiros, C.B., Tompa, F.W. Understanding the implications of view update policies. Algorithmica 1, 337–360 (1986). https://doi.org/10.1007/BF01840451

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01840451

Key words

Search

Navigation