Properties and update semantics of consistent views

ACM Transactions on Database Systems (TODS)

Volumn 13, Issue 4, 1988, Pages 486-524

  Gottlob, Georg ^a,b   Paolini, Paolo ^c,d   Zicari, Roberto ^c,e  

^a CNR   (Italy)

^b STANFORD UNIVERSITY   (United States)

^c POLITECNICO DI MILANO   (Italy)

^d ARGES   (Italy)

^e UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Concurrency; consistency; data abstractions; transactions; update semantics; view definition

Indexed keywords

CONCURRENCY; CONSISTENT VIEWS; DATA ABSTRACTIONS; UPDATE SEMANTICS; VIEW UPDATES;

DATABASE SYSTEMS;

EID: 0024140322     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/49346.50068     Document Type: Article

References (46)

1. Abiteboul, S., and Vianu, V. Transactions and integrity constraints. In Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (1985). ACM, New York, 1985.
2. Abiteboul, S., and Vianu, V. Equivalence and optimization of relational transactions. To appear in J. ACM.
3. Arora, A. K., And Carlson, C. R. The Information Preserving Properties of Relational Database Transformations. In Proceedings VLDB 1978.
4. Astrahan, M. M., et al. System R: Relational approach to database management. ACM Trans. Database Syst. 1, 2 (June 1976).
5. Bancilhon, F., and Spyratos, N. Independent Components of Databases. In Proceedings of 7th VLDB Conference (Sept. 1981).
6. Bancilhon, F., and Spyratos, N. Update Semantics of Relational Views. ACM Trans. Database Syst. 6, 4 (Dec. 1981).
7. Bernstein, P. A., Goodman, N., and Lai, M-Y. On analysing concurrency control algorithms when user and system operations differ, IEEE-TSE SE 9, 3 (1983).
8. Casanova, M. A., and Bernstein, P. A. The logic of a relational database manipulation language. In Proceedings of 5th ACM Symposium on Principles of Programming Languages, 1979.
9. Casanova, M. A., and Bernstein, P. A. A formal system for reasoning about programs accessing a relational database. ACM Trans. Program. Lang. Syst. 2, 3 (1980).
10. Chan, E., and Mendelson, A. Independent and separable database schemes. In Proceedings of ACM-PODS (March 1983).
11. Claybrook, B. G., Claybrook, A. M., and Williams, J. Defining database views as data abstractions, IEEE-TSE SE-11, 1 (Jan. 1985).
12. Cosmadakis, S. S., and Papadimitriou, C. H. Updates of relational views. J. ACM 31, 4 (Oct. 1984).
13. Date, C. J. A Guide to DB2. Addison-Wesley, Reading, Mass., 1984.
14. Dayal, U., and Bernstein, P. A. On the updatability of relational views. In Proceedings of 4th VLDB (West Berlin, 1978).
15. Dayal, U., and Bernstein, P. A. On the correct translation of update operations on relational views. ACM Trans. Database Syst. 8, 3 (Sept. 1982).
16. Dayal, U., and Bernstein, P. A. On the updatability of network views—extending relational view theory to the network model. Inf. Syst. 7, 1 (1982).
17. Eswaran, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L. The notions of consistency and predicate locks in a relational database system. Commun. ACM 8,11 (1976).
18. Fagin, R., Ullman, J. D., and Vardi, M. Y. On the semantics of updates in databases. In Proceedings of 2nd ACM SIGACT-SIGMOD Symposium (1983). ACM, New York, 1983.
19. Furtado, A., and Casanova, M. Updating relational views. In Query Processing in Database Systems, Kim, Rainer, and Batory, Eds. Springer-Verlag, Berlin, Heidelberg, 1985.
20. Furtado, A., and Kerschberg, L. An algebra of quotient relations. In ACM SIGMOD Conference 1977. ACM, New York, 1977.
21. Furtado, A., Sevcik, K. C., and Dos Santos, C. S. Permitting updates through views of databases. Inf. Syst. 4, 4, 1979.
22. Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In Data Structuring (Current Trends in Programming Methodology, vol. 4), R. Yeh, Ed. Prentice-Hall, Englewood Cliffs, N.J., 1978.
23. Gottlob, G., Paolini, P., and Zicari, R. Properties and update semantics of consistent views. Report No. UCB/CSD 86/258, Computer Science Division, EECS, University of California, Berkeley, September 1985.
24. Harel, D. First Order Dynamic Logic. Lecture Notes in Computer Science, Springer-Verlag, New York, 1979.
25. Hegner, S. J. Algebraic aspects of relational database decomposition. PODS 1983.
26. Hegner, S. J. Canonical view update support through Boolean algebras of components. PODS 1984.
27. Keller, A. M. Algorithms for translating view updates to database updates for views involving selections, projections and joins. In Proceedings of ACM SIGACT-SIGMOD Symposium (March 1985). ACM, New York, 1985.
28. Keller, A. M. Updating relational databases through views. Ph.D. dissertation, Stanford University, Computer Science Dept., 1985.
29. Keller, A. M. On Bancilhon and Spyratos’ “Update semantics and relational views,” ACM Trans. Database Syst. 12, 3 (Sept. 1987), 521–523.
30. Keller, A. M., and Ullman, J. D. On complementary and independent mappings on databases. In Proceedings of ACM SIGMOD (Boston, June 1984). ACM, New York, 1984.
31. Lockemann, P. C., et al. Data abstractions for database systems. ACM Trans Database Syst. 4 (March 1979).
32. Masunaga, Y. A relational database view update translation mechanism. In Proceedings of Tenth VLDB Conference (Singapore, Aug. 1984). 309–320.
33. Medeiros, C. M. B. A validation tool for designing database views that permit updates. Ph.D. dissertation, University of Waterloo, November 1985. Also Technical Report CS-85–44, University of Waterloo, Data Structuring Group, Nov. 1985.
34. Medeiros, C. M. B., and Tompa, F. W. Understanding the implications of view update policies. In Proceedings of VLDB 1985 (Stockholm, 1985).
35. Paolini, P., and Pelagatti, G. Formal definition of mappings in a database. In Proceedings of ACM SIGMOD (Toronto, 1977). ACM, New York, 1977.
36. Paolini, P. Verification of views and applications programs. Workshop on Formal Bases for Databases (Toulouse, France, Dec. 1979).
37. Paolini, P., and Zicari, R. Properties of views and their implementation. In Advances in Database Theory, vol. 2, J. Minker, et al. Eds., Plenum Press, New York, 1984.
38. Papadimitriou, C. Database Concurrency Control. Computer Science Press, Rockville, Md., 1986.
39. Rowe, L., and Schoens, K. A. Data abstractions, views and updates in RIGEL. In Proceedings of ACM SIGMOD (Boston, Mass., May 1979). ACM, New York, 1979.
40. Siklossy, L. Updating views: a constructive approach. In Proceedings of Workshop on Logical Bases for Databases (Toulouse, Dec. 1982).
41. Spyratos, N. An operational approach to data bases. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS) (Los Angeles, Mar. 1982). ACM, New York, 1982.
42. Stonebraker, M., et al. The design and implementation of INGRES, ACM Trans. Database Syst. 1, 3 (Sept. 1976).
43. Tucherman, L., Furtado, L., and Casanova, M. A. A pragmatic approach to structured database design. In 9th VLDB Proceedings (Florence, Italy, 1983).
44. Vianu, V., and Vossen, G. Conceptual level concurrency control of relational update transactions. In 2nd International Conference on Database Theory (Bruges, Aug. 31-Sept. 2, 1988).
45. Weber, H. A software engineering view of database systems. In Proceedings of VLDB (Sept. 1978).
46. Zloof, M. M. Query-by-example: A database language. IBM Syst. J. 16, 4 (1977).