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 条
  • [21] On temporal deductive databases
    Orgun, MA
    COMPUTATIONAL INTELLIGENCE, 1996, 12 (02) : 235 - 259
  • [22] PERSPECTIVES IN DEDUCTIVE DATABASES
    MINKER, J
    JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 33 - 60
  • [23] Inference by generating in deductive databases
    Lozinskii, Eliezer L.
    Data and Knowledge Engineering, 1992, 7 (04): : 327 - 357
  • [24] INDUCTIVE LEARNING IN DEDUCTIVE DATABASES
    DZEROSKI, S
    LAVRAC, N
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (06) : 939 - 949
  • [25] On a theory of probabilistic deductive databases
    Lakshmanan, LVS
    Sadri, F
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 (01) : 5 - 42
  • [26] Space optimization in deductive databases
    Srivastava, D
    Sudarshan, S
    Ramakrishnan, R
    Naughton, JF
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1995, 20 (04): : 472 - 516
  • [27] Linear logic for deductive databases
    Dong-Tsan Lee
    C. P. Tsang
    New Generation Computing, 1999, 17 : 201 - 228
  • [28] Query Optimization for Deductive Databases
    周傲英
    施伯乐
    JournalofComputerScienceandTechnology, 1995, (02) : 134 - 148
  • [29] Logic approaches for deductive databases
    Leung, Yim Yung
    Lee, Dik Lun
    IEEE Expert, 1988, 3 (04): : 64 - 75
  • [30] DESIGNING DEDUCTIVE DATABASES.
    Helman, Paul
    Veroff, Robert
    Journal of Automated Reasoning, 1988, 4 (01) : 29 - 68
12345