The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - June (1993 vol.5)
pp: 462-478
ABSTRACT
<p>Class dictionary graphs, axiomatic definitions of basic structures used by object-oriented designers and programmers during the software development process, are discussed. An axiomatic foundation for object-oriented data modeling and efficient algorithms for checking whether a given data model satisfies the axioms are presented. The data model is the foundation for a number of techniques for developing object-oriented systems, including adaptive software, schema abstraction from object examples, schema optimization, planning techniques for system development, and the Law of Demeter, among others.</p>
INDEX TERMS
formal foundations; class dictionary graphs; object-oriented data modeling; axiomatic definitions; object-oriented designers; programmers; software development process; axioms; adaptive software; schema abstraction; schema optimization; planning techniques; system development; Law of Demeter; object-oriented databases; software engineering
CITATION
K. Lieberherr, C. Xiao, "Formal Foundations for Object-Oriented Data Modeling", IEEE Transactions on Knowledge & Data Engineering, vol.5, no. 3, pp. 462-478, June 1993, doi:10.1109/69.224198
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool