THE IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES IS UNDECIDABLE

被引：66

|

作者：

CHANDRA, AK ^{[1
]}

VARDI, MY ^{[1
]}

机构：

[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305

来源：

SIAM JOURNAL ON COMPUTING | 1985年 / 14卷 / 03期

关键词：

D O I：

10.1137/0214049

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

16

引用

收藏

页码：671 / 677

页数：7

相关论文

共 50 条

[21] THE EMPTINESS PROBLEM FOR LEXICAL-FUNCTIONAL GRAMMARS IS UNDECIDABLE
NISHINO, T
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1994, E77D (05) : 597 - 600
[22] Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies
Levene, M
Loizou, G
THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 683 - 690
[23] INDEPENDENT DATABASE SCHEMES UNDER FUNCTIONAL AND INCLUSION DEPENDENCIES
ATZENI, P
CHAN, EPF
ACTA INFORMATICA, 1991, 28 (08) : 777 - 799
[24] Undecidable problems for propositional calculi with implication
Bokov, Grigoriy V.
LOGIC JOURNAL OF THE IGPL, 2016, 24 (05) : 792 - 806
[25] Deciding implication for functional dependencies in complex-value databases
Hartmann, Sven
Link, Sebastian
THEORETICAL COMPUTER SCIENCE, 2006, 364 (02) : 212 - 240
[26] WHITEHEADS PROBLEM IS UNDECIDABLE
EKLOF, PC
AMERICAN MATHEMATICAL MONTHLY, 1976, 83 (10): : 775 - 788
[27] The additivity problem for functional dependencies in incomplete relations
Levene, M
Loizou, G
ACTA INFORMATICA, 1997, 34 (02) : 135 - 149
[28] Additivity problem for functional dependencies in incomplete relations
Univ of London, London, United Kingdom
Acta Inf, 2 (135-149):
[29] The additivity problem for functional dependencies in incomplete relations
Mark Levene
George Loizou
Acta Informatica, 1997, 34 : 135 - 149
[30] Exploiting functional dependencies in declarative problem specifications
Mancini, Toni
Cadoli, Marco
ARTIFICIAL INTELLIGENCE, 2007, 171 (16-17) : 985 - 1010

← 1 2 3 4 5 →