首页    期刊浏览 2025年07月13日 星期日
登录注册

文章基本信息

  • 标题:First-order queries on classes of structures with bounded expansion
  • 本地全文:下载
  • 作者:Segoufin, Luc ; Kazana, Wojtek
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2020
  • 卷号:16
  • 期号:1
  • 页码:1-26
  • 语种:English
  • 出版社:Technical University of Braunschweig
  • 摘要:We consider the evaluation of first-order queries over classes of databaseswith bounded expansion. The notion of bounded expansion is fairly broad andgeneralizes bounded degree, bounded treewidth and exclusion of at least oneminor. It was known that over a class of databases with bounded expansion,first-order sentences could be evaluated in time linear in the size of thedatabase. We give a different proof of this result. Moreover, we show thatanswers to first-order queries can be enumerated with constant delay after alinear time preprocessing. We also show that counting the number of answers toa query can be done in time linear in the size of the database.
  • 关键词:Computer Science ; Databases
国家哲学社会科学文献中心版权所有