Update Semantics of Relational Views.

@article{DBLP:journals/tods/BancilhonS81,
  author    = {Fran\c{c}ois Bancilhon and
               Nicolas Spyratos},
  title     = {Update Semantics of Relational Views},
  journal   = {ACM Trans. Database Syst.},
  volume    = {6},
  number    = {4},
  year      = {1981},
  pages     = {557-575},
  ee        = {http://doi.acm.org/10.1145/319628.319634, db/journals/tods/BancilhonS81.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A database view is a portion of the data structured in a way suitable to a specific application. Updates on views must be translated into updates on the underlying database. This paper studies the translation process in the relational model.

The procedure is as follows: first, a "complete" set of updates is defined such that

1. together with every update the set contains a "return" update, that is, one that brings the view back to the original state;
2. given two updates in the set, their composition is also in the set.

To translate a complete set, we define a mapping called a "translator," that associates with each view update a unique database update called a "translation." The constraint on a translation is to take the database to a state mapping onto the updated view. The constraint on the translator is to be a morphism.

We propose a method for defining translators. Together with the user-defined view, we define a "complementary" view such that the database could be computed from the view and its complement. We show that a view can have many different complements and that the choice of a complement determines an update policy. Thus, we fix a view complement and we define the translation of a given view update in such a way that the complement remains invariant ("translation under constant complement"). The main result of the paper states that, given a complete set U of view updates, U has a translator if and only if U is translatable under constant complement.

Copyright © 1981 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Discussion

References

[1]

William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX

[2]

Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX

[3]

...

[4]

...

[5]

Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377 BibTeX

[6]

...

[7]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX

Referenced by

1. Serge Abiteboul, Bernd Amann, Sophie Cluet, Anat Eyal, Laurent Mignet, Tova Milo: Active Views for Electronic Commerce. VLDB 1999: 138-149
2. Dominique Laurent, Jens Lechtenbörger, Nicolas Spyratos, Gottfried Vossen: Complements for Data Warehouses. ICDE 1999: 490-499
3. Vânia Maria Ponte Vidal, Bernadette Farias Lóscio: Solving the Problem of Semantic Heterogeneity in Defining Mediator Update Translators. ER 1999: 293-308
4. Manos Theodorakis, Anastasia Analyti, Panos Constantopoulos, Nicolas Spyratos: Contextualization as an Abstraction Mechanism for Conceptual Modelling. ER 1999: 475-489
5. Elisa Bertino, Pierangela Samarati, Sushil Jajodia: An Extended Authorization Model for Relational Databases. IEEE Trans. Knowl. Data Eng. 9(1): 85-101(1997)
6. Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61
7. Johann A. Makowsky, Elena V. Ravve: Translation Schemes and the Fundamental Problem of Database Design. ER 1996: 5-26
8. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
9. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
10. Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995)
11. Vânia Maria Ponte Vidal, Marianne Winslett: A Rigorous Approach to Schema Restructuring. OOER 1995: 101-112
12. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
13. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
14. Alberto O. Mendelzon, Tova Milo, Emmanuel Waller: Object Migration. PODS 1994: 232-242
15. Frank Shou-Cheng Tseng, Arbee L. P. Chen, Wei-Pang Yang: Searching a Minimal Semantically-Equivalent Subset of a Set of Partial Values. VLDB J. 2(4): 489-512(1993)
16. Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993: 71-82
17. Paolo Atzeni, Riccardo Torlone: Updating Relational Databases Through Weak Instance Interfaces. ACM Trans. Database Syst. 17(4): 718-745(1992)
18. Jeffrey R. Horowitz, Alfonso F. Cardenas: Decomposing Heterogeneous Inter-Entity Relationship Updates. IEEE Trans. Knowl. Data Eng. 4(4): 360-370(1992)
19. Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz: Knowledgebase Transformations. PODS 1992: 246-260
20. Tok Wang Ling, Mong-Li Lee: A Theory for Entity-Relationship View Updates. ER 1992: 262-279
21. Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260
22. Nick Roussopoulos: An Incremental Access Method for ViewCache: Concept, Algorithms, and Cost Analysis. ACM Trans. Database Syst. 16(3): 535-563(1991)
23. Ken-Chih Liu, Rajshekhar Sunderraman: A Generalized Relational Model for Indefinite and Maybe Information. IEEE Trans. Knowl. Data Eng. 3(1): 65-77(1991)
24. Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49
25. Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257
26. Stephen J. Hegner: Pairwise-Definable Subdirect Decompositions of General Database Schemata. MFDBS 1991: 243-257
27. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
28. Rom Langerak: View Updates in Relational Databases with an Independent Scheme. ACM Trans. Database Syst. 15(1): 40-66(1990)
29. Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
30. Stephen J. Hegner: Foundations of Canonical Update Support for Closed Database Views. ICDT 1990: 422-436
31. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases: A Generalization. ICDE 1990: 495-502
32. Sandra Heiler, Stanley B. Zdonik: Object Views: Extending the Vision. ICDE 1990: 86-93
33. David W. Embley: NFQL: The Natural Forms Query Language. ACM Trans. Database Syst. 14(2): 168-211(1989)
34. I-Min A. Chen, Dennis McLeod: Derived Data Update in Semantic Databases. VLDB 1989: 225-235
35. Paolo Atzeni, Riccardo Torlone: Updating Databases in the Weak Instance Model. PODS 1989: 101-109
36. Jürgen Diet, Frederick H. Lochovsky: Interactive Specification and Integration of User Views Using Forms. ER 1989: 171-185
37. Marianne Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Trans. Database Syst. 13(2): 167-196(1988)
38. Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22(1988)
39. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
40. Volkert Brosda, Gottfried Vossen: Update and Retrieval in a Relational Database Through a Universal Schema Interface. ACM Trans. Database Syst. 13(4): 449-485(1988)
41. Georg Gottlob, Roberto Zicari: Closed World Databases Opened Through Null Values. VLDB 1988: 50-61
42. Stephen J. Hegner: Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. PODS 1988: 174-183
43. Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352
44. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
45. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases. ICDE 1988: 250-257
46. Amit P. Sheth, James A. Larson, Evan Watkins: TAILOR, A Tool for Updating Views. EDBT 1988: 190-213
47. Arthur M. Keller: Comments on Bancilhon and Spyratos' ``Update Semantics and Relational Views''. ACM Trans. Database Syst. 12(3): 521-523(1987)
48. Nick Roussopoulos, Hyunchul Kang: Preliminary Design of ADMS±: A Workstation-Mainframe Integrated Architecture for Database Management Systems. VLDB 1986: 355-364
49. Arthur M. Keller: Choosing a View Update Translator by Dialog at View Definition Time. VLDB 1986: 467-474
50. Tomasz Imielinski: Query Processing in Deductive Databases with Incomplete Information. SIGMOD Conference 1986: 268-280
51. Jirí Zlatuska: Hit Data Model Data Bases from the Functional Point of View. VLDB 1985: 470-477
52. Claudia Bauzer Medeiros, Frank Wm. Tompa: Understanding the Implications of View Update Policies. VLDB 1985: 316-323
53. Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12
54. Arthur M. Keller: Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. PODS 1985: 154-163
55. Scott M. Staley, David C. Anderson: Executable E-R Specifications for Database Schema Design. ER 1985: 160-169
56. Yoshifumi Masunaga: A Relational Database View Update Translation Mechanism. VLDB 1984: 309-320
57. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
58. Arthur M. Keller, Jeffrey D. Ullman: On Complementary and Independent Mappings on Databases. SIGMOD Conference 1984: 143-148
59. Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220
60. Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228
61. Tomasz Imielinski, Nicolas Spyratos: On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption. PODS 1984: 258-265
62. Stephen J. Hegner: Canonical View Update Support through Boolean Algebras of Components. PODS 1984: 163-173
63. Tomasz Imielinski, Witold Lipski Jr.: Inverting Relational Expressions - A Uniform and Natural Technique for Various Database Problems. PODS 1983: 305-311
64. Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365
65. Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. PODS 1983: 317-331
66. Serge Abiteboul, M. Spyratos, Nicolas Spyratos: Information Theoretic Aspects of Data Bases. PODS 1983: 312-316
67. Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982)
68. Nicolas Spyratos: An Operational Approach to Data Bases. PODS 1982: 212-220
69. François Bancilhon, Nicolas Spyratos: Independent Components of Databases. VLDB 1981: 398-408
70. Michel E. Adiba: Derived Relations: A Unified Mechanism for Views, Snapshots, and Distributed Data. VLDB 1981: 293-305
71. Nicolas Spyratos: Translation Structures of Relational Views. VLDB 1980: 411-416