Abstract
Distributed integrity constraints are costly to check; they may also conflict with site autonomy for multidatabases. It has been shown that simple distributed linear inequality constraints can be broken up into independent local constraints that can be dynamically adjusted. Earlier, we have given a framework for generalizing this approach and shown that more complex constraints can be handled on its basis. In this paper, we focus on dynamic adjustment of the local constraints. Special care is needed for constraints that are more complex than linear inequalities since simultaneous requests for constraint adjustment can lead to inconsistency. We have explored various issues including the problem of simultaneity, and have tested our solutions using an implementation. Our experimental results show that simultaneity is important, that our solutions are effective, and the overall strategy of localization is successful.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. Barbará and H. Garcia-Molina. The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. In Proc. EDBT’92., pages 373–388, 1992.
P. A. Bernstein and B. T. Blaustein. A Simplification Algorithm for Integrity Assertions and Concrete Views. In Proc. COMPSAC-81, pages 90–99, 1981.
A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. In Proc. SIGMOD’93, pages 49–58, 1993.
L. Henschen, W. McCune, and S. Naqvi. Compiling Constraint Checking Programs from First-Order Formulas. In H. Gallaire, J. Minker, and J. Nicolas, editors, Advances in Database Theory, volume 2, pages 145–169. Plenum Press, 1984.
S. Koenig and R. Paige. A Transformational Framework for the Automatic Control of Derived Data. In Proc. VLDB’81, pages 306–318, 1981.
S. Mazumdar. Optimizing Distributed Integrity Constraints. In Proc. DASFAA-93, pages 327–334, 1993.
S. Mazumdar and G. Yuan. Localizing A Class of Distributed Constraints: A Geometric Approach. Journal of Computing and Information. To Appear.
S. Mazumdar and G. Yuan. Localizing Global Constraints: A Geometric Approach. In Proc. ICCI’98, 1998.
X. Qian. Distribution Design of Integrity Constraints. In L. Kerschberg, editor, Proc. Expert Database Systems, pages 205–226. Benjamin Cummings, 1989.
X. Qian and D. Smith. Constraint Reformulation for Efficient Validation. In Proc. VLDB’87, pages 417–425, 1987.
T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. ACM TODS, 12(3):322–368, September 1989.
E. Simon and P. Valduriez. Integrity Control in Distributed Database Systems. In Proc. Hawaii Intl. Conf, on System Sciences, pages 622–632, 1986.
D. Stemple, S. Mazumdar, and T. Sheard. On the Modes and Meaning of Feedback to Transaction Designers. In Proc. SIGMOD’87, pages 374–386, 1987.
D. Stemple, E. Simon, S. Mazumdar, and M. Jarke. Assuring Database Integrity. Journal of Database Administration, 1(1):12–26, Summer 1990.
Z. Yuan. Dynamic Localization of Global constraints in Distributed Databases. Master’s thesis, New Mexico Institute of Mining and Technology, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pietrzyk, M., Mazumdar, S., Cline, R. (1999). Dynamic Adjustment of Localized Constraints. In: Bench-Capon, T.J., Soda, G., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1999. Lecture Notes in Computer Science, vol 1677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48309-8_74
Download citation
DOI: https://doi.org/10.1007/3-540-48309-8_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66448-2
Online ISBN: 978-3-540-48309-0
eBook Packages: Springer Book Archive