A BASIS FOR DEDUCTIVE DATABASE-SYSTEMS .2.

被引：49

作者：

LLOYD, JW ^{[1
]}

TOPOR, RW ^{[1
]}

机构：

[1] UNIV MELBOURNE,DEPT COMP SCI,PARKVILLE,VIC 3052,AUSTRALIA

来源：

JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 01期

关键词：

D O I：

10.1016/0743-1066(86)90004-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：55 / 67

页数：13

共 50 条

[1] A SURVEY OF DEDUCTIVE DATABASE-SYSTEMS
RAMAKRISHNAN, R
ULLMAN, JD
JOURNAL OF LOGIC PROGRAMMING, 1995, 23 (02): : 125 - 149
[2] AN INTRODUCTION TO DEDUCTIVE DATABASE-SYSTEMS
LLOYD, JW
AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (02): : 52 - 57
[3] A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE-SYSTEMS
MOHANIA, MK
SARDA, NL
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (02): : 147 - 171
[4] DEDUCTIVE DATABASE-SYSTEMS AND THE DEDGIN QUERY EVALUATOR
VIEILLE, L
LEFEBVRE, A
PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 185 - 208
[5] EMBEDDING DEDUCTIVE CAPABILITIES IN RELATIONAL DATABASE-SYSTEMS
SCHWIND, CB
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (05): : 327 - 338
[6] RULE ALLOCATION IN DISTRIBUTED DEDUCTIVE DATABASE-SYSTEMS
MOHANIA, MK
SARDA, NL
DATA & KNOWLEDGE ENGINEERING, 1994, 14 (02) : 117 - 141
[7] INCREMENTAL PROTOCOL VERIFICATION USING DEDUCTIVE DATABASE-SYSTEMS
LIAO, IE
LIU, MT
PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 216 - 223
[8] META-LEVEL CONTROL FOR DEDUCTIVE DATABASE-SYSTEMS
SCHMIDT, H
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 479 : 1 - &
[9] A COMPARISON BETWEEN DEDUCTIVE AND OBJECT-ORIENTED DATABASE-SYSTEMS
ULLMAN, JD
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 263 - 277
[10] DATABASE-SYSTEMS
BLASGEN, MW
SCIENCE, 1982, 215 (4534) : 869 - 872