Efficient query processing with reduced implicate tries

被引：0
|
作者：
Murray, Neil V. [1 ]
Rosenthal, Erik [2 ]
机构：
[1] Department of Computer Science, State University of New York, Albany, NY 12222, United States
[2] Department of Mathematics, University of New Haven, West Haven, CT 06516, United States
来源：
Journal of Automated Reasoning | 2007年 / 38卷 / 1-3期
关键词：
The goal of knowledge compilation is to enable fast queries. Prior approaches had the goal of small (i.e; polynomial in the size of the initial knowledge bases) compiled knowledge bases. Typically; query-response time is linear; so that the efficiency of querying the compiled knowledge base depends on its size. In this paper; a target for knowledge compilation called the ri-trie is introduced; it has the property that even if the knowledge bases are large; they nevertheless admit fast queries. Specifically; a query can be processed in time linear in the size of the query regardless of the size of the compiled knowledge base. © Springer Science+Business Media; Inc; 2007;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Conference article (CA)
引用
收藏
页码：155 / 172
相关论文
共 50 条
  • [1] Efficient Query Processing with Reduced Implicate Tries
    Neil V. Murray
    Erik Rosenthal
    [J]. Journal of Automated Reasoning, 2007, 38 : 155 - 172
  • [2] Efficient query processing with reduced implicate tries
    Murray, Neil V.
    Rosenthal, Erik
    [J]. JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 155 - 172
  • [3] Updating reduced implicate tries
    Murray, Neil V.
    Rosenthal, Erik
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 183 - +
  • [4] Reduced Implicate Tries with Updates
    Murray, Neil V.
    Rosenthal, Erik
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 261 - 281
  • [5] Reduced implicate/implicant tries
    Murray, Neil V.
    Rosenthal, Erik
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2008, 4994 : 203 - +
  • [6] Identifying Prime Implicate Branches in Reduced Implicate Tries
    Murray, Neil V.
    Rosenthal, Erik
    [J]. FUNDAMENTA INFORMATICAE, 2010, 99 (02) : 227 - 243
  • [7] Prime Implicates and Reduced Implicate Tries
    Murray, Neil V.
    Rosenthal, Erik
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 191 - +
  • [8] Prime Implicate Tries
    Matusiewicz, Andrew
    Murray, Neil V.
    Rosenthal, Erik
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 250 - +
  • [9] Efficient Query Processing Infrastructures
    Tonellotto, Nicola
    Macdonald, Craig
    [J]. ACM/SIGIR PROCEEDINGS 2018, 2018, : 1403 - 1406
  • [10] Efficient Distributed Query Processing
    Kolcun, Roman
    Boyle, David E.
    McCann, Julie A.
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (03) : 1230 - 1246
12345