Skip to main content
SpringerLink
Log in

Invariance Properties of the Constant-Complement View-Update Strategy

  • Conference paper
Semantics in Data and Knowledge Bases (SDKB 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7693))

Included in the following conference series:

Abstract

The constant-complement approach is one of the principal strategies for defining the reflections of database view updates. The purpose of this paper is twofold. First, a self-contained presentation of the strategy itself is given. Second, two fundamental invariance problems are examined. Admissibility invariance addresses the question of when the translatability of a view update is independent of the view state. Reflection invariance addresses the question of when a view update is independent of the choice of complement. In addition to a summary of existing results for both forms of invariance, new results for reflection invariance are presented.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)

    Google Scholar 

  2. Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Ann. Math. Artif. Intell. 50(3-4), 389–415 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  3. Arieli, O., Denecker, M., Nuffelen, B.V., Bruynooghe, M.: Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46(1-2), 4–37 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bancilhon, F., Spyratos, N.: Independent components of databases. In: Proceedings of the Seventh International Conference on Very Large Data Bases, pp. 398–408 (1981)

    Google Scholar 

  5. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Systems 6, 557–575 (1981)

    Article  MATH  Google Scholar 

  6. Bentayeb, F.: Mises à jour au travers de Vues dans les Bases de Données Relationnelles: Traduction et Déterminisme. PhD thesis, l’Université d’Orléans (1998)

    Google Scholar 

  7. Bentayeb, F., Laurent, D.: View Updates Translations in Relational Databases. In: Quirchmayr, G., Bench-Capon, T.J.M., Schweighofer, E. (eds.) DEXA 1998. LNCS, vol. 1460, pp. 322–331. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  8. Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Chicago, Illinois, USA, June 26-28, pp. 338–347 (2006)

    Google Scholar 

  9. Date, C.J.: A Guide to the SQL Standard. Addison-Wesley (1997)

    Google Scholar 

  10. Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  12. Fernández, J.A., Grant, J., Minker, J.: Model theoretic approach to view updates in deductive databases. J. Automated Reasoning 17(2), 171–197 (1996)

    Article  MATH  Google Scholar 

  13. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Programming Languages and Systems 29(3) (2007)

    Google Scholar 

  14. Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Trans. Database Systems 13, 486–524 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hegner, S.J.: Foundations of Canonical Update Support for Closed Database Views. In: Abiteboul, S., Kanellakis, P.C. (eds.) ICDT 1990. LNCS, vol. 470, pp. 422–436. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

  16. Hegner, S.J.: Unique complements and decompositions of database schemata. J. Comput. System Sci. 48(1), 9–57 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  17. Hegner, S.J.: An order-based theory of updates for closed database views. Ann. Math. Art. Intell. 40, 63–125 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Hegner, S.J.: The complexity of embedded axiomatization for a class of closed database views. Ann. Math. Art. Intell. 46, 38–97 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  19. Hegner, S.J.: A model of database components and their interconnection based upon communicating views. In: Jakkola, H., Kiyoki, Y., Tokuda, T. (eds.) Information Modelling and Knowledge Systems XIX. Frontiers in Artificial Intelligence and Applications, pp. 79–100. IOS Press (2008)

    Google Scholar 

  20. Hegner, S.J.: Characterization of Optimal Complements of Database Views Defined by Projection. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol. 6834, pp. 73–95. Springer, Heidelberg (2011)

    Google Scholar 

  21. Hegner, S.J.: Information-based distance measures and the canonical reflection of view updates. Ann. Math. Art. Intell. 63, 317–355 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  22. Hegner, S.J.: A simple model of negotiation for cooperative updates on database schema components. In: Kiyoki, Y., Tokuda, T., Heimbürger, A., Jaakkola, H., Yoshida, N. (eds.) Frontiers in Artificial Intelligence and Applications XX11, pp. 154–173 (2011)

    Google Scholar 

  23. Hegner, S.J.: FD Covers and Universal Complements of Simple Projections. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS 2012. LNCS, vol. 7153, pp. 184–202. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  24. Hegner, S.J.: Independent Update Reflections on Interdependent Database Views. In: Düsterhöft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 101–115. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  25. Hegner, S.J., Schmidt, P.: Update Support for Database Views Via Cooperation. In: Ioannidis, Y., Novikov, B., Rachev, B. (eds.) ADBIS 2007. LNCS, vol. 4690, pp. 98–113. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. Keller, A.M.: Updating Relational Databases through Views. PhD thesis, Stanford University (1985)

    Google Scholar 

  27. Langerak, R.: View updates in relational databases with an independent scheme. ACM Trans. Database Systems 15(1), 40–66 (1990)

    Article  MathSciNet  Google Scholar 

  28. Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)

    Google Scholar 

  29. Ore, O.: Theory of equivalence relations. Duke Math. J. 9, 573–627 (1942)

    Article  MathSciNet  MATH  Google Scholar 

  30. Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The Structure of the Relational Database Model. Springer (1989)

    Google Scholar 

  31. Rissanen, J.: Independent components of relations. ACM Trans. Database Systems 2(4), 317–325 (1977)

    Article  Google Scholar 

  32. Schewe, K.-D., Thalheim, B.: Component-driven engineering of database applications. In: APCCM 2006: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling, pp. 105–114. Australian Computer Society, Inc., Darlinghurst (2006)

    Google Scholar 

  33. Thalheim, B.: Component development and construction for database design. Data Knowl. Eng. 54(1), 77–95 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, UmeåUniversity, SE-901 87, Umeå, Sweden

    Stephen J. Hegner

Authors
  1. Stephen J. Hegner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Competence Center Hagenberg, Softwarepark 21, 4232, Hagenberg, Austria

    Klaus-Dieter Schewe

  2. Department of Computer Science, Christian-Albrechts-University Kiel, Oltshausenstr. 40, 24098, Kiel, Germany

    Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hegner, S.J. (2013). Invariance Properties of the Constant-Complement View-Update Strategy. In: Schewe, KD., Thalheim, B. (eds) Semantics in Data and Knowledge Bases. SDKB 2011. Lecture Notes in Computer Science, vol 7693. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36008-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36008-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36007-7

  • Online ISBN: 978-3-642-36008-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation