INCREMENTAL PROTOCOL VERIFICATION USING DEDUCTIVE DATABASE-SYSTEMS

被引：0

作者：

LIAO, IE

LIU, MT

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：216 / 223

页数：8

共 50 条

[1] A SURVEY OF DEDUCTIVE DATABASE-SYSTEMS
RAMAKRISHNAN, R
ULLMAN, JD
[J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 23 (02): : 125 - 149
[2] AN INTRODUCTION TO DEDUCTIVE DATABASE-SYSTEMS
LLOYD, JW
[J]. AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (02): : 52 - 57
[3] A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE-SYSTEMS
MOHANIA, MK
SARDA, NL
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (02): : 147 - 171
[4] DEDUCTIVE DATABASE-SYSTEMS AND THE DEDGIN QUERY EVALUATOR
VIEILLE, L
LEFEBVRE, A
[J]. PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 185 - 208
[5] RULE ALLOCATION IN DISTRIBUTED DEDUCTIVE DATABASE-SYSTEMS
MOHANIA, MK
SARDA, NL
[J]. DATA & KNOWLEDGE ENGINEERING, 1994, 14 (02) : 117 - 141
[6] EMBEDDING DEDUCTIVE CAPABILITIES IN RELATIONAL DATABASE-SYSTEMS
SCHWIND, CB
[J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (05): : 327 - 338
[7] A BASIS FOR DEDUCTIVE DATABASE-SYSTEMS .2.
LLOYD, JW
TOPOR, RW
[J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (01): : 55 - 67
[8] META-LEVEL CONTROL FOR DEDUCTIVE DATABASE-SYSTEMS
SCHMIDT, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 479 : 1 - &
[9] A COMPARISON BETWEEN DEDUCTIVE AND OBJECT-ORIENTED DATABASE-SYSTEMS
ULLMAN, JD
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 263 - 277
[10] INCREMENTAL RECOVERY IN MAIN MEMORY DATABASE-SYSTEMS
LEVY, E
SILBERSCHATZ, A
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (06) : 529 - 540