Reasoning About Embedded Dependencies Using Inclusion Dependencies

被引：7
|
作者：
Hannula, Miika [1 ]
机构：
[1] Univ Helsinki, Dept Math & Stat, POB 68, FIN-00014 Helsinki, Finland
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015) | 2015年 / 9450卷
关键词：
Axiomatization; Chase; Implication problem; Dependence logic; Embedded dependency; Tuple generating dependency; Equality generating dependency; Inclusion dependency;
D O I：
10.1007/978-3-662-48899-7_2
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions.
引用
收藏
页码：16 / 30
页数：15
相关论文
共 50 条
  • [1] Reasoning about dependencies in partial knowledge bases
    Malekovic, M
    [J]. INES 2005: 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, 2005, : 135 - 138
  • [2] INCLUSION DEPENDENCIES AND THEIR INTERACTION WITH FUNCTIONAL-DEPENDENCIES
    CASANOVA, MA
    FAGIN, R
    PAPADIMITRIOU, CH
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 28 (01) : 29 - 59
  • [3] Inclusion dependencies and their interaction with functional dependencies in SQL
    Koehler, Henning
    Link, Sebastian
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 85 : 104 - 131
  • [4] Unveiling and Reasoning about Co-change Dependencies
    de Oliveira, Marcos Cesar
    Bonifacio, Rodrigo
    Ramos, Guilherme N.
    Ribeiro, Marcio
    [J]. PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY'16), 2016, : 25 - 36
  • [5] 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
  • [6] 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
  • [7] Appropriate reasoning about data dependencies in fixed and undetermined universes
    Biskup, Joachim
    Link, Sebastian
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2008, 4932 : 58 - +
  • [8] Nested Dependencies: Structure and Reasoning
    Kolaitis, Phokion G.
    Pichler, Reinhard
    Sallinger, Emanuel
    Savenkov, Vadim
    [J]. PODS'14: PROCEEDINGS OF THE 33RD ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2014, : 176 - 187
  • [9] Differential Dependencies: Reasoning and Discovery
    Song, Shaoxu
    Chen, Lei
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2011, 36 (03):
  • [10] SUBSET DEPENDENCIES AND A COMPLETENESS RESULT FOR A SUBCLASS OF EMBEDDED MULTIVALUED DEPENDENCIES
    SAGIV, Y
    WALECKA, SF
    [J]. JOURNAL OF THE ACM, 1982, 29 (01) : 103 - 117
12345