逻辑程序设计中XML文档的查询
Querying XML Documents in Logic Programming
摘要：
可扩展置标语言（XML）是从SGML派生出来的一种简单、非常灵活的文本格式。XML最初是为了应对大规模电子出版的挑战而设计的，现在它在Web和其他地方的各种数据交换中也发挥着越来越重要的作用。XML语言是努力提供XML文档地址部分的结果。为了支持这一主要目的，它变成了一种针对XML文档的查询语言。在本文中，我们提出了一个建议，在逻辑程序设计中实现的语言。为了达到这个目的，我们将通过一个逻辑程序来描述XML文档的表示。规则和事实可用于表示文档模式和XML文档本身。特别是，我们将介绍如何索引XML文档的逻辑程序：规则应该存储在主存储器中，但事实存储在辅助存储器中使用两种索引：一个为每个XML标签，和其他的每组终端项目。此外，我们还将研究如何通过XML语言对表示XML文档的逻辑程序进行查询。它发展了逻辑程序关于表达式的专门化。最后，我们还将解释如何将索引和逻辑程序的自顶向下评估结合起来。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
英文摘要：
Extensible Markup Language (XML) is a simple, very flexible text format derived from SGML. Originally designed to meet the challenges of large-scale electronic publishing, XML is also playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere. XPath language is the result of an effort to provide address parts of an XML document. In support of this primary purpose, it becomes in a query language against an XML document. In this paper we present a proposal for the implementation of the XPath language in logic programming. With this aim we will describe the representation of XML documents by means of a logic program. Rules and facts can be used for representing the document schema and the XML document itself. In particular, we will present how to index XML documents in logic programs: rules are supposed to be stored in main memory, however facts are stored in secondary memory by using two kind of indexes: one for each XML tag, and other for each group of terminal items. In addition, we will study how to query by means of the XPath language against a logic program representing an XML document. It evolves the specialization of the logic program with regard to the XPath expression. Finally, we will also explain how to combine the indexing and the top-down evaluation of the logic program. To appear in Theory and Practice of Logic Programming (TPLP)"
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
