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 条
  • [21] Graphical reasoning for sets of functional dependencies
    Demetrovics, J
    Molnár, A
    Thalheim, B
    [J]. CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 166 - 179
  • [22] "Differential Dependencies: Reasoning and Discovery" Revisited
    Vincent, Millist
    Liu, Jixue
    Liu, Hong-Cheu
    Link, Sebastian
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2015, 40 (02):
  • [23] Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies
    Levene, M
    Loizou, G
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 683 - 690
  • [24] 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
  • [25] Reasoning about XML schema mappings in the presence of key constraints and value dependencies
    Pankowski, Tadeusz
    Cybulka, Jolanta
    Meissner, Adam
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 374 - +
  • [26] Efficient algorithms for mining inclusion dependencies
    De Marchi, F
    Lopes, S
    Petit, JM
    [J]. ADVANCES IN DATABASE TECHNOLOGY - EDBT 2002, 2002, 2287 : 464 - 476
  • [27] ARMSTRONG DATABASES FOR FUNCTIONAL AND INCLUSION DEPENDENCIES
    FAGIN, R
    VARDI, MY
    [J]. INFORMATION PROCESSING LETTERS, 1983, 16 (01) : 13 - 19
  • [28] THE IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES
    MITCHELL, JC
    [J]. INFORMATION AND CONTROL, 1983, 56 (03): : 154 - 173
  • [29] Expressing Dynamic XML Inclusion Dependencies
    Wahid, Norfaradilla
    Kasim, Shahreen
    [J]. ADVANCED SCIENCE LETTERS, 2018, 24 (03) : 1745 - 1748
  • [30] Null inclusion dependencies in relational databases
    Levene, M
    Loizou, G
    [J]. INFORMATION AND COMPUTATION, 1997, 136 (02) : 67 - 108
12345