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 条
  • [31] OBJECT-ORIENTED ECOSYSTEM MODELING
    SILVERT, W
    [J]. ECOLOGICAL MODELLING, 1993, 68 (1-2) : 91 - 118
  • [32] AN OBJECT-ORIENTED MODELING ENVIRONMENT
    PAGE, TW
    BERSON, SE
    CHENG, WC
    MUNTZ, RR
    [J]. SIGPLAN NOTICES, 1989, 24 (10): : 287 - 296
  • [33] Object-oriented modeling in metaview
    Zhuang, Y
    Findeisen, P
    Sorenson, P
    [J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL SYMPOSIUM ON ASSESSMENT OF SOFTWARE TOOLS, 1996, : 109 - 110
  • [34] Object-oriented modeling and reasoning
    Mannino, M.V.
    Choi, I.J.
    [J]. Proceedings of the International Conference on the Entity-Relationship Approach, 1991,
  • [35] DIMENSIONS OF OBJECT-ORIENTED MODELING
    WEGNER, P
    [J]. COMPUTER, 1992, 25 (10) : 12 - 20
  • [36] AN OBJECT-ORIENTED MODELING ENVIRONMENT
    ANDERSSON, M
    [J]. SIMULATION METHODOLOGIES, LANGUAGES AND ARCHITECTURES AND AI AND GRAPHICS FOR SIMULATION, 1989, : 77 - 82
  • [37] Object-oriented modeling with events
    Monique, S
    Guido, D
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 458 - 459
  • [38] A perspective on foundations of object-oriented information systems
    Wang, YX
    Choudhury, I
    Patel, D
    Patel, S
    Dorling, A
    Wickberg, H
    [J]. OOIS'98: 1998 INTERNATIONAL CONFERENCE OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 1998, : 491 - 496
  • [39] FOUNDATIONS FOR OBJECT-ORIENTED QUERY-PROCESSING
    DAVIS, KC
    DELCAMBRE, LML
    [J]. COMPUTER STANDARDS & INTERFACES, 1991, 13 (1-3) : 207 - 212
  • [40] A formal approach to object-oriented software engineering
    Wirsing, M
    Knapp, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 519 - 560
12345