共 50 条
- [1] AN INTRODUCTION TO DEDUCTIVE DATABASE-SYSTEMS [J]. AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (02): : 52 - 57
- [2] A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE-SYSTEMS [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (02): : 147 - 171
- [3] DEDUCTIVE DATABASE-SYSTEMS AND THE DEDGIN QUERY EVALUATOR [J]. PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 185 - 208
- [5] EMBEDDING DEDUCTIVE CAPABILITIES IN RELATIONAL DATABASE-SYSTEMS [J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (05): : 327 - 338
- [6] A BASIS FOR DEDUCTIVE DATABASE-SYSTEMS .2. [J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (01): : 55 - 67
- [8] INCREMENTAL PROTOCOL VERIFICATION USING DEDUCTIVE DATABASE-SYSTEMS [J]. PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 216 - 223