A TRANSFORMATION SYSTEM FOR DEDUCTIVE DATABASE MODULES WITH PERFECT MODEL SEMANTICS

被引：0
|
作者：
MAHER, MJ
机构：
来源：
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE //// | 1989年 / 405卷
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：89 / 98
页数：10
相关论文
共 50 条
  • [1] A TRANSFORMATION SYSTEM FOR DEDUCTIVE DATABASE MODULES WITH PERFECT MODEL SEMANTICS
    MAHER, MJ
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 110 (02) : 377 - 403
  • [2] A TRANSFORMATION SYSTEM FOR DEDUCTIVE DATABASE MODULES WITH PERFECT MODEL SEMANTICS
    MAHER, MJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 89 - 98
  • [3] The MyYapDB deductive database system
    Ferreira, M
    Rocha, R
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 710 - 713
  • [4] IMPLEMENTATION OF A DEDUCTIVE DATABASE SYSTEM
    CELMA, M
    MORENO, L
    PASTOR, O
    RAMOS, I
    [J]. REVISTA DE INFORMATICA Y AUTOMATICA, 1987, 20 (03): : 35 - 41
  • [5] THE PARTITION MODEL - A DEDUCTIVE DATABASE MODEL
    SPYRATOS, N
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (01): : 1 - 37
  • [6] The deductive database system LOLA
    Zukowski, U
    Freitag, B
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 375 - 386
  • [7] DES: A Deductive Database System
    Saenz-Perez, Fernando
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 271 (63-78) : 63 - 78
  • [8] STABLE MODEL SEMANTICS FOR PROBABILISTIC DEDUCTIVE DATABASES
    NG, R
    SUBRAHMANIAN, VS
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 162 - 171
  • [9] AN INTRODUCTION TO THE ADITI DEDUCTIVE DATABASE SYSTEM
    VAGHANI, J
    RAMAMOHANARAO, K
    KEMP, DB
    SOMOGYI, Z
    STUCKEY, PJ
    [J]. AUSTRALIAN COMPUTER JOURNAL, 1991, 23 (02): : 37 - 52
  • [10] Outer Joins in a Deductive Database System
    Saenz-Perez, Fernando
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 282 : 73 - 88
12345