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 条

[41] Undecidable problem for timed automata
Bell Laboratories, Murray Hill, NJ 07974, United States
Discrete Event Dyn Syst Theory Appl, 2 (135-146):
[42] AN UNDECIDABLE PROBLEM IN CORRESPONDENCE THEORY
CHAGROVA, LA
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) : 1261 - 1272
[43] An Undecidable Problem for Timed Automata
Anuj Puri
Discrete Event Dynamic Systems, 1999, 9 : 135 - 146
[44] The trace coding problem is undecidable
Kunc, M
AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 603 - 614
[45] AN UNDECIDABLE PROBLEM IN FINITE COMBINATORICS
COMPTON, KJ
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 842 - 850
[46] A codicity undecidable problem in the plane
Beauquier, D
Nivat, M
THEORETICAL COMPUTER SCIENCE, 2003, 303 (2-3) : 417 - 430
[47] Elaboration on functional dependencies: Functional dependencies are dead, long live functional dependencies!
Karachalias G.
Schrijvers T.
ACM SIGPLAN Not., 10 (133-147): : 133 - 147
[48] Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!
Karachalias, Georgios
Schrijvers, Tom
ACM SIGPLAN NOTICES, 2017, 52 (10) : 133 - 147
[49] Fuzzy data dependencies and implication of fuzzy data dependencies
Liu, WY
FUZZY SETS AND SYSTEMS, 1997, 92 (03) : 341 - 348
[50] Testing implication of probabilistic dependencies
Wong, SKM
UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 1996, : 545 - 553

← 1 2 3 4 5 →