skip to main content
article
Free Access

On the correct translation of update operations on relational views

Published:01 September 1982Publication History
Skip Abstract Section

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. 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.Google ScholarGoogle Scholar
  2. 2 ARMSTRONG, W.W. Dependency structures of database relationships. Information Processing 74, North-Holland, Amsterdam, 1974, pp. 580-583.Google ScholarGoogle Scholar
  3. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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.Google ScholarGoogle Scholar
  5. 5 BANCmHON, F., AND SPYRATOS, N. Update semantics of relational views. ACM Trans. Database Syst. 6, 4 (Dec. 1981), 557-575. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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.Google ScholarGoogle ScholarCross RefCross Ref
  7. 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.Google ScholarGoogle Scholar
  8. 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.Google ScholarGoogle Scholar
  9. 9 CLEMONS, E.K. An external schema facility to support database update. In Databases, Academic Press, New York, 1978.Google ScholarGoogle Scholar
  10. 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.Google ScholarGoogle Scholar
  11. 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.Google ScholarGoogle Scholar
  12. 12 CODD, E.F. Recent investigations in a relational database system. Information Processing 74, North-Holland, Amsterdam, 1974, pp. 1017-1021.Google ScholarGoogle Scholar
  13. 13 CODD, E.F. Understanding relations {Installment #7). FDT Bull. ACM-SIGMOD 7, 3-4 (1975), 23-28.Google ScholarGoogle Scholar
  14. 14 CODD, E.F. Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (Dec. 1979}, 397-434. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 DATE, C.J. An Introduction to Database Systems, 3rd ed., Addison-Wesley, Reading, Mass., 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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.Google ScholarGoogle Scholar
  17. 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.Google ScholarGoogle Scholar
  18. 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}.Google ScholarGoogle ScholarCross RefCross Ref
  19. 19 DROOBY, N. An implementation of the theory of view mappings. M.A. thesis, Univ. of Texas, Austin, May 1981.Google ScholarGoogle Scholar
  20. 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.Google ScholarGoogle Scholar
  21. 21 ENDERTON, H.B. A Mathematical Introduction to Logic. Academic Press, New York, 1972.Google ScholarGoogle Scholar
  22. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 23 FURTADO, A.L., AND SEVCIK, K.C. Permitting updates through views of data bases. Inf. Syst. 4 (1979), 269-283.Google ScholarGoogle ScholarCross RefCross Ref
  24. 24 GUTVAG, J. Abstract data types and the development of data structures. Commun. ACM 20, 6 (June 1977), 396-404. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. 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.Google ScholarGoogle Scholar
  26. 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.Google ScholarGoogle Scholar
  27. 27 KLUQ, A.C. Theory of database mappings. Ph.D. Dissertation, Tech. Rep. CSRG-98, Dep. of Computer Science, Univ. of Toronto, Dec. 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. 29 OSMAN, I.M. Updating defined relations. In Proc. Nat. Computer Conf. Vol. 48, AFIPS Press, Arlington, Va., June 1979, pp. 733-740.Google ScholarGoogle ScholarCross RefCross Ref
  30. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. 31 PELAGATTI, G., PAOLINI, P:, AND BRACCHI, G. Mapping external views to a common data model. Inf. Syst. 3, 2 (1978), 141-151.Google ScholarGoogle ScholarCross RefCross Ref
  32. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. 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.Google ScholarGoogle Scholar
  34. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. 35 TODD, S. Automatic constraint maintenance and updating defined relations. Information Processing 77, North-Holland, Amsterdam, 1977, pp. 145-148.Google ScholarGoogle Scholar

Index Terms

  1. On the correct translation of update operations on relational views

              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

              Full Access

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader