Inheritance processing and conflicts in structural generalization hierarchies

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Inheritance processing and conflicts in structural generalization hierarchies

Full text

Pdf (261 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 36 , Issue 3 (September 2004) table of contents

Pages: 263 - 290

Year of Publication: 2004

ISSN:0360-0300

Authors

Anna Formica	IASI-CNR, Rome, Italy
Michele Missikoff	IASI-CNR, Rome, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 17, Downloads (12 Months): 174, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1035570.1035572 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	2	H Aït-Kaci , R Nasr, Login: A logic programming language with built-in inheritance, Journal of Logic Programming, v.3 n.3, p.185-215, Oct. 1986 [doi>10.1016/0743-1066(86)90013-0 ]
	3	Eric Amiel , Marie-Jo Bellosta , Eric Dujardin , Eric Simon, Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS, Proceedings of the 20th International Conference on Very Large Data Bases, p.108-119, September 12-15, 1994
	4	Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
	5	François Bancilhon , Claude Delobel , Paris Kanellakis, Building an object-oriented database system: the story of 02, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	6	J. Banerjee , H.-T. Chou , J. F. Garza , W. Kim , D. Woelk , N. Ballou , H.-J Kim, Data model issues for object-oriented applications, Readings in object-oriented database systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989
	7	Carlo Batini , Stefano Ceri , Shamkant B. Navathe, Conceptual database design: an Entity-relationship approach, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
	8	C. Beeri, A formal approach to object-oriented databases, Data & Knowledge Engineering, v.5 n.4, p.353-382, Oct. 1990 [doi>10.1016/0169-023X(90)90020-E ]
	9	Catriel Beeri , Anna Formica , Michele Missikoff, Inheritance hierarchy design in object-oriented databases, Data & Knowledge Engineering, v.30 n.3, p.191-216, July 1999 [doi>10.1016/S0169-023X(99)00011-7 ]
	10	Sonia Bergamaschi , Claudio Sartori, On taxonomic reasoning in conceptual design, ACM Transactions on Database Systems (TODS), v.17 n.3, p.385-422, Sept. 1992 [doi>10.1145/132271.132272]
	11	A. Borgida, Modeling class hierarchies with contradictions, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.434-443, June 01-03, 1988, Chicago, Illinois, United States
	12	Alexander Borgida , Ronald J. Brachman , Deborah L. McGuinness , Lori Alperin Resnick, CLASSIC: a structural data model for objects, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.58-67, June 1989, Portland, Oregon, United States
	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	Ronald J. Brachman , Hector J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1985
	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	Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
	20	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	21	R. G. G. Cattell , Douglas K. Barry , Mark Berler , Jeff Eastman , David Jordan , Craig Russell , Olaf Schadow , Torsten Stanienda , Fernando Velez, The object data standard: ODMG 3.0, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000
	22	Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
	23	William F. Clocksin , C. S. Mellish, Programming in PROLOG, Springer-Verlag New York, Inc., Secaucus, NJ, 1994
	24	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
	25	W. Cook , J. Palsberg, A denotational semantics of inheritance and its correctness, Conference proceedings on Object-oriented programming systems, languages and applications, p.433-443, October 02-06, 1989, New Orleans, Louisiana, United States
	26	Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
	27	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.
	28	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.
	29	Richard Fikes , Tom Kehler, The role of frame-based representation in reasoning, Communications of the ACM, v.28 n.9, p.904-920, Sept. 1985 [doi>10.1145/4284.4285]
	30	A. Formica , H. D. Groger , M. Missikoff, Object-oriented database schema analysis and inheritance processing: a graph-theoretic approach, Data & Knowledge Engineering, v.24 n.2, p.157-181, Nov. 1997 [doi>10.1016/S0169-023X(97)00018-9 ]
	31	A. Formica , H. D. Groger , M. Missikoff, An efficient method for checking object-oriented database schema correctness, ACM Transactions on Database Systems (TODS), v.23 n.3, p.333-368, Sept. 1998 [doi>10.1145/293910.293152]
	32	Anna Formica , Michele Missikoff, Integrity Constraints Representation in Object-Oriented Databases, Selected Papers from the First International Conference on Information and Knowledge Management, Expanding the Definition of Database, p.69-85, November 08-11, 1992
	33	Godin, R., Missaoui, R., and Alaoui, H. 1995. Incremental concept formation algorithms based on galois (concept) lattices. Comput. Intel. 11, 2, 246--265.
	34	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	35	James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	36	T. A. Halpin , H. A. Proper, Subtyping and polymorphism in object-role modelling, Data & Knowledge Engineering, v.15 n.3, p.251-281, June 1995 [doi>10.1016/0169-023X(95)00005-D ]
	37	Jochen Heinsohn , Daniel Kudenko , Bernhard Nebel , Hans-Jürgen Profitlich, An empirical analysis of terminological representation systems, Artificial Intelligence, v.68 n.2, p.367-397, Aug. 1994 [doi>10.1016/0004-3702(94)90071-X ]
	38	Ian Horrocks, The FaCT System, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, p.307-312, May 05-08, 1998
	39	Richard Hull , Roger King, Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys (CSUR), v.19 n.3, p.201-260, Sept. 1987 [doi>10.1145/45072.45073]
	40	Kehler, T. P. and Clemenson, G. D. 1984. KEE: The knowledge engineering environment for industry. Syst. Softw. 34, 212--224.
	41	Setrag Khoshafian , Razmik Abnous, Object orientation: concepts, languages, databases, user interfaces, John Wiley & Sons, Inc., New York, NY, 1990
	42	Michael Kifer , Georg Lausen, F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.134-146, June 1989, Portland, Oregon, United States
	43	Douglas B. Lenat , R. V. Guha, Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	44	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).
	45	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.
	46	M. Missikoff , M. Toiati, MOSAICO—a system for conceptual modeling and rapid prototyping of object-oriented database application, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.508, May 24-27, 1994, Minneapolis, Minnesota, United States
	47	Michele Missikoff , Michel Scholl, An Algorithm for Insertion into a Lattice: Application to Type Classification, Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms, p.64-82, June 21-23, 1989
	48	Chris Moss, Prolog++: The Power of Object-Oriented and Logic Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
	49	John Mylopoulos , Alex Borgida , Matthias Jarke , Manolis Koubarakis, Telos: representing knowledge about information systems, ACM Transactions on Information Systems (TOIS), v.8 n.4, p.325-362, Oct. 1990 [doi>10.1145/102675.102676]
	50	Nebel, B. 1991. Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks, J. F. Sowa, Ed. Morgan-Kaufmann, San Mateo, Calif.
	51	ODI. http://www.odi.com/products/objectstore.html.
	52	Quillian, M. R. 1968. Semantic memory. In Semantic Information Processing, M. Minsky, Ed. MIT Press, Cambridge, MA. pp. 227--270.
	53	Manfred Schmidt-Schaubß, Subsumption in KL-ONE is undecidable, Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.421-431, December 1989
	54	John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
	55	Sowa, J. F. 1991. Principles of Semantic Networks. Morgan-Kaufmann, San Mateo, CA.
	56	Michael Stonebraker , Dorothy Moore, Object Relational DBMSs: The Next Great Wave, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1995
	57	Bjarne Stroustrup, The C++ Programming Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	58	Antero Taivalsaari, On the notion of inheritance, ACM Computing Surveys (CSUR), v.28 n.3, p.438-479, Sept. 1996 [doi>10.1145/243439.243441]
	59	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	60	Peter Wegner , Stanley B. Zdonik, Models of inheritance, Proceedings of the second international workshop on Database programming languages, p.248-255, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
	61	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.
	62	Roberto Zicari, A framework for schema updates in an object-oriented database system, Building an object-oriented database system: the story of 02, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992