logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING

delete1993-06-01
delete9
PRE
AI
K
Karl Lieberherr *
DOI：10.1109/69.224198delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

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.
Keywords:
OBJECT-ORIENTED DATA MODELING AND PROGRAMMING
ALGORITHMS AND TOOLS FOR OBJECT-ORIENTED DESIGN
AXIOMS FOR DATA MODELS
DEMETER METHOD
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Knowledge and Data Engineering cover
IEEE Transactions on Knowledge and Data Engineering
IF:
10.4
Papers:
6.8K
Citations:
3.2W

Organization

No organization information available