A theory of specialization constraints for complex objects

  • G. E. Weddell
  • N. Coburn
Dependencies
Part of the Lecture Notes in Computer Science book series (LNCS, volume 470)

Abstract

Most semantic data models and object-oriented data models allow entity and object classes to be organized according to a generalization taxonomy. In addition, range restrictions (or property typing) may be specified not only on properties associated with a given class, but also on properties inherited from superclasses. In this paper, we consider a more general form of specialization constraint in which range restrictions are associated with property value paths, instead of with the properties themselves. One consequence is that the constraints enable a form of molecular abstraction, in which the internals of more complicated objects can be defined in terms of a collection of more primitive types. Sound and complete axiomatizations are given for two models: one not assuming a most specialized class rule (MSC), and another satisfying MSC together with an additional almost lower semilattice condition. Efficient decision procedures for both cases are also presented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    H. Ait-Kaci, R. Boyer, P. Lincoln, and R. Nasr. Efficient implementation of lattice operations. ACM TOPLAS, 11(1):115–146, Jan. 1989.Google Scholar
  2. [2]
    H. Arisawa and T. Miura. On the properties of extended inclusion dependencies. In Proc. 12th VLDB, pages 449–456, Aug. 1986.Google Scholar
  3. [3]
    D. S. Batory and Won Kim. Modeling concepts for vlsi cad objects. ACM TOPLAS, 10(1):322–346, Jan. 1989.Google Scholar
  4. [4]
    C. Beeri. Formal models for object-oriented databases. In Proc. 1st Inter. Conf. on Deductive and Object-Oriented Databases, pages 370–395, Dec. 1989.Google Scholar
  5. [5]
    A. Borgida. Features of languages for the development of information systems at the conceptual level. IEEE Software, 2(1):63–72, Jan. 1985.Google Scholar
  6. [6]
    M. A. Casanova, R. Fagin, and C. H. Papadimitriou. Inclusion dependencies and their interaction with functional dependencies. J. Comp. Syst. Sci., 28, Mar. 1984.Google Scholar
  7. [7]
    Computer Corporation of America. ADAPLEX: Rationale and reference manual, cca-83-08 edition, May 1983.Google Scholar
  8. [8]
    G. Di Battista and M. Lenzerini. A deductive method for entity-relationship modeling. In Proc. 15th VLDB, pages 13–21, Aug. 1989.Google Scholar
  9. [9]
    P. C. Kanellakis, S. S. Cosmadakis, and M. Y. Vardi. Unary inclusion dependencies have polynomial time inference problems. In Proc. 15th ACM STOC, pages 264–277, 1983.Google Scholar
  10. [10]
    J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A language facility for designing database-intensive applications. ACM TODS, 5(2):185–207, June 1980.Google Scholar
  11. [11]
    B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.Google Scholar
  12. [12]
    G. E. Weddell. A theory of functional dependencies for object-oriented data models. In Proc. 1st Int. Conf. on Deductive and Object-Oriented Databases, pages 150–169, Dec. 1989.Google Scholar
  13. [13]
    G. E. Weddell. Reasoning about functional dependencies generalized for semantic data models. ACM TODS, (to appear).Google Scholar

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • G. E. Weddell
    • 1
  • N. Coburn
    • 1
  1. 1.Department of Computer ScienceUniversity of WaterlooCanada

Personalised recommendations