Inheritance processing and conflicts in structural generalization hierarchies

ACM Computing Surveys

Volumn 36, Issue 3, 2004, Pages 263-290

  Formica, Anna ^a,b   Missikoff, Michele ^a,b  

^a IASI CNR   (Italy)

^b CNR   (Italy)

Author keywords

Generalization hierarchies; Inheritance; Structural conceptual modeling; Subclassing; Subsumption; Subtyping

Indexed keywords

DESCRIPTION LOGICS (DL); KNOWLEDGE REPRESENTATION (KR); OBJECT DATABASE MODEL; OBJECT DATABASE STANDARD (ODMG);

ARTIFICIAL INTELLIGENCE; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; REDUNDANCY; SEMANTICS; USER INTERFACES; XML;

OBJECT ORIENTED PROGRAMMING;

EID: 11344272274     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/1035570.1035572     Document Type: Article

References (64)

1. ABADI, M. AND CARDELLI, L. 1996. A Theory of Objects. Springer-Verlag, New York.
2. AIT-KACI, H. AND NASR, R. 1986. LOGIN: A logic programming language with built-in inheritance. J. Logic Prog. 3, 3, 185-215.
3. AMIEL, E., BELLOSTA, M. J., DUJARDIN, E., AND SIMON, E. 1994. Supporting exceptions to behavioral schema consistency to ease schema evolution in OODBMS. Proc. of VLDB, pp. 108-119.
4. BAADER, F., CALVANESE, D., MCGUINNESS, D., NARDI, D., AND PATEL-SCHNEIDER, P., EDS. 2003. The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press.
5. BANCILHON, F., DELOBEL, C., AND KANELLAKIS, P., EDS. 1992. Building an Object-Oriented Database System: The Story of O2. Morgan Kaufman, San Mateo, CA.
6. BANERJEE, J., CHOU, H., GARZA, J. F., KIM, W., WOELK, D., BALLOU, N., AND KIM, H. J. 1990. In Readings in Object-Oriented Database Systems. Data Model Issues for Object-Oriented Applications. S. B. Zdonik and D. Maier, Eds. Morgan-Kaufmann, San Mateo, CA. pp. 197-208.
7. BATINI, C., CERI, S., AND NAVATHE, S. B. 1992. Conceptual Database Design - An Entity-Relationship Approach. Benjamin-Cummings, Redwood City CA.
8. BEERI, G. 1990. A formal approach to object-oriented databases. Data Knowl. Eng. 5, 353-382.
9. BEERI, C., FORMICA, A., AND MISSIKOFF, M. 1999. Inheritance hierarchy design in object-oriented databases. Data Knowl. Eng. 30, 3 (July), 191-216.
10. BERGAMASCHI, S. AND SARTORI, C. 1992. On taxonomic reasoning in conceptual design, ACM Trans. Data Syst. 17, 3, 385-422.
11. BORGIDA, A. 1988. Modeling class hierarchies with contradictions. In Proceedings of ACM SIGMOD. pp. 434-443.
12. BORGIDA, A., BRACHMAN, R., MCGUINNESS, D., AND HALPERN-RESNICK, L. 1989. CLASSIC: A structural data model for objects. In Proc. of ACM SIGMOD. pp. 59-67.
13. BORGIDA, A., MYLOPOULOS, J., AND WONG, H. K. T. 1984. Generalization/specialization as a basis for software specification. In On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer-Verlag, New York, pp. 87-117.
14. BRACHMAN, R. J. 1983. What IS-A is and isn't: An analysis of taxonomic links in semantic networks. IEEE Computer (Oct). 30-36.
15. BRACHMAN, R. J. AND LEVESQUE, H. J. 1984. The Tractability of Subsumption in Frame-Based Description Languages. AAAI, pp. 34-37.
16. BRACHMAN, R. J. AND LEVESQUE, H. J., EDS. 1985. Readings in Knowledge Representation. Morgan-Kaufmann, Los Altos, CA.
17. BRACHMAN, R. J. AND SCHMOLZE, J. 1985. An overview of the KL-ONE knowledge representation system. Cogn. Sci. 9, 2, 171-216.
18. BRODIE, M. L., MYLOPOULOS, J., AND SCHMIDT, J. W., EDS. 1984. On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, New York.
19. CARDELLI, L. 1988. A semantics of multiple inheritance. Info. Comput. 76, 138-164. (Preliminary version in Lecture Notes in Computer Science, vol. 173. Springer-Verlag, New York, 1984.)
20. CARDELLI, L. 1988. A semantics of multiple inheritance. Info. Comput. 76, 138-164. (Preliminary version in Lecture Notes in Computer Science, vol. 173. Springer-Verlag, New York, 1984.)
21. CARDELLI, L. AND WEGNER, P. 1985. On understanding types, data abstraction, and polymorphism. Comput. Surv. 17, 4 (Dec.)
22. CATTEL, R. G., BARRY, D. K., BERLER, M., EASTMAN, J., JORDAN, D., RUSSELL, C., SCHADOW, O., STANIENDA, T., VELEZ, F. 1999. The Object Data Standard: ODMG 3.0. Academic Press, Orlando, Fla.
23. CHEN, P. P. 1976. The entity-relationship model - Toward a unified view of data. ACM Trans. Datab. Syst. 1, 1, 9-36.
24. CLOCKSIN, W. F. AND MELLISH, C. S. 1994. Programming in Prolog, 4th ed. Springer-Verlag, New York.
25. COOK, W. R., HILL, W. L., AND CANNING, P. S. 1990. Inheritance is not subtyping. In Proc. of ACM Int. Conf. on Principles of Programming Languages (POPL'90). pp. 125-135.
26. COOK, W. AND PALSBERG, J. 1989. A denotational semantics of inheritance and its correctness. Proc. of Int. Conf. on Object-Oriented Programming Systems Languages and Applications (OOP-SLA'89), pp. 433-443.
27. DAHL, O. AND NYGAARD, K. 1966. SIMULA - an ALGOL-based simulation language. Commun. ACM 9, 9, 671-678.
28. DONINI, F. M., LENZERINI, M., NARDI, D. AND NUTT, W. 1991. The complexity of concept languages. In Proc. of the Int. Conf. on Principles of Knowledge Representation and Reasoning. J. A. Allen, R. E. Fikes, E. Sandewall, Eds. pp. 151-162.
29. EVETT, M. P., ANDERSEN, W. A., AND HENDLER, J. A. 1993. Massively parallel support for efficient knowledge representation. In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI). (Denver, Co). Morgan-Kaufmann, San Mateo, CA.
30. FIKES, R. AND KEHLER, T. 1985. The role of frame-based representation in reasoning. Commun. ACM 28, 9, 904-920.
31. FORMICA, A., GROGER, H. D., AND MISSIKOFF, M. 1997. Object-oriented database schema analysis and inheritance processing: A graph-theoretic approach. Data Knowl. Eng. 24, 2, 157-181.
32. FORMICA, A., GROGER, H. D., AND MISSIKOFF, M. 1998. An efficient method for checking object-oriented database schema correctness. ACM Trans. Datab. Syst. 23, 3 (Sept.), 333-369.
33. FORMICA, A. AND MISSIKOFF, M. 1993. Integrity constraints representation in object-oriented databases. In Information and Knowledge Management, T. W. Finin, C. K. Nicholas, Y. Yesha, Eds. Lecture Notes in Computer Science, 752. Springer-Verlag, New York, pp. 69-85.
34. GODIN, R., MISSAOUI, R., AND ALAOUI, H. 1995. Incremental concept formation algorithms based on galois (concept) lattices. Comput. Intel. 11, 2, 246-265.
35. GOLDBERG, A. AND ROBSON, D. 1983. Smalltalk-80: The Language and its Implementation, Addison-Wesley, Reading, Mass.
36. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java Language Specification, 2nd ed. Addison-Wesley, Reading, Mass.
37. HALPIN, T. A. AND PROPER, H. A. 1995. Subtyping and polymorphism in object-role modelling. Data Knowl. Eng. 15, 251-281.
38. HEINSOHN, J., KUDENKO, D., NEBEL, B., AND PROFITLICH, H. 1994. An empirical analysis of terminological representation systems. Artif. Intell. 68, 367-397.
39. HORROCKS, I. R. 1998. The FaCT System. In Proc. of TABLEAUX (Oisterwijk, The Netherlands), pp. 307-312.
40. HULL, R. AND KING, R. 1987. Semantic database modeling: Survey, applications, and research issues. ACM Comput. Surv. 19, 3 (Sept.).
41. KEHLER, T. P. AND CLEMENSON, G. D. 1984. KEE: The knowledge engineering environment for industry. Syst. Softw. 34, 212-224.
42. KHOSHAFIAN, S. AND ABNOUS, R. 1990. Object-Orientation - Concepts, Languages, Databases, User Interfaces. Wiley, New York.
43. KIFER, M. AND LAUSEN, G. 1989. F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. Proc. ACM-SIGMOD 1989, In'l Conf. Management of Data (Portland, Ore., May), pp. 134-146.
44. LENAT, D. AND GUHA, R. V. 1990. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, Reading, Mass.
45. LETIER, E. AND VAN LAMSWEERDE, A. 2000. KAOS in action: The BART system. IFIP WG2.9, Workshop, Formal Techniques in Requirement Engineering (Flims, Switzerland, Feb. 5-9).
46. MACGREGOR, R. AND BRILL, D. 1992. Recognition Algorithms for the Loom Classifier. In Proc. of National Conference on Artificial Intelligence (AAAI) (San Jose, CA, July) pp. 774-779.
47. MISSIKOFF M. AND TOIATI M. 1994. MOSAICO - A system for conceptual modeling and rapid prototyping of object-oriented database applications. In Proceeding of ACM SIGMOD Conference (Minneapolis, MN, May 24-27). ACM, New York, P. 508
48. MISSIKOFF, M. AND SCHOLL, M. 1989. An algorithm for insertion into a lattice: Application to type classification. In Foundation of Data Organization and Algorithms. Lecture Notes in Computer Science, 367. Springer-Verlag, Heidelberg, Germany, pp. 64-82.
49. Moss, C. 1994. Prolog++: The Power of Object-Oriented and Logic Programming. Addison-Wesley, Reading, Mass.
50. MYLOPOULOS, J., BORGIDA, A., JARKE, M. AND KOUBARAKIS, M. 1990. Telos: Representing knowledge about information systems. ACM Trans. Inf. Syst. 8, 4, 325-362.
51. NEBEL, B. 1991. Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks, J. F. Sowa, Ed. Morgan-Kaufmann, San Mateo, Calif.
52. ODI. http://www.odi.com/products/objectstore.html.
53. OMG. OMG Unified Modeling Language Specification; Version 1.4, Sept. 2001.
54. QUILLIAN, M. R. 1968. Semantic memory. In Semantic Information Processing, M. Minsky, Ed. MIT Press, Cambridge, MA. pp. 227-270.
55. SCHMIDT-SCHAUß, M. 1989. Subsumption in KL-ONE is undecidable. In Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, R. J. Brachman, H. J. Levesque, R. Reiter, Eds. pp. 421-431.
56. SMITH, J. M. AND SMITH, D. C. P. 1977. Database abstractions: Aggregation and generalization. ACM Trans. Datab. Syst. 2, 2, 105-133.
57. SOWA, J. F. 1991. Principles of Semantic Networks. Morgan-Kaufmann, San Mateo, CA.
58. STONEBRAKER, M. AND BROWN, P. 1999. Object-Relational DBMSs. Morgan-Kaufmann, San Mateo, CA.
59. STROUSTRUP, B. 2000. The C++ Programming Language (Special Edition). Addison-Wesley, Reading, Maas.
60. TAIVALSAARI, A. 1996. On the notion of inheritance. ACM Comput. Surv. 28, 3, 438-479.
61. ULLMAN, J. D. 1988. Principles of Database and Knowledge-Base Systems. Vol. I. Computer Science Press.
62. WEGNER, P. AND ZDONIK, S. B. 1989. Models of inheritance. In Workshop on Database Programming Languages (DBPL). Morgan-Kaufmann, San Mateo, CA. pp. 248-255.
63. WILLE, R. 1982. Restructuring lattice theory: An approach based on hierarchies of concepts. In Proceedings of the Symposium on Ordered Sets, I. Rival, Ed. Reidel, Dordrecht.
64. ZICARI, R. 1992. A framework for schema updates in an object-oriented database system. In 'Building an Object-Oriented Database System - The Story of 02. F. Bancilhon, C. Delobel, and P. Kanellakis, Eds. Morgan-Kaufmann, San Mateo, CA.