Abstract
We consider concurrency control problems that arise in the presence of materialized views. Consider a database system supporting materialized views to speed up queries. For a range of important applications (e.g. banking, billing, network management), transactions that access materialized views would like to get some consistency guarantees—if a transaction reads a base relation after an update, and then reads a materialized view derived from the base relation, it expects to see the effect of the base update on the materialized view. If a transaction reads two views, it expects that the two views reflect a single consistent database state.
Such guarantees are not easy to obtain, as materialized views become inconsistent upon updates to base relations. Immediate maintenance reestablishes consistency within the transaction that updates the base relation, but this consistency comes at the cost of delaying update transactions. Deferred maintenance has been proposed to avoid penalizing update transactions by shifting maintenance into a different transaction (for example, into the transaction that reads the view). However, doing so causes a materialized view to become temporarily inconsistent with its definition. Consequently, transactions that read multiple materialized views, or that read a materialized view and also read and/or write base relations may execute in a non-serializable manner even when they are running under a strict two phase locking (2PL) protocol.
We formalize the concurrency control problem in systems supporting materialized views. We develop a serializability theory based upon conflicts and serialization graphs in the presence of materialized views. Concurrency control algorithms based on this theory are being developed in the SWORD/Ode database system.
The work of Akira Kawaguchi and Kenneth A. Ross was performed while visiting AT&T Bell Laboratories, and was also partially supported by a grant from the AT&T Foundation, by a David and Lucile Packard Foundation Fellowship in Science and Engineering, by a Sloan Foundation Fellowship, and by an NSF Young Investigator Award.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
J. A. Blakeley, P. Larson, and F. W. Tompa. Efficiently Updating Materialized Views. In C. Zaniolo, editor, Proceedings of ACM SIGMOD 1986 International Conference, pages 61–71, Washington, D.C., May 1986.
M. Carey and D. Schneider, editors. Proceedings of ACM SIGMOD 1995 International Conference, San Jose, CA, May 1995.
S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In G. M. Lohman, A. Sernadas, and R. Camps, editors, Proceedings of the Seventeenth VLDB Conference, pages 108–119, Barcelona, Spain, September 1991.
L. Colby, T. Griffin, L. Libkin, I. S. Mumick, and H. Trickey. Algorithms for deferred view maintenance. In H. V. Jagadish and I. S. Mumick, editors, Proceedings of ACM SIGMOD 1996 International Conference, Montreal, Canada, June 1996.
L. Colby, A. Kawaguchi, D. Lieuwen, I. S. Mumick, and K. A. Ross. Implementing materialized views. Unpublished Manuscript, 1996.
T. Griffin and L. Libkin. Incremental maintenance of views with duplicates. In Carey and Schneider [3], pages 328–339.
A. Gupta, H. V. Jagadish, and I. S. Mumick. Data integration using self-maintainable views. In Proceedings of the Fifth EDBT Conference, Avignon, France, March 1996.
A. Gupta and I. S. Mumick. Maintenance of Materialized Views: Problems, Techniques, and Applications. IEEE Data Engineering Bulletin, Special Issue on Materialized Views and Data Warehousing, 18(2):3–19, June 1995.
A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In Proceedings of ACM SIGMOD 1993 International Conference, Washington, DC, May 1993.
E. N. Hanson. A performance analysis of view materialization strategies. In U. Dayal and I. Traiger, editors, Proceedings of ACM SIGMOD 1987 International Conference, pages 440–453, San Francisco, CA, May 1987.
H. V. Jagadish, I. S. Mumick, and A. Silberschatz. View maintenance issues in the chronicle data model. In Proceedings of the Fourteenth PODS Symposium, pages 113–124, San Jose, CA, May 1995.
A. Kawaguchi, D. Lieuwen, I. S. Mumick, D. Quass, and K. A. Ross. Concurrency control theory for deferred materialized views. Technical Memorandum, AT&T and Bell Laboratories, 1996.
A. Kawaguchi, D. Lieuwen, I. S. Mumick, D. Quass, and K. A. Ross. Implementing concurrency control for deferred view maintenance. Unpublished manuscript, 1996.
I. S. Mumick. The Rejuvenation of Materialized Views. In Proceedings of the Sixth International Conference on Information Systems and Management of Data (CISMOD), Bombay, India, November 1995.
X. Qian and G. Wiederhold. Incremental recomputation of active relational expressions. IEEE Transactions on Knowledge and Data Engineering, 3(3):337–341, 1991.
N. Roussopoulos and H. Kang. Principles and techniques in the design of ADMS±. IEEE Computer, pages 19–25, December 1986.
A. Segev and W. Fang. Currency-based updates to distributed materialized views. In Proceedings of the Sixth IEEE International Conference on Data Engineering, pages 512–520, Los Angeles, CA, February 1990.
A. Segev and J. Park. Updating distributed materialized views. IEEE Transactions on Knowledge and Data Engineering, 1(2):173–184, June 1989.
Y. Zhuge, H. Garcia-Molina, J. Hammer, and J. Widom. View maintenance in a warehousing environment. In Carey and Schneider [3], pages 316–327.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kawaguchi, A., Lieuwen, D., Mumick, I.S., Quass, D., Ross, K.A. (1996). Concurrency control theory for deferred materialized views. In: Afrati, F., Kolaitis, P. (eds) Database Theory — ICDT '97. ICDT 1997. Lecture Notes in Computer Science, vol 1186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62222-5_53
Download citation
DOI: https://doi.org/10.1007/3-540-62222-5_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62222-2
Online ISBN: 978-3-540-49682-3
eBook Packages: Springer Book Archive