.png){kind=icon}
返回
FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING
.png){kind=icon}
PRE
AI
DOI：10.1109/69.224198.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Axiomatic definition of the basic structure, called a class dictionary graph, is given, used by object-oriented designers and programmers during the software development process. The contributions of this paper are twofold: an axiomatic foundation for object-oriented data modeling and efficient algorithms for checking whether a given data model satisfies the axioms. The presented data model is the foundation of a number of techniques for developing object-oriented systems including adaptive software, schema abstraction from object examples, schema optimization, planning techniques for system development, the Law of Demeter, etc.
Keyword:
OBJECT-ORIENTED DATA MODELING AND PROGRAMMING
ALGORITHMS AND TOOLS FOR OBJECT-ORIENTED DESIGN
AXIOMS FOR DATA MODELS
DEMETER METHOD
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。