中文

逻辑编程中的 XML 文档查询

编程语言 2007-10-26 v1 数据库

摘要

可扩展标记语言 (XML) 是一种源自 SGML 的简单且非常灵活的文本格式。XML 最初旨在应对大规模电子出版的挑战,如今也在 Web 及其他地方的各种数据交换中发挥着日益重要的作用。XPath 语言是为提供 XML 文档地址部分而努力的成果;作为对这一主要目的的支持,它已成为针对 XML 文档的查询语言。在本文中,我们提出了在逻辑编程中实现 XPath 语言的方案。为此,我们将描述如何通过逻辑程序来表示 XML 文档。规则和事实可用于表示文档模式和 XML 文档本身。特别是,我们将展示如何在逻辑程序中对 XML 文档建立索引:规则假设存储在主内存中,而事实则使用两种索引存储在辅助内存中:一种针对每个 XML 标签,另一种针对每组终端项。此外,我们将研究如何通过 XPath 语言对表示 XML 文档的逻辑程序进行查询。这涉及逻辑程序针对 XPath 表达式的特化。最后,我们还将解释如何结合索引技术与逻辑程序的自顶向下求值。本文即将发表于《逻辑编程的理论与实践》(TPLP)。

关键词

引用

@article{arxiv.0710.4780,
  title  = {Querying XML Documents in Logic Programming},
  author = {J. M. Almendros-Jiménez and A. Becerra-Terón and F. J. Enciso-Baños},
  journal= {arXiv preprint arXiv:0710.4780},
  year   = {2007}
}
R2 v1 2026-06-29T05:07:02.521Z