BonXai
BonXai
复制标题
邦赛
DOI：
10.1145/3105960
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Thomas Schwentick
中科院分区：
文献类型：
--
作者：
Wim Martens;Frank Neven;Matthias Niewerth;Thomas Schwentick
虽然从DTD到XML Schema的迁移是由增加表达性和灵活性的需求驱动的，但后者的使用和理解也要复杂得多。DTD的特点是简单，而XML模式文档是出了名的难。在本文中，我们介绍了XML规范语言BonXai，它结合了XML模式的许多功能，但可以说几乎与DTDs一样易于使用。简而言之，后者是通过牺牲类型的显式使用来支持表达元素上下文的简单模式来实现的。BonXai的目标不是取代XML Schema，而是为那些希望超越DTD的表达能力和功能，但不需要显式使用类型的用户提供一个更简单的替代方案。此外，XML Schema处理工具可以用作BonXai的后端，因为BonXai可以自动转换为XML Schema。BonXai的一个特别的优点是其坚实的基础，它植根于围绕基于模式的模式进行的十年理论工作。我们提出了一个正式的BonXai的核心片段的模型和翻译算法，并从一个核心片段的XML Schema。我们证明了BonXai和XML Schema可以在树语言的层次上来回转换，并正式研究了这两种语言之间的大小权衡。
While the migration from DTD to XML Schema was driven by a need for increased expressivity and flexibility, the latter was also significantly more complex to use and understand. Whereas DTDs are characterized by their simplicity, XML Schema Documents are notoriously difficult. In this article, we introduce the XML specification language BonXai, which incorporates many features of XML Schema but is arguably almost as easy to use as DTDs. In brief, the latter is achieved by sacrificing the explicit use of types in favor of simple patterns expressing contexts for elements. The goal of BonXai is not to replace XML Schema but rather to provide a simpler alternative for users who want to go beyond the expressiveness and features of DTD but do not need the explicit use of types. Furthermore, XML Schema processing tools can be used as a back-end for BonXai, since BonXai can be automatically converted into XML Schema. A particularly strong point of BonXai is its solid foundation rooted in a decade of theoretical work around pattern-based schemas. We present a formal model for a core fragment of BonXai and the translation algorithms to and from a core fragment of XML Schema. We prove that BonXai and XML Schema can be converted back-and-forth on the level of tree languages and we formally study the size trade-offs between the two languages.