INTEGRITY = VALIDITY + COMPLETENESS

被引:67
作者
MOTRO, A
机构
来源
ACM TRANSACTIONS ON DATABASE SYSTEMS | 1989年 / 14卷 / 04期
关键词
D O I
10.1145/76902.76904
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:480 / 502
页数:23
相关论文
共 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].
MOTRO, A .
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
[9]   QUERY-BY-EXAMPLE - DATA-BASE LANGUAGE [J].
ZLOOF, MM .
IBM SYSTEMS JOURNAL, 1977, 16 (04) :324-343
[10]  
1987, SUNINGRES MANUAL SET