Default databases: Extending the approach of deductive databases using default logic

被引:4
|
作者
Hunter, A
McBrien, P
机构
[1] UCL, Dept Comp Sci, London WC1E 6BT, England
[2] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
关键词
default logic; non-monotonic logic; incomplete information; default databases; inferential databases; deductive databases; entity-relationship modelling; data modelling; rule engineering;
D O I
10.1016/S0169-023X(97)00036-0
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Extending the relational data model using classical logic to give deductive databases has some significant benefits. In particular, classical logic rules offer an efficient representation: a universally quantified rule can represent many facts. However, classical logic does not support the representation of general rules or synonymously defaults. General rules are rules that are usually valid, but occasionally have exceptions. They are useful in a database since they can allow for the derivation of relations on the basis of incomplete information. The need for incorporating general rules into a database is reinforced when considering that participants in the development process may naturally describe rules for a deductive database in the form of general rules. In order to meet this need for using general rules in databases, we extend the notion of deductive databases. In particular, we use default logic, an extension of classical logic that has been developed for representing and reasoning with default knowledge, to formalize the use of general rules in deductive databases, to give what we call default databases. In this paper, we provide an overview of default logic, motivate its applicability to capturing general rules in databases, and then develop a framework for default databases. In particular, we propose a methodology for developing default databases that is based on entity-relationship modelling.
引用
收藏
页码:135 / 160
页数:26
相关论文
共 50 条
  • [1] COMBINING DEFAULT LOGIC DATABASES
    BARAL, C
    KRAUS, S
    MINKER, J
    SUBRAHMANIAN, VS
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT & COOPERATIVE INFORMATION SYSTEMS, 1994, 3 (03): : 319 - 348
  • [2] ANALYSIS OF THE BEHAVIOR OF LOGIC-BASED COMPUTATION FOR DEDUCTIVE DATABASES AND DEFAULT REASONING
    BELL, CE
    LEE, DY
    [J]. DECISION SUPPORT SYSTEMS, 1992, 8 (06) : 517 - 535
  • [3] LOGIC AND DATABASES - A DEDUCTIVE APPROACH
    GALLAIRE, H
    MINKER, J
    NICOLAS, JM
    [J]. COMPUTING SURVEYS, 1984, 16 (02) : 153 - 185
  • [4] GENERAL LOGICAL DATABASES AND PROGRAMS - DEFAULT LOGIC SEMANTICS AND STRATIFICATION
    BIDOIT, N
    FROIDEVAUX, C
    [J]. INFORMATION AND COMPUTATION, 1991, 91 (01) : 15 - 54
  • [5] DEFAULT DATABASES AND INCOMPLETE INFORMATION
    KING, P
    SMALL, C
    [J]. COMPUTER JOURNAL, 1991, 34 (03): : 239 - 244
  • [6] Linear logic for deductive databases
    Dong-Tsan Lee
    C. P. Tsang
    [J]. New Generation Computing, 1999, 17 : 201 - 228
  • [7] Linear logic for deductive databases
    Lee, DT
    Tsang, CP
    [J]. NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228
  • [8] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
    LEUNG, YY
    LEE, DL
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
  • [9] Inferring the default rate in a population by comparing two incomplete default databases
    Dwyer, DW
    Stein, RM
    [J]. JOURNAL OF BANKING & FINANCE, 2006, 30 (03) : 797 - 810
  • [10] AN ALTERNATIVE APPROACH TO THE SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    SAKAMA, C
    INOUE, K
    [J]. JOURNAL OF AUTOMATED REASONING, 1994, 13 (01) : 145 - 172