共 50 条
- [33] EMBEDDING DEDUCTIVE CAPABILITIES IN RELATIONAL DATABASE-SYSTEMS INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (05): : 327 - 338
- [34] A BASIS FOR DEDUCTIVE DATABASE-SYSTEMS .2. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (01): : 55 - 67
- [35] DEDUCTIVE DATABASE-SYSTEMS AND THE DEDGIN QUERY EVALUATOR PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 185 - 208
- [38] A new vertical fragmentation algorithm based on ant collective behavior in distributed database systems Knowledge and Information Systems, 2012, 30 : 435 - 455
- [39] Deductive verification of hybrid systems using STeP HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 305 - 318