共 18 条
[1]
Abrial J.R., Data semantics, Data Management Systems, (1974)
[2]
Chang S.K., Cheng W.H., Database skeleton and its applications to logical database synthesis, IEEE Trans. Software Eng., SE-4, pp. 18-30, (1978)
[3]
Enderton H.B., A Mathematical Introduction to Logic, (1972)
[4]
Fillmore C., The case for case, Universals in Linguistic Theory, (1968)
[5]
Florentin J.J., Consistency auditing of databases, Comput. J., 17, 1, (1974)
[6]
Gries D., Gehani N., Some ideas on data types in high level languages, Commun. Assoc. Comput. Mach., 20, 8, (1977)
[7]
Guttag J.V., Abstract data types and the development of data structures, Commun. Assoc. Comput. Mach., 20, 8, (1977)
[8]
Liskov B.H., Snyder S., Atkinson R., Schaffert C., Abstraction mechanisms in CLU, Commun. Assoc. Comput. Mach., 20, 8, (1977)
[9]
Minsky M., Minsky's frame theory, Proc. Theoretical Issues in Natural Language Processing Workshop, (1975)
[10]
Mylopoulos J., Bernstein P.A., Wong H.K.T., A language facility for designing interactive database-Intensive applications, Proc. ACM SIGMOD, (1978)