共 25 条
- [1] Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
- [2] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J]. SIAM JOURNAL ON COMPUTING, 1979, 8 (02) : 218 - 246
- [3] Chandra A. K., 1980, 21st Annual Symposium on Foundations of Computer Science, P333, DOI 10.1109/SFCS.1980.41
- [4] Chandra A. K., 1981, P ACM S PRINC PROGR, P50
- [6] CHANDRA AK, 1982, MAR P ACM S PRINC DA
- [7] CHANDRA AK, 1977, 9TH P ACM S THEOR CO
- [8] CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]
- [9] CODD EF, 1972, DATA BASE SYSTEMS
- [10] Ehrenfeucht A., 1961, FUND MATH, V49, P129