FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING

被引：9
|
作者：
LIEBERHERR, K
XIAO, C
机构：
[1] Northeastern Univ, Boston, MA
来源：
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING | 1993年 / 5卷 / 03期
基金：
美国国家科学基金会;
关键词：
OBJECT-ORIENTED DATA MODELING AND PROGRAMMING; ALGORITHMS AND TOOLS FOR OBJECT-ORIENTED DESIGN; AXIOMS FOR DATA MODELS; DEMETER METHOD;
D O I：
10.1109/69.224198
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：462 / 478
页数：17
相关论文
共 50 条
  • [1] Formal foundations of object-oriented modeling notations
    Pons, C
    Baum, G
    [J]. ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 101 - 110
  • [2] Object-Oriented Data Modeling
    Tillmann, G.
    [J]. DBMS, 1995, 8 (10):
  • [3] An integrated object-oriented and formal modeling environment
    France, RB
    Bruel, JM
    LarrondoPetrie, MM
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (07): : 25 - &
  • [4] Formal data model for object-oriented databases
    Chen, Rui
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 1997, 20 (01): : 68 - 76
  • [5] Formal object-oriented method for modeling concurrent system
    Zhu, L.J.
    Wu, Z.M.
    [J]. Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2001, 35 (02): : 245 - 249
  • [6] OBJECT-ORIENTED MODELING OF GEOGRAPHIC DATA
    CLEMENTINI, E
    DIFELICE, P
    [J]. JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1994, 45 (09): : 694 - 704
  • [7] A formal definition of the Chimera object-oriented data model
    Guerrini, Giovanna
    Bertino, Elisa
    Bal, René
    [J]. Journal of Intelligent Information Systems, 11 (01): : 5 - 40
  • [8] A Formal Definition of the Chimera Object-Oriented Data Model
    Giovanna Guerrini
    Elisa Bertino
    René Bal
    [J]. Journal of Intelligent Information Systems, 1998, 11 : 5 - 40
  • [9] A formal definition of the chimera object-oriented data model
    Guerrini, G
    Bertino, E
    Bal, R
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 11 (01) : 5 - 40
  • [10] FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
    BLACK, A
    PALSBERG, J
    [J]. SIGPLAN NOTICES, 1994, 29 (03): : 3 - 11
12345