Abstract
Constraint analysis is a design tool for object-oriented database environments that makes use of knowledge about constraints to support the design of user views and the specification of propagation actions. The constraint analysis process is supported by the formal, uniform representation of schema constraints. The formal representation supports the ability to analyze and explain constraints; the uniform representation allows both inherent and explicit constraints to be analyzed in the same manner. Using constraint analysis, the effects of constraints can be made explicit at design time to support the flexible specification of database operations that maintain object integrity. This paper presents the constraint representation that supports the analysis and explanation process.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., and Hull, R., ”Update Propagation in the IFO Database Model,” Proc. Int. Conf. on Foundations of Data Org., Kyoto, May 1985, pp. 243–251.
Bloom, T. and Zdonik, S. B., ”Issues in the Design of Object Oriented Database Programming Languages,” Proc. Object-Oriented Programming Systems, Languages, and Applications Conf., Orlando, Oct. 1987, pp. 441–451.
Brodie, M. L. and Ridjanovic, D., A Strict Database Transaction Design Methodology, Computer Corp. of America, Tech. Rep., Apr. 1984.
Dittrich, K. R., and Dayal, U. (eds.) Proc. of the 1986 Int. Workshop on Object-Oriented Database Systems, Pacific Grove, California, Sept. 1985.
Du, H, C. and Ghanta, S., ”A Framework for Efficient IC/VLSI CAD Databases,” Proc. Third Int. Conf. on Data Eng., Los Angeles, Feb. 1986.
Greenspan, S. J., Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition, Ph.D. Diss., Univ. of Toronto, Mar. 1984, 124 pp.
Hecht, M. and Kerschberg, L., ”Update Semantics for the Functional Data Model,” DB Research Rep. No. 4, Bell Laboratories, Jan. 1981.
Mark, L., and Roussopoulos, N., ”The New Database Architecture Framework — A Progress Report”, Information Systems: Theoretical and Formal Aspects, Sernadas, A., Bubenko, J., Olive, A. (eds.), NY, 1985, pp. 3–18.
Mark, L., and Roussopoulos, N., ”Metadata Management,” IEEE Computer, vol. 19, no. 12, Dec. 1986, pp. 26–36.
Morgenstern, M., ”Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement,” VLDB, 1984, pp. 111–125.
Nicolas, J. M., and Yazdanian, K., ”Integrity Checking in Deductive Databases”, Logic and Databases, Gallaire, H., and Minker, J. (eds.), Plenum Press, New York, 1978, pp. 325–344.
Shepherd, A., and Kerschberg, L., ”Constraint Management in Expert Database Systems,” Proc. First Int. Conf. on Expert Database Sys., Kiawah, Oct. 1984, pp. 309–332.
Urban, S. D., Constraint Analysis for the Design of Semantic Database Update Operations, Ph.D. Diss., Univ. of Southwestern La., Sept. 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urban, S.D., Delcambre, L.M.L. (1988). Constraint analysis: A tool for explaining the semantics of complex objects. In: Dittrich, K.R. (eds) Advances in Object-Oriented Database Systems. OODBS 1988. Lecture Notes in Computer Science, vol 334. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50345-5_12
Download citation
DOI: https://doi.org/10.1007/3-540-50345-5_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50345-3
Online ISBN: 978-3-540-45981-1
eBook Packages: Springer Book Archive