ON RECURSIVE AXIOMS IN DEDUCTIVE DATABASES

被引：14
|
作者：
MINKER, J [1 ]
NICOLAS, JM [1 ]
机构：
[1] CTR ETUD & RECH TOULOUSE,ONERA,TOULOUSE,FRANCE
来源：
INFORMATION SYSTEMS | 1983年 / 8卷 / 01期
关键词：
D O I：
10.1016/0306-4379(83)90024-8
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 13
页数：13
相关论文
共 50 条
  • [41] Transactions and updates in deductive databases
    Montesi, D
    Bertino, E
    Martelli, M
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (05) : 784 - 797
  • [42] FOUNDATIONS OF SECURE DEDUCTIVE DATABASES
    BONATTI, PA
    KRAUS, S
    SUBRAHMANIAN, VS
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (03) : 406 - 422
  • [43] Preference queries in deductive databases
    Kannan Govindarajan
    Bharat Jayaraman
    Surya Mantha
    New Generation Computing, 2001, 19 : 57 - 86
  • [44] Preference queries in deductive databases
    Govindarajan, K
    Jayaraman, B
    Mantha, S
    NEW GENERATION COMPUTING, 2001, 19 (01) : 57 - 86
  • [45] Practical Reformulation of Deductive Databases
    Genesereth, Michael
    Mohapatra, Abhijeet
    2019 IEEE SECOND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING (AIKE), 2019, : 65 - 72
  • [46] ON DEDUCTIVE DATABASES WITH INCOMPLETE INFORMATION
    KONG, Q
    CHEN, G
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1995, 13 (03) : 354 - 369
  • [47] LOGIC AND DATABASES - A DEDUCTIVE APPROACH
    GALLAIRE, H
    MINKER, J
    NICOLAS, JM
    COMPUTING SURVEYS, 1984, 16 (02) : 153 - 185
  • [48] EXTREMA PREDICATES IN DEDUCTIVE DATABASES
    GANGULY, S
    GRECO, S
    ZANIOLO, C
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (02) : 244 - 259
  • [49] SEMANTIC IMPROVEMENT OF DEDUCTIVE DATABASES
    WUTHRICH, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 495 : 216 - 229
  • [50] THE SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
    VOLGER, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 409 - 421
12345