Advertisement

Constraint analysis: A tool for explaining the semantics of complex objects

  • Susan Darling Urban
  • Lois M. L. Delcambre
Formalization And Indusion Of Rules
Part of the Lecture Notes in Computer Science book series (LNCS, volume 334)

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.

Keywords

Related Clause Horn Clause Constraint Graph Constraint Analysis Faculty Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abit85]
    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.Google Scholar
  2. [Bloo87]
    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.Google Scholar
  3. [Brod84]
    Brodie, M. L. and Ridjanovic, D., A Strict Database Transaction Design Methodology, Computer Corp. of America, Tech. Rep., Apr. 1984.Google Scholar
  4. [Ditt86]
    Dittrich, K. R., and Dayal, U. (eds.) Proc. of the 1986 Int. Workshop on Object-Oriented Database Systems, Pacific Grove, California, Sept. 1985.Google Scholar
  5. [Du87]
    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.Google Scholar
  6. [Gree84]
    Greenspan, S. J., Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition, Ph.D. Diss., Univ. of Toronto, Mar. 1984, 124 pp.Google Scholar
  7. [Hech81]
    Hecht, M. and Kerschberg, L., ”Update Semantics for the Functional Data Model,” DB Research Rep. No. 4, Bell Laboratories, Jan. 1981.Google Scholar
  8. [Mark85]
    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.Google Scholar
  9. [Mark86]
    Mark, L., and Roussopoulos, N., ”Metadata Management,” IEEE Computer, vol. 19, no. 12, Dec. 1986, pp. 26–36.Google Scholar
  10. [Morg84]
    Morgenstern, M., ”Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement,” VLDB, 1984, pp. 111–125.Google Scholar
  11. [Nico78]
    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.Google Scholar
  12. [Shep84]
    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.Google Scholar
  13. [Urba87]
    Urban, S. D., Constraint Analysis for the Design of Semantic Database Update Operations, Ph.D. Diss., Univ. of Southwestern La., Sept. 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Susan Darling Urban
    • 1
  • Lois M. L. Delcambre
    • 2
  1. 1.Electrical and Computer Engineering Dept.Univ. of MiamiCoral Gables
  2. 2.The Center For Advanced Computer StudiesUniv. of SW LouisianaLafayette

Personalised recommendations