Graphical reasoning for sets of functional dependencies

被引：0
|
作者：
Demetrovics, J
Molnár, A
Thalheim, B
机构：
[1] Hungarian Acad Sci, Inst Comp & Automat, MTA SZTAKI, H-1111 Budapest, Hungary
[2] Eotvos Lorand Univ, Fac Informat, Dept Informat Syst, H-1117 Budapest, Hungary
[3] Univ Kiel, Comp Sci & Appl Math Inst, D-24098 Kiel, Germany
来源：
CONCEPTUAL MODELING - ER 2004, PROCEEDINGS | 2004年 / 3288卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Reasoning on constraint sets is a difficult task. Classical database design is based on a step-wise extension of the constraint set and on a consideration of constraint sets through generation by tools. Since the database developer must master semantics acquisition, tools and approaches are still sought that support reasoning on sets of constraints. We propose novel approaches for presentation of sets of functional dependencies based on specific graphs. These approaches may be used for the elicitation of the full knowledge on validity of functional dependencies in relational schemata.
引用
收藏
页码：166 / 179
页数：14
相关论文
共 50 条
  • [1] Relationship design using spreadsheet reasoning for sets of functional dependencies
    Demetrovics, Janos
    Molnar, Andras
    Thalheim, Bernhard
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2006, 4152 : 108 - 123
  • [2] Parallel Reasoning of Graph Functional Dependencies
    Fan, Wenfei
    Liu, Xueli
    Cao, Yingjie
    [J]. 2018 IEEE 34TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE), 2018, : 593 - 604
  • [3] An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies
    Cordero, P.
    Enciso, M.
    Mora, A.
    de Guzman, I. Perez
    Rodriguez-Jimenez, J. M.
    [J]. ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II, 2011, 6692 : 412 - 420
  • [4] Functional dependencies in relational expressions based on or-sets
    Nakata, M
    Murai, T
    [J]. ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2002, 2475 : 161 - 166
  • [5] REASONING ABOUT EQUATIONS AND FUNCTIONAL-DEPENDENCIES ON COMPLEX OBJECTS
    VANBOMMEL, MF
    WEDDELL, GE
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1994, 6 (03) : 455 - 469
  • [6] The use of the system Geogebra for graphical interpretation of functional dependencies in mathematics teaching
    Lukac, S.
    Sekerak, J.
    [J]. 2017 15TH IEEE INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA 2017), 2017, : 245 - 250
  • [7] Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
    Hartmann, S
    Link, S
    Schewe, KD
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 355 (02) : 167 - 196
  • [8] Judging Equivalence for Sets of Functional Dependencies Based on Truth Table
    Zhang, Yishun
    [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRIC AND ELECTRONICS, 2013, : 112 - 115
  • [9] Reasoning about functional and multi-valued dependencies in the presence of lists
    Hartmann, S
    Link, S
    Schewe, KD
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2004, 2942 : 134 - 154
  • [10] REASONING ABOUT FUNCTIONAL-DEPENDENCIES GENERALIZED FOR SEMANTIC DATA MODELS
    WEDDELL, GE
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1992, 17 (01): : 32 - 64
12345