A characterization of the partial stable models for disjunctive deductive databases

被引：0
|
作者：
Seipel, D
Minker, J
Ruiz, C
机构：
来源：
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM | 1997年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We give a characterization of the partial, stable models of a disjunctive deductive database P in terms of the total stable models of a suitably transformed database P-tu. The transformation is based on annotating the atoms in the given database by the truth values true (''t'') and undefined (''u''). Currently many fast algorithms are being developed for computing the total stable models of disjunctive deductive databases. Based on the new characterization given in this paper, these algorithms can also be used for computing partial stable models.
引用
收藏
页码：245 / 259
页数：15
相关论文
共 50 条
  • [41] On the computation of disjunctive stable models
    Leone, N
    Rullo, P
    Scarcello, F
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, 1996, 1134 : 654 - 666
  • [42] Modularity Aspects of Disjunctive Stable Models
    Janhunen, Tomi
    Oikarinen, Emilia
    Tompits, Hans
    Woltran, Stefan
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 35 : 813 - 857
  • [43] Modularity aspects of disjunctive stable models
    Janhunen, Tomi
    Oikarinen, Emilia
    Tompits, Hans
    Woltran, Stefan
    Journal of Artificial Intelligence Research, 2009, 35 : 813 - 857
  • [44] Characterizations of the disjunctive stable semantics by partial evaluation
    Brass, S
    Dix, J
    JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (03): : 207 - 228
  • [45] Modularity aspects of disjunctive stable models
    Janhunen, Tomi
    Oikarinen, Emilia
    Tompits, Hans
    Woltran, Stefan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 175 - +
  • [46] Theory and algorithms of disjunctive deductive database
    Fernandes, Kh.A.
    Minker, Dz.
    Programmirovanie, 1993, (03): : 5 - 39
  • [47] Uncertainty and partial non-uniform assumptions in parametric deductive databases
    Loyer, Y
    Straccia, U
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 271 - 282
  • [48] Novelty in deductive databases
    Gregoire, E
    Marquis, P
    JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (05) : 683 - 708
  • [49] On temporal deductive databases
    Macquarie Univ, Sydney
    Comput Intell, 2 (235-259):
  • [50] Novelty in deductive databases
    Gregoire, E.
    Marquis, P.
    1996, (06)
12345