Top-down query processing in indefinite stratified databases

被引:13
|
作者
Johnson, CA [1 ]
机构
[1] Univ Keele, Dept Comp Sci, Keele ST5 5BG, Staffs, England
关键词
deductive databases; indefinite stratified databases; top-down query processing; perfect models; cyclic trees; deduction trees;
D O I
10.1016/S0169-023X(97)00026-8
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A top-down query processing method for indefinite stratified databases is presented. Our method is applicable to first-order (function free) databases in which negative atoms are allowed within the rule bodies, and databases are interpreted using the perfect model semantics. Our method is correct and complete, and employs a construction involving cyclic and deduction trees. Mild constraints are placed on the database in order to guarantee the termination of such constructions.
引用
收藏
页码:1 / 36
页数:36
相关论文
共 50 条
  • [1] Top-Down XML Keyword Query Processing
    Zhou, Junfeng
    Wang, Wei
    Chen, Ziyang
    Yu, Jeffrey Xu
    Tang, Xian
    Lu, Yifei
    Li, Yukun
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2016, 28 (05) : 1340 - 1353
  • [2] Top-Down Query Processing in First-Order Deductive Databases under the DWFS
    C. A. Johnson
    [J]. Journal of Automated Reasoning, 2004, 32 : 167 - 184
  • [3] Top-down query processing in first-order deductive databases under the DWFS
    Johnson, CA
    [J]. JOURNAL OF AUTOMATED REASONING, 2004, 32 (02) : 167 - 184
  • [4] Top-Down Keyword Query Processing on XML Data
    Zhou, Junfeng
    Zhao, Xingmin
    Wang, Wei
    Chen, Ziyang
    Yu, Jeffrey Xu
    [J]. PROCEEDINGS OF THE 22ND ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM'13), 2013, : 2225 - 2230
  • [5] Internal context and top-down processing
    König, P
    Chiang, C
    von Stein, A
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 1997, 20 (04) : 691 - +
  • [6] Top-down influences on visual processing
    Gilbert, Charles D.
    Li, Wu
    [J]. NATURE REVIEWS NEUROSCIENCE, 2013, 14 (05) : 350 - 363
  • [7] WHATS UP IN TOP-DOWN PROCESSING
    CAVANAGH, P
    [J]. PERCEPTION, 1990, 19 (03) : 345 - 345
  • [8] A demonstration of auditory top-down processing
    Hines, T
    [J]. BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1999, 31 (01): : 55 - 56
  • [9] HEMISPHERICITY AND TOP-DOWN PROCESSING OF LANGUAGE
    FAUST, M
    KRAVETZ, S
    BABKOFF, H
    [J]. BRAIN AND LANGUAGE, 1993, 44 (01) : 1 - 18
  • [10] Top-down influences on visual processing
    Charles D. Gilbert
    Wu Li
    [J]. Nature Reviews Neuroscience, 2013, 14 : 350 - 363