基于分类法的源构成的 P2P 系统中的查询评估：算法、复杂度与优化
数据库
2007-09-20 v1 分布式、并行与集群计算
数据结构与算法
计算机科学中的逻辑
摘要
本研究探讨了在基于分类法的源构成的对等 (P2P) 系统中回答查询的问题。分类法规定了项上的无否定析取范式 (DNF) 公式与项的无否定合取式之间的蕴含关系。为了奠定本研究的基础，我们首先考虑集中式情形，推导了判定问题和查询评估的复杂度。我们提出了一种基于超图且在数据复杂度上高效的算法。我们还研究了更具表达力的分类法形式，但这会导致不可计算性。随后，我们转向分布式情形，引入了基于分类法的源网络的逻辑模型。在此网络上，提出了一种基于消息传递范式的集中式算法的分布式版本，并证明了其正确性。最后，我们讨论了优化问题，并将我们的工作与现有文献进行了关联。
引用
@article{arxiv.0709.3034,
title = {Query Evaluation in P2P Systems of Taxonomy-based Sources: Algorithms, Complexity, and Optimizations},
author = {Carlo Meghini and Yannis Tzitzikas and Anastasia Analyti},
journal= {arXiv preprint arXiv:0709.3034},
year = {2007}
}