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 条
  • [31] FIXPOINT STRATEGIES FOR DEDUCTIVE DATABASES
    GUESSARIAN, I
    DISCRETE APPLIED MATHEMATICS, 1989, 24 (1-3) : 121 - 131
  • [32] DESIGNING DEDUCTIVE DATABASES.
    Helman, Paul
    Veroff, Robert
    Journal of Automated Reasoning, 1988, 4 (01) : 29 - 68
  • [33] Deductive databases for transport engineering
    Heydecker, BG
    Small, C
    Poulovassilis, A
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 1995, 3 (05) : 277 - 292
  • [34] Logic approaches for deductive databases
    Leung, Yim Yung
    Lee, Dik Lun
    IEEE Expert, 1988, 3 (04): : 64 - 75
  • [35] Linear logic for deductive databases
    Lee, DT
    Tsang, CP
    NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228
  • [36] A MODEL FOR MANIPULATION OF DEDUCTIVE DATABASES
    CAO, H
    BELL, DA
    HULL, MEC
    IRISH JOURNAL OF PSYCHOLOGY, 1993, 14 (03): : 505 - 507
  • [37] A (GENTLE) INTRODUCTION TO DEDUCTIVE DATABASES
    TSUR, S
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 64 - 79
  • [38] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
    LEUNG, YY
    LEE, DL
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
  • [39] Foundations of modal deductive Databases
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2007, 79 (1-2) : 85 - 135
  • [40] SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
    FERNANDEZ, JA
    MINKER, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 21 - 50
12345