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 条
  • [31] Approximating a set of approximate inclusion dependencies
    De Marchi, F
    Petit, JM
    [J]. INTELLIGENT INFORMATION PROCESSING AND WEB MINING, PROCEEDINGS, 2005, : 633 - 640
  • [32] Query rewriting using views in the presence of functional and inclusion dependencies
    Gryz, J
    [J]. INFORMATION SYSTEMS, 1999, 24 (07) : 597 - 612
  • [33] Mining frequent conjunctive queries using functional and inclusion dependencies
    Cheikh Tidiane Dieng
    Tao-Yuan Jen
    Dominique Laurent
    Nicolas Spyratos
    [J]. The VLDB Journal, 2013, 22 : 125 - 150
  • [34] Mining frequent conjunctive queries using functional and inclusion dependencies
    Dieng, Cheikh Tidiane
    Jen, Tao-Yuan
    Laurent, Dominique
    Spyratos, Nicolas
    [J]. VLDB JOURNAL, 2013, 22 (02): : 125 - 150
  • [35] Algorithms for the discovery of embedded functional dependencies
    Wei, Ziheng
    Hartmann, Sven
    Link, Sebastian
    [J]. VLDB JOURNAL, 2021, 30 (06): : 1069 - 1093
  • [36] Algorithms for the discovery of embedded functional dependencies
    Ziheng Wei
    Sven Hartmann
    Sebastian Link
    [J]. The VLDB Journal, 2021, 30 : 1069 - 1093
  • [37] Composition of mappings given by embedded dependencies
    Nash, Alan
    Bernstein, Philip A.
    Melnik, Sergey
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2007, 32 (01):
  • [38] Discovery Algorithms for Embedded Functional Dependencies
    Wei, Ziheng
    Hartmann, Sven
    Link, Sebastian
    [J]. SIGMOD'20: PROCEEDINGS OF THE 2020 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2020, : 833 - 843
  • [39] Reasoning on property graphs with graph generating dependencies
    Shimomura, Larissa C.
    Yakovets, Nikolay
    Fletcher, George
    [J]. INFORMATION SCIENCES, 2024, 672
  • [40] Reasoning with examples: propositional formulae and database dependencies
    Roni Khardon
    Heikki Mannila
    Dan Roth
    [J]. Acta Informatica, 1999, 36 : 267 - 286
12345