FORMAL SYSTEMS FOR TUPLE AND EQUALITY GENERATING DEPENDENCIES

[1] Aho A. V., 1979, ACM Transactions on Database Systems, V4, P297, DOI 10.1145/320083.320091

[2] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J]. SIAM JOURNAL ON COMPUTING, 1979, 8 (02) : 218 - 246

[3] [Anonymous], SYMBOLIC LOGIC MECHA

[4] ARMSTRONG WW, 1974, P IFIP, V74, P580

[5] Beeri C., 1978, Proceedings of the Fourth International Conference on Very Large Data Bases, P113

[6] Beeri C., 1979, ACM Transactions on Database Systems, V4, P30, DOI 10.1145/320064.320066

[7] Beeri C., 1980, ACM Transactions on Database Systems, V5, P241, DOI 10.1145/320613.320614

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

[9] BEERI C, 1981, ADV DATABASE THEORY, P25

[10] Beeri C., 1980, COMPLEXITY TESTING I

[1] Aho A. V., 1979, ACM Transactions on Database Systems, V4, P297, DOI 10.1145/320083.320091

[2] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J]. SIAM JOURNAL ON COMPUTING, 1979, 8 (02) : 218 - 246

[3] [Anonymous], SYMBOLIC LOGIC MECHA

[4] ARMSTRONG WW, 1974, P IFIP, V74, P580

[5] Beeri C., 1978, Proceedings of the Fourth International Conference on Very Large Data Bases, P113

[6] Beeri C., 1979, ACM Transactions on Database Systems, V4, P30, DOI 10.1145/320064.320066

[7] Beeri C., 1980, ACM Transactions on Database Systems, V5, P241, DOI 10.1145/320613.320614

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

[9] BEERI C, 1981, ADV DATABASE THEORY, P25

[10] Beeri C., 1980, COMPLEXITY TESTING I