article

Free access

On the correct translation of update operations on relational views

Editor: Robert W. Tayler Authors:

Umeshwar Dayal,

Philip A. BernsteinAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 7, Issue 3

Pages 381 - 416

https://doi.org/10.1145/319732.319740

Published: 01 September 1982 Publication History

Abstract

Most relational database systems provide a facility for supporting user views. Permitting this level of abstraction has the danger, however, that update requests issued by a user within the context of his view may not translate correctly into equivalent updates on the underlying database. The purpose of this paper is to formalize the notion of update translation and derive conditions under which translation procedures will produce correct translations of view updates.

References

[1]

TSICHRITZIS, D., AND KLUG, A.C. ANSI/X3/SPARC DBMS Framework. Report of the study group on data base management systems, AFIPS Press, Arlington, Va., 1977.

[2]

ARMSTRONG, W.W. Dependency structures of database relationships. Information Processing 74, North-Holland, Amsterdam, 1974, pp. 580-583.

[3]

BEERI, C., AND BERNSTEIN, P.A. Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst. 4, 1 (March 1979), 30-59.

Digital Library

[4]

BEERI, C., BERNSTEIN, P.A., AND GOODMAN, N. A sophisticate's introduction to database normalization theory. In Proc. 4th Int. Conf. on Very Large Databases (Berlin, West Germany, Sept. 1978), 113-124.

[5]

BANCmHON, F., AND SPYRATOS, N. Update semantics of relational views. ACM Trans. Database Syst. 6, 4 (Dec. 1981), 557-575.

Digital Library

[6]

CARLSON, C.R., AND ARORA, A.K. The updatability of relational views based on functional dependencies. In Proc. IEEE COMPSAC, IEEE, New York, 1979, pp. 415-420.

[7]

CHAMBERLIN, D.D., GRAY, J.N., AND TRAIGER, I.L. Views, authorization, and locking in a relational database system. In Proc. AFIPS Nat. Computer Conf., Vol. 44, AFIPS Press, Arlington, Va., 1975, pp. 425-430.

[8]

CHAMBERLIN, D.D., ASTRAHAN, M.M., ESWARAN, K.P., GRIFFITHS, P.P., LORIE, R.A., MEHL, J.W., REISNER, P., AND WADS, B.W. SEQUEL 2: A unified approach to data definition, manipulation, and control. IBM J. Res. Dev. (Nov. 1976), 560-575.

[9]

CLEMONS, E.K. An external schema facility to support database update. In Databases, Academic Press, New York, 1978.

[10]

CODD, E.F. Relational completeness of database sublanguages. In Database Systems, Courant Computer Science Symposia 6, R. Rustin, Ed., Prentice-Hall, Englewood-Cliffs, N.J., 1972, pp. 64-98.

[11]

CODD, E.F. Further normalization of the database relational model. In Database Systems, Courant Computer Science Symposia 6, R. Rustin, Ed., Prentice-HaU, Englewood-Cliffs, N.J., 1972, pp. 33-64.

[12]

CODD, E.F. Recent investigations in a relational database system. Information Processing 74, North-Holland, Amsterdam, 1974, pp. 1017-1021.

[13]

CODD, E.F. Understanding relations {Installment #7). FDT Bull. ACM-SIGMOD 7, 3-4 (1975), 23-28.

[14]

CODD, E.F. Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (Dec. 1979}, 397-434.

Digital Library

[15]

DATE, C.J. An Introduction to Database Systems, 3rd ed., Addison-Wesley, Reading, Mass., 1981.

Digital Library

[16]

DAYAL, U. Schema-mapping problems in database systems. Ph.D. dissertation, and Tech. Rep. TR-11-79, Center for Research in Computing Technology, Harvard Univ., Cambridge, Mass., Aug. 1979.

[17]

DAYAL, U., AND BERNSTEIN, P.A. On the updatability of relational views. In Proc. 4th Int. Conf. on Very Large Databases (Berlin, West Germany, Sept. 1978), 368-378.

[18]

DAYAL, U., AND BERNSTEIN, P.A. On the updatability of network views--Extending relational views theory to the Network Model. Inf. Syst. 7, 1 (1982}.

[19]

DROOBY, N. An implementation of the theory of view mappings. M.A. thesis, Univ. of Texas, Austin, May 1981.

[20]

ESWARAN, K.P., AND CHAMBERLIN, D.D. Functional specifications of a subsystem for database integrity. In Proc. 1st Int. Conf. on Very Large Databases (Framingham, Mass.), 1975, pp. 48-68.

[21]

ENDERTON, H.B. A Mathematical Introduction to Logic. Academic Press, New York, 1972.

[22]

FAGIN, R. A normal form for relational databases that is based on domains and keys. ACM Trans. Database Syst. 6, 3 (Sept. 198I), 387-415.

Digital Library

[23]

FURTADO, A.L., AND SEVCIK, K.C. Permitting updates through views of data bases. Inf. Syst. 4 (1979), 269-283.

[24]

GUTVAG, J. Abstract data types and the development of data structures. Commun. ACM 20, 6 (June 1977), 396-404.

Digital Library

[25]

HAMMER, M.M., AND MCLEOD, D.J. Semantic integrity in a relational database system. In Proc. 1st Int. Conf. on Very Large Databases (Framingham, Mass.), 1975, pp. 25-47.

[26]

HELD, G.D., STONRBRAKER, M.R., AND WONG, E. INGRES--A relational database system. In Proc. AFIPS Nat. Computer Conf., Vol. 44, AFIPS Press, Arlington, Va., 1975, pp. 409-416.

[27]

KLUQ, A.C. Theory of database mappings. Ph.D. Dissertation, Tech. Rep. CSRG-98, Dep. of Computer Science, Univ. of Toronto, Dec. 1978.

Digital Library

[28]

LING, T-W. Improving database integrity based on functional dependencies. Ph.D. Dissertation, Dep. of Computer Science, Univ. of Waterloo, Waterloo, Ont., Canada, July 1978.

Digital Library

[29]

OSMAN, I.M. Updating defined relations. In Proc. Nat. Computer Conf. Vol. 48, AFIPS Press, Arlington, Va., June 1979, pp. 733-740.

[30]

PAOLINI, P., AND PELAGATTI, G. Formal definition of mappings in a database. In Proc. A CM- SIGMOD Int. Conf. on Management of Data (Toronto, Aug.), 1977, pp. 40-46.

Digital Library

[31]

PELAGATTI, G., PAOLINI, P:, AND BRACCHI, G. Mapping external views to a common data model. Inf. Syst. 3, 2 (1978), 141-151.

[32]

ROWE, L., AND SCHOENS, K.A. Data abstractions, views, and updates in RIGEL. In Proc. ACM- SIGMOD Int. Conf. on Management of Data (Boston, May-June), 1979, pp. 71-81.

Digital Library

[33]

SEVCIK, K.C., AND FURTADO, A.L. Complete and compatible sets of update operations. In Int. Conf. on Management of Data (ICMOD), (Milan, italy, June), 1978.

[34]

STONEBRAKER, M.R. Implementation of integrity constraints and views by query modification. In Proc. ACM-SIGMOD Int. Conf. on Management of Data (San Jose, Calif.), 1975, pp. 65-78.

Digital Library

[35]

TODD, S. Automatic constraint maintenance and updating defined relations. Information Processing 77, North-Holland, Amsterdam, 1977, pp. 145-148.

Cited By

Nguyen Trong BTsushima KHu Z(2024)S_YNTHBX: An Example-guided Synthesizer for Bidirectional Programs on RelationsJournal of Information Processing10.2197/ipsjjip.32.47132(471-486)Online publication date: 2024
https://doi.org/10.2197/ipsjjip.32.471
Makhija NGatterbauer W(2024)Minimally Factorizing the Provenance of Self-join Free Conjunctive QueriesProceedings of the ACM on Management of Data10.1145/36516052:2(1-24)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3651605
Wandji RCalvanese D(2024)Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping RecoveryRules and Reasoning10.1007/978-3-031-72407-7_6(59-74)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-72407-7_6
Show More Cited By

Index Terms

On the correct translation of update operations on relational views

Recommendations

Update semantics of relational views
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 ...
Translation of Object-Oriented Queries to Relational Queries
ICDE '95: Proceedings of the Eleventh International Conference on Data Engineering

Proposes a formal approach for translating OODB queries to equivalent relational queries. The translation is accomplished through the use of relational predicate graphs and OODB predicate graphs. One advantage of using such a graph-based approach is ...
Correct View Update Translations via Containment

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems

ACM Transactions on Database Systems Volume 7, Issue 3

Sept. 1982

186 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/319732

Editor:
Robert W. Tayler
IBM Research Lab, San Jose, CA

Issue’s Table of Contents

Copyright © 1982 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1982

Published in TODS Volume 7, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

336
Total Citations
View Citations
1,121
Total Downloads

Downloads (Last 12 months)94
Downloads (Last 6 weeks)13

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Nguyen Trong BTsushima KHu Z(2024)S_YNTHBX: An Example-guided Synthesizer for Bidirectional Programs on RelationsJournal of Information Processing10.2197/ipsjjip.32.47132(471-486)Online publication date: 2024
https://doi.org/10.2197/ipsjjip.32.471
Makhija NGatterbauer W(2024)Minimally Factorizing the Provenance of Self-join Free Conjunctive QueriesProceedings of the ACM on Management of Data10.1145/36516052:2(1-24)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3651605
Wandji RCalvanese D(2024)Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping RecoveryRules and Reasoning10.1007/978-3-031-72407-7_6(59-74)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-72407-7_6
Makhija NGatterbauer W(2023)A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsProceedings of the ACM on Management of Data10.1145/36267151:4(1-27)Online publication date: 12-Dec-2023
https://dl.acm.org/doi/10.1145/3626715
Medeiros CTompa F(2023)Understanding the implications of view update policiesAlgorithmica10.1007/BF018404511:1-4(337-360)Online publication date: 22-Mar-2023
https://dl.acm.org/doi/10.1007/BF01840451
Thomassen JYu W(2023)Eventually-Consistent Replicated Relations and Updatable ViewsNew Trends in Database and Information Systems10.1007/978-3-031-42941-5_17(187-196)Online publication date: 31-Aug-2023
https://doi.org/10.1007/978-3-031-42941-5_17
Beurer-Kellner LVon Pilgrim JTsigkanos CKehrer T(2022)A Transformational Approach to Managing Data Model Evolution of Web ServicesIEEE Transactions on Services Computing10.1109/TSC.2022.3144613(1-1)Online publication date: 2022
https://doi.org/10.1109/TSC.2022.3144613
Qin BLi DZhou C(2022)The resilience of conjunctive queries with inequalitiesInformation Sciences: an International Journal10.1016/j.ins.2022.08.049613:C(982-1002)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.ins.2022.08.049
Williams JGordon A(2022)Where-provenance for bidirectional editing in spreadsheetsJournal of Computer Languages10.1016/j.cola.2022.10115573(101155)Online publication date: Dec-2022
https://doi.org/10.1016/j.cola.2022.101155
Asano YCao YHidaka SHu ZIshihara YKato HNakano KOnizuka MSasaki YShimizu TTakeichi MXiao CYoshikawa M(2022)Bidirectional Collaborative Frameworks for Decentralized Data ManagementSoftware Foundations for Data Interoperability10.1007/978-3-030-93849-9_2(13-51)Online publication date: 19-Jan-2022
https://doi.org/10.1007/978-3-030-93849-9_2
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents