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 条
  • [21] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
    Miyahara, Kazuki
    Hashimoto, Kenji
    Seki, Hiroyuki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (03): : 512 - 523
  • [22] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
    Miyahara, Kazuki
    Hashimoto, Kenji
    Seki, Hiroyuki
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (134): : 27 - 37
  • [23] A Novel Top-down Algorithm of Frequent XML Query Pattern Mining
    Chang, Tsui-Ping
    Chen, Shih-Ying
    [J]. 2010 SECOND INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND APPLICATIONS: ICCEA 2010, PROCEEDINGS, VOL 2, 2010, : 276 - 280
  • [24] Top-down natural language query approach for embodied conversational agent
    Goh, Ong Sing
    Depickere, Arnold
    Fung, Chun Che
    Wong, Kok Wai
    [J]. IMECS 2006: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, 2006, : 470 - +
  • [25] Mixing Bottom-Up and Top-Down XPath Query Evaluation
    Benter, Markus
    Boettcher, Stefan
    Hartel, Rita
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2011, 6909 : 27 - 41
  • [26] Interareal oscillatory synchronization in top-down neocortical processing
    Bressler, Steven L.
    Richter, Craig G.
    [J]. CURRENT OPINION IN NEUROBIOLOGY, 2015, 31 : 62 - 66
  • [27] THE INFLUENCE OF TOP-DOWN PROCESSING IN AUDITORY VERBAL HALLUCINATIONS
    Verkooijen, Sanne
    Daalman, Kirstin
    Derks, Eske M.
    Kahn, Rene
    Aleman, Andre
    Sommer, Iris E.
    [J]. SCHIZOPHRENIA RESEARCH, 2012, 136 : S343 - S344
  • [28] A distributed neural system for top-down face processing
    Li, Jun
    Liu, Jiangang
    Liang, Jimin
    Zhang, Hongchuan
    Zhao, Jizheng
    Huber, David E.
    Rieth, Cory A.
    Lee, Kang
    Tian, Jie
    Shi, Guangming
    [J]. NEUROSCIENCE LETTERS, 2009, 451 (01) : 6 - 10
  • [29] Brain states: Top-down influences in sensory processing
    Gilbert, Charles D.
    Sigman, Mariano
    [J]. NEURON, 2007, 54 (05) : 677 - 696
  • [30] To ignore or explore: Top-down modulation of novelty processing
    Chong, Hyemi
    Riis, Jenna L.
    McGinnis, Scott M.
    Williams, Danielle M.
    Holcomb, Phillip J.
    Daffner, Kirk R.
    [J]. JOURNAL OF COGNITIVE NEUROSCIENCE, 2008, 20 (01) : 120 - 134