FUNCTIONAL DEPENDENCIES IN A RELATIONAL DATABASE AND PROPOSITIONAL LOGIC

[1] ARMSTRONG WW, 1974, 1974 P IFIP C N HOLL, P580

[2] Beeri C., 1977, P ACM SIGMOD INT C M, P47

[3] Bernstein P. A., 1976, ACM Transactions on Database Systems, V1, P277, DOI 10.1145/320493.320489

[4] CHANG CL, 1976, PATTERN RECOGN, P108

[5] CODD EF, 1971, 6 COUR COMP SCI S DA, P33

[6] DECOMPOSITION OF A DATA BASE AND THEORY OF BOOLEAN SWITCHING FUNCTIONS [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (05) : 374 - 386

[7] Fagin R., 1977, ACM Transactions on Database Systems, V2, P262, DOI 10.1145/320557.320571

[8] FAGIN R, 1977, P VERY LARGE DATA BA

[9] UNIT REFUTATIONS AND HORN SETS [J]. JOURNAL OF THE ACM, 1974, 21 (04) : 590 - 605

[10] Horn A., 1951, J SYMBOLIC LOGIC, V16, P14, DOI DOI 10.2307/2268661

[1] ARMSTRONG WW, 1974, 1974 P IFIP C N HOLL, P580

[2] Beeri C., 1977, P ACM SIGMOD INT C M, P47

[3] Bernstein P. A., 1976, ACM Transactions on Database Systems, V1, P277, DOI 10.1145/320493.320489

[4] CHANG CL, 1976, PATTERN RECOGN, P108

[5] CODD EF, 1971, 6 COUR COMP SCI S DA, P33

[6] DECOMPOSITION OF A DATA BASE AND THEORY OF BOOLEAN SWITCHING FUNCTIONS [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (05) : 374 - 386

[7] Fagin R., 1977, ACM Transactions on Database Systems, V2, P262, DOI 10.1145/320557.320571

[8] FAGIN R, 1977, P VERY LARGE DATA BA

[9] UNIT REFUTATIONS AND HORN SETS [J]. JOURNAL OF THE ACM, 1974, 21 (04) : 590 - 605

[10] Horn A., 1951, J SYMBOLIC LOGIC, V16, P14, DOI DOI 10.2307/2268661