CARDINALITIES IN-DEPTH - A FORMAL APPROACH TO PARTIAL VALIDATION OF CONCEPTUAL SCHEMA

被引：0
|
作者：
GROSZ, G [1 ]
SCHWER, SR [1 ]
机构：
[1] UNIV PARIS 13,LIPN,F-93430 VILLETANEUSE,FRANCE
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1995年 / 37卷 / 10期
关键词：
VALIDATION; CONCEPTUAL SPECIFICATION; CARDINALITY FORMALIZATION; CARDINALITY; DEDUCTION;
D O I：
10.1016/0950-5849(95)90933-L
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an innovative approach to partially validate E/R specifications, It is based on the automatic deduction of cardinalities for transitive relationship, The major result of this work is a set of deduction rules relying on mathematical function composition, These deduced cardinalities can be effectively used by the designer to validate E/R specifications, He/she can check the accuracy of the deductions made towards the reality, In some cases, automatic deduction is not possible, Then, a careful study of the relationships is proposed, This can lead to reconsider what the relationship really is and how it should be represented using E/R concepts, Major changes in the E/R diagram can be achieved this way and thereby improve significantly the E/R specifications.
引用
收藏
页码：572 / 579
页数：8
相关论文
共 50 条
  • [1] AUTOMATED VALIDATION OF CONCEPTUAL SCHEMA CONSTRAINTS
    HALPIN, TA
    MCCORMACK, JI
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 445 - 462
  • [2] A Graphical Based Approach to the Conceptual Modeling, Validation and Generation of XML Schema Definitions
    Dixon, Mark B.
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2013, 8 (01) : 1 - 22
  • [3] FORMAL DEADLOCK ELIMINATION IN AN OBJECT-ORIENTED CONCEPTUAL SCHEMA
    DEDENE, G
    SNOECK, M
    [J]. DATA & KNOWLEDGE ENGINEERING, 1995, 15 (01) : 1 - 30
  • [4] Data conceptual modelling through natural language:: Identification and validation of relationship cardinalities
    Martínez, P
    de Miguel, A
    Cuadra, D
    Nieto, C
    Castro, E
    [J]. CHALLENGES OF INFORMATION TECHNOLOGY MANAGEMENT IN THE 21ST CENTURY, 2000, : 500 - 504
  • [5] In-depth approach to river management
    Jaehnig, Sonja C.
    Monaghan, Michael T.
    Hering, Daniel
    [J]. NATURE, 2019, 572 (7767) : 32 - 32
  • [6] In-depth approach to river management
    Sonja C. Jähnig
    Michael T. Monaghan
    Daniel Hering
    [J]. Nature, 2019, 572 : 32 - 32
  • [7] An in-depth approach to pelvic pain
    Tu, Frank F.
    [J]. GIORNALE ITALIANO DI OSTETRICIA E GINECOLOGIA, 2007, 29 (04): : 107 - 113
  • [8] A FORMAL APPROACH TO SCHEMA DESIGN FOR ENGINEERING DATABASES
    RASDORF, WJ
    ABUDAYYEH, OY
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1992, 14 (01) : 23 - 31
  • [9] Logic Programming for Data Warehouse Conceptual Schema Validation
    dell'Aquila, Carlo
    Lefons, Francesco Di Trza Ezzo
    Tangorra, Filippo
    [J]. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, 2010, 6263 : 1 - 12
  • [10] XML schema re-engineering using a conceptual schema approach
    Yuliana, OY
    Chittayasothorn, S
    [J]. ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, 2005, : 255 - 260
12345