共 43 条
[1]
ABITEBOUL S, UNPUB FORMAL SYSTEMS
[2]
Aho A. V., 1979, ACM Transactions on Database Systems, V4, P297, DOI 10.1145/320083.320091
[3]
ARMSTRONG WW, 1974, P IFIP C, P580
[4]
Beeri C., 1979, ACM Transactions on Database Systems, V4, P30, DOI 10.1145/320064.320066
[5]
BEERI C, SIAM J COMPUT
[6]
BEERI C, THEORETICA COMPUTER
[7]
BEERI C, 1980, PROOF PROCEDURE DATA
[8]
BEERI C, 1982, 1982 P ACM S PRINC D, P55
[9]
BEERI C, 1977 P ACM SIGMOD C, P47
[10]
BERNSTEIN PA, 1980, 6TH P INT C VER LARG, P245