Correctness of ISA hierarchies in Object-Oriented database schemas

  • Anna Formica
  • Michele Missikoff
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)


In Object-Oriented databases, ISA hierarchy provides a powerful modeling tool that, through the inheritance mechanism, yields a coincise description of the world. In this paper, we tackle the problem of the correctness of ISA hierarchies in Object-Oriented database schemas. In general, the inheritance mechanisms proposed in literature do not preserve subtyping, i.e. they are not sound. Strict inheritance has been proposed in order to guarantee subtyping after inheritance. However, strict inheritance is sound but fails to cope with a significant class of schemas. The problem relies on refinement rules. In the paper, we characterize the schemas for which strict inheritance is sound and complete and we present a methodology aimed at identifying such schemas. The problem is addressed using the Object-Oriented data definition language TQL.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A.Albano, L.Cardelli, R.Orsini; “Galileo: A Strongly-Typed, Interactive Conceptual Language”; ACM Transactions on Database Systems; Vol.10, No.2, June 1985.Google Scholar
  2. 2.
    M.Atkinson, F.Bancilhon, D.DeWitt, K.Dittrich, D.Maier, S.Zdonik; “The Object-Oriented Database System Manifesto”; 1st Int. Conf. on Deductive and Object-Oriented Databases; W.Kim et al. (eds.), 1989, 40–57.Google Scholar
  3. 3.
    J.Banerjee, H.Chou, J.Garza, W.Kim, D.Woelk, N.Ballou; “Data Model Issues for Object-Oriented Applications”; in “Readings in Database Systems” ed. by M.Stonebraker; Morgan Kaufmann Pub.; San Mateo, CA, 1988.Google Scholar
  4. 4.
    A.Biliris, N.H.Gehani, N.V.Jagadish, W.D.Roome; “ODE Object Database & Environment”; AT&T Bell Laboratories, Technical Report, Murray Hill, New Jersey; 1992.Google Scholar
  5. 5.
    R.J.Brachman, H.J.Levesque; “The tractability of Subsumption in Frame-Based Description Languages”; Proc. of National Conference on Artificial Intelligence — AAAI 84, 34–37; Austin, 1984.Google Scholar
  6. 6.
    M.L.Brodie, J.Mylopoulos, J.W.Schmidt; “On Conceptual Modelling”; Springer-Verlag, 1984.Google Scholar
  7. 7.
    L.Cardelli; “A Semantics of Multiple Inheritance”; Readings in Object-Oriented Database Systems; ed. by S.B.Zdonik and D.Maier; 1990.Google Scholar
  8. 8.
    F.Camurri, M.Missikoff, G.Sissa; “An Object-Oriented Model for Railways Traffic Supervision”; Proc. of ANIPLA Conference, Genova, Sept. 1992.Google Scholar
  9. 9.
    C. Cauvet, C. Rolland, C. Proix; “Information System Design: an Expert System Approach”; in Advances in Database Technology — EDBT '88, J.W. Schmidt, S. Ceri, M. Missikoff (Eds.), LNCS 303, Springer-Verlag, 1988.Google Scholar
  10. 10.
    A.Formica, M.Missikoff; “Adding Integrity Constraints to Object-Oriented Database”; ISMM First International Conference on Information and Knowledge Management (CIKM-92), Baltimore, November 1992.Google Scholar
  11. 11.
    A.Formica, M.Missikoff; “Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas”; “Logidata+: Deductive Databases with Complex Objects”; LNCS 701, P.Atzeni (Ed.), Springer Verlag, 1993.Google Scholar
  12. 12.
    A.Formica, M.Missikoff, S.Vazzana; “An Object-Oriented Data Model for Artificial Intelligence Applications”; Next Generation Information Systems Technology, LNCS 504, J.W.Schmidt, A.A.Stogny (Eds.), Springer Verlag, 1991.Google Scholar
  13. 13.
    M. Jarke; “DAIDA: Conceptual Modelling and Knowledge-Based Support for Information Systems”; Technique et Science Informatique, v.9 n.2, 1990.Google Scholar
  14. 14.
    W.Kim; “Object-Oriented Databases: Definition and Research Directions”; IEEE Trans., on Knowledge and Data Engineering; Vol.2, N.3; September 1990.Google Scholar
  15. 15.
    H.Lam, M.Missikoff; “Mosaico: A Specification and Rapid Prototyping Environment for Object-Oriented Database Applications”; Technical Note 1993.Google Scholar
  16. 16.
    C.Lecluse, P.Richard; “The O2 Database Programming Language”; Proc. of VLDB Conference; 1989.Google Scholar
  17. 17.
    C.Lecluse, P.Richard, F.Velez; “O2: an Object-Oriented Data Model”; Proc. of ACM SIGMOD Conference; Chicago, 1988.Google Scholar
  18. 18.
    D.Shipman; “The Functional Data Model and the Data Language DAPLEX”; Readings in Object-Oriented Database Systems; S.B.Zdonik and D.Maier (Eds.); 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Anna Formica
    • 1
  • Michele Missikoff
    • 1
  1. 1.IASI CNRRomeItaly

Personalised recommendations