DEDUCTIVE DATABASE-SYSTEMS AND THE DEDGIN QUERY EVALUATOR

被引：0
|
作者：
VIEILLE, L
LEFEBVRE, A
机构：
来源：
PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ) | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：185 / 208
页数：24
相关论文
共 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] QUERY OPTIMIZATION IN DATABASE-SYSTEMS
    JARKE, M
    KOCH, J
    [J]. COMPUTING SURVEYS, 1984, 16 (02) : 111 - 152
  • [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] INCREMENTAL PROTOCOL VERIFICATION USING DEDUCTIVE DATABASE-SYSTEMS
    LIAO, IE
    LIU, MT
    [J]. PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 216 - 223
  • [10] QUERY-PROCESSING IN SPATIAL DATABASE-SYSTEMS
    KRIEGEL, HP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 555 : 172 - 191
12345