DEDUCTION GRAPHS - AN ALGORITHM AND APPLICATIONS

被引：7

作者：

YANG, CC

机构：

[1] Univ of North Texas, Dep of Computer, Science, Denton, TX, USA

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 01期

关键词：

18;

D O I：

10.1109/32.21726

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：60 / 67

页数：8

共 18 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2] GRAPH ALGORITHMS FOR FUNCTIONAL DEPENDENCY MANIPULATION [J].

AUSIELLO, G ;

DATRI, A ;

SACCA, D .

JOURNAL OF THE ACM, 1983, 30 (04) :752-766

[3]

Beeri C., 1979, ACM Transactions on Database Systems, V4, P30, DOI 10.1145/320064.320066

[4]

Bernstein P. A., 1976, ACM Transactions on Database Systems, V1, P277, DOI 10.1145/320493.320489

[5]

CODD EF, 1970, COMMUN ACM, V13, P377, DOI 10.1145/357980.358007

[6]

DATE CJ, 1985, INTRO DATABASE SYSTE

[7] HORN CLAUSES AND DATABASE DEPENDENCIES [J].

FAGIN, R .

JOURNAL OF THE ACM, 1982, 29 (04) :952-985

[8]

Fagin Ronald, 1979, SIGMOD, P153

[9] RULE-BASED SYSTEMS [J].

HAYESROTH, F .

COMMUNICATIONS OF THE ACM, 1985, 28 (09) :921-932

[10] AN IMPROVED 3RD NORMAL FOR RELATIONAL DATABASES [J].

LING, TW ;

TOMPA, FW ;

KAMEDA, T .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (02) :329-346

← 1 2 →