在数据库与逻辑编程系统中递归查询的实验研究
人工智能
2007-05-23 v1 数据库
摘要
本文考虑对海量（可能分布式的）数据进行推理的问题。现有方案存在一些局限性：{\em (i)} 可同时处理的数据量有限，因为推理通常在主存中进行；{\em (ii)} 与外部（独立）数据库管理系统的交互并不简单，且在若干情况下完全不被允许；{\em (iii)} 现有实现的效率仍不足以支持涉及海量数据的复杂推理任务。本文在该背景下做出贡献；提出了一个名为 DLV 的新系统，旨在解决这些问题。此外，本文报告了我们为将本系统与若干最先进系统（包括逻辑系统和数据库系统）在若干经典演绎问题上进行比较实验分析的结果；其他被测系统包括：LDL++、XSB、Smodels 以及三种顶级商业数据库管理系统。DLV 在递归查询方面甚至显著优于商业数据库系统。将发表于 Theory and Practice of Logic Programming (TPLP)。
引用
@article{arxiv.0704.3157,
title = {Experimenting with recursive queries in database and logic programming systems},
author = {Giorgio Terracina and Nicola Leone and Vincenzino Lio and Claudio Panetta},
journal= {arXiv preprint arXiv:0704.3157},
year = {2007}
}
评论
To appear in Theory and Practice of Logic Programming (TPLP)