A (GENTLE) INTRODUCTION TO DEDUCTIVE DATABASES

被引：0
|
作者：
TSUR, S
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 636卷
关键词：
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 条
  • [41] RECURSIVE AXIOMS IN DEDUCTIVE DATABASES
    GOLOVKO, AV
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1986, 24 (02): : 154 - 158
  • [42] Incremental view materialization in deductive databases
    Wong, WC
    Bic, LF
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1999, 18 (03): : 239 - 269
  • [43] CHECKING FUNCTIONAL CONSISTENCY IN DEDUCTIVE DATABASES
    LAMBRICHTS, E
    NEES, P
    PAREDAENS, J
    PEELMAN, P
    TANCA, L
    INFORMATION PROCESSING LETTERS, 1990, 35 (03) : 115 - 120
  • [44] THEORY AND ALGORITHMS FOR DISJUNCTIVE DEDUCTIVE DATABASES
    FERNANDEZ, JA
    MINKER, J
    PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 85 - 111
  • [45] On the partial semantics for disjunctive deductive databases
    Thomas Eiter
    Nicola Leone
    Domenico Saccà
    Annals of Mathematics and Artificial Intelligence, 1997, 19 : 59 - 96
  • [46] Updating intensional predicates in deductive databases
    Laurent, D
    Luong, VP
    Spyratos, N
    DATA & KNOWLEDGE ENGINEERING, 1998, 26 (01) : 37 - 70
  • [47] Consistency preserving updates in deductive databases
    Mayol, E
    Teniente, E
    DATA & KNOWLEDGE ENGINEERING, 2003, 47 (01) : 61 - 103
  • [48] Algebraic approach to indefinite deductive databases
    Lui, K.C.
    Sunderraman, R.
    Proceedings of the International Symposium on Methodologies for Intelligent Systems, 1990,
  • [49] Efficient reasoning method in deductive databases
    Huazhong Ligong Daxue Xuebao, 6 (9-11):
  • [50] EFFICIENT CONSISTENCY CONTROL IN DEDUCTIVE DATABASES
    MOERKOTTE, G
    KARL, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 326 : 118 - 128
12345