ON RECURSIVE AXIOMS IN DEDUCTIVE DATABASES

被引：14

作者：

MINKER, J ^{[1
]}

NICOLAS, JM ^{[1
]}

机构：

[1] CTR ETUD & RECH TOULOUSE,ONERA,TOULOUSE,FRANCE

来源：

INFORMATION SYSTEMS | 1983年 / 8卷 / 01期

关键词：

D O I：

10.1016/0306-4379(83)90024-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1 / 13

页数：13

共 50 条

[1] RECURSIVE AXIOMS IN DEDUCTIVE DATABASES
GOLOVKO, AV
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1986, 24 (02): : 154 - 158
[2] THE ALEXANDER METHOD - A TECHNIQUE FOR THE PROCESSING OF RECURSIVE AXIOMS IN DEDUCTIVE DATABASES
ROHMER, J
LESCOEUR, R
KERISIT, JM
NEW GENERATION COMPUTING, 1986, 4 (03) : 273 - 285
[3] PROPAGATING CONSTRAINTS IN RECURSIVE DEDUCTIVE DATABASES
KEMP, DB
RAMAMOHANARAO, K
BALBIN, I
MEENAKSHI, K
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 981 - 998
[4] Efficient recursive aggregation and negation in deductive databases
Kemp, DB
Ramamohanarao, K
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1998, 10 (05) : 727 - 745
[5] TOWARDS AN EFFICIENT EVALUATION OF RECURSIVE AGGREGATES IN DEDUCTIVE DATABASES
LEFEBVRE, A
NEW GENERATION COMPUTING, 1994, 12 (02) : 131 - 160
[6] EVALUATION OF RECURSIVE QUERIES WITH EXTENDED RULES IN DEDUCTIVE DATABASES
LEE, SH
HENSCHEN, LJ
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (02) : 328 - 331
[7] CLASSIFICATION AND COMPILATION OF LINEAR RECURSIVE QUERIES IN DEDUCTIVE DATABASES
YOUN, C
KIM, HJ
HENSCHEN, LJ
HAN, JW
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (01) : 52 - 67
[8] OLDTNF-based evaluation method for handling recursive queries in deductive databases
陈阳军
Science in China(Series E:Technological Sciences), 1998, (06) : 561 - 578
[9] OLDTNF-based evaluation method for handling recursive queries in deductive databases
Chen, YJ
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (06): : 561 - 578
[10] OLDTNF-based evaluation method for handling recursive queries in deductive databases
Yangjun Chen
Science in China Series E: Technological Sciences, 1998, 41 : 561 - 578

← 1 2 3 4 5 →