A (GENTLE) INTRODUCTION TO DEDUCTIVE DATABASES

被引:0
|
作者
TSUR, S
机构
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper is intended as an introduction to deductive databases for the practitioner. After a brief historical overview it discusses the tradeoff between declarative and procedural programming and introduces the topic of deductive databases as an instance of this issue. The paper proceeds to expose some of the features of DD technology by means of the LDL system, shows some typical DD applications and concludes with a discussion of the state of the art and the relation of this technology to that of Object Oriented systems.
引用
收藏
页码:64 / 79
页数:16
相关论文
共 50 条
  • [21] FIXPOINT STRATEGIES FOR DEDUCTIVE DATABASES
    GUESSARIAN, I
    DISCRETE APPLIED MATHEMATICS, 1989, 24 (1-3) : 121 - 131
  • [22] DESIGNING DEDUCTIVE DATABASES.
    Helman, Paul
    Veroff, Robert
    Journal of Automated Reasoning, 1988, 4 (01) : 29 - 68
  • [23] ON RECURSIVE AXIOMS IN DEDUCTIVE DATABASES
    MINKER, J
    NICOLAS, JM
    INFORMATION SYSTEMS, 1983, 8 (01) : 1 - 13
  • [24] Deductive databases for transport engineering
    Heydecker, BG
    Small, C
    Poulovassilis, A
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 1995, 3 (05) : 277 - 292
  • [25] Logic approaches for deductive databases
    Leung, Yim Yung
    Lee, Dik Lun
    IEEE Expert, 1988, 3 (04): : 64 - 75
  • [26] Linear logic for deductive databases
    Lee, DT
    Tsang, CP
    NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228
  • [27] A MODEL FOR MANIPULATION OF DEDUCTIVE DATABASES
    CAO, H
    BELL, DA
    HULL, MEC
    IRISH JOURNAL OF PSYCHOLOGY, 1993, 14 (03): : 505 - 507
  • [28] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
    LEUNG, YY
    LEE, DL
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
  • [29] Foundations of modal deductive Databases
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2007, 79 (1-2) : 85 - 135
  • [30] SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
    FERNANDEZ, JA
    MINKER, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 21 - 50