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 ;

摘要：

引用

页码：671 / 677

页数：7

共 50 条

[1] THE IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES
MITCHELL, JC
INFORMATION AND CONTROL, 1983, 56 (03): : 154 - 173
[2] On the implication problem for cardinality constraints and functional dependencies
Hartmann, S
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 33 (2-4) : 253 - 307
[3] On the implication problem for cardinality constraints and functional dependencies
Sven Hartmann
Annals of Mathematics and Artificial Intelligence, 2001, 33 : 253 - 307
[4] THE IMPLICATION PROBLEM FOR FUNCTIONAL AND MULTIVALUED DEPENDENCIES - AN ALGEBRAIC APPROACH
LAKSHMANAN, VS
MADHAVAN, CEV
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 206 : 303 - 328
[5] Solving the Implication Problem for XML Functional Dependencies with Properties
Hartmann, Sven
Link, Sebastian
Trinh, Thu
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 161 - +
[6] The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
Hirvonen, Minna
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (04)
[7] The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
Hirvonen, Minna
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), 2022, : 130 - 146
[8] The Implication Problem of Functional Dependencies in Complex-value Databases
Hartmann, Sven
Link, Sebastian
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 125 - 137
[9] The implication problem for 'closest node' functional dependencies in complete XML documents
Vincent, M. W.
Liu, J.
Mohania, M.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (04) : 1045 - 1098
[10] INCLUSION DEPENDENCIES AND THEIR INTERACTION WITH FUNCTIONAL-DEPENDENCIES
CASANOVA, MA
FAGIN, R
PAPADIMITRIOU, CH
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 28 (01) : 29 - 59

← 1 2 3 4 5 →