共 11 条
[1]
[Anonymous], 1982, PRINCIPLES DATABASE
[2]
Date C. J., 1986, INTRO DATABASE SYSTE, V1
[3]
KORTH HF, 1986, DATABASE SYSTEM CONC
[4]
Levesque HJ., 1984, CONCEPTUAL MODELLING, P165
[5]
Maier D., 1983, THEORY RELATIONAL DA
[6]
SEAVE - A MECHANISM FOR VERIFYING USER PRESUPPOSITIONS IN QUERY SYSTEMS
[J].
ACM TRANSACTIONS ON OFFICE INFORMATION SYSTEMS,
1986, 4 (04)
:312-330
[7]
MOTRO A, 1986, 12TH P INT C VER LAR
[8]
Reiter R., 1978, Logic and data bases, P55
[10]
1987, SUNINGRES MANUAL SET