A RELATIONAL CALCULUS WITH SET OPERATORS, ITS SAFETY, AND EQUIVALENT GRAPHICAL LANGUAGES

被引:16
作者
OZSOYOGLU, G [1 ]
WANG, HQ [1 ]
机构
[1] CASE WESTERN RESERVE UNIV,CTR INTELLIGENT SYST & AUTOMAT,CLEVELAND,OH 44106
关键词
D O I
10.1109/32.31363
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:1038 / 1052
页数:15
相关论文
共 28 条
[1]  
ABDULQADER W, 1987, HUMAN FACTORS STUDY
[2]  
[Anonymous], 1982, PRINCIPLES DATABASE
[3]  
CODD EF, 1971, NOV P ACM SIGFIDET W, P35
[4]  
CODD EF, 1971, 6 COUR COMP SCI S
[5]  
CODD EF, 1971, NOV P ACM SIGFIDET W, P1
[6]  
DECKER H, 1ST P INT C EXP DAT, P271
[7]  
DEMOLOMBE R, 1981, ADV DATA BASE THEORY, V1
[8]   RECURSIVE UNSOLVABILITY OF DECISION PROBLEM FOR CLASS OF DEFINITE FORMULAS [J].
DIPAOLA, RA .
JOURNAL OF THE ACM, 1969, 16 (02) :324-&
[9]   HORN CLAUSES AND DATABASE DEPENDENCIES [J].
FAGIN, R .
JOURNAL OF THE ACM, 1982, 29 (04) :952-985
[10]  
GELDER A, 1987, COMMUNICATION JAN