Developing and analyzing XSDs through BonXai

Martens, Wim; Niewerth, Matthias; Neven, Frank; Schwentick, Thomas

doi:10.14778/2367502.2367556

Cited by 8 publications

(14 citation statements)

References 6 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…BonXai is a full-fledged schema language with many features and a formal specification [14]. The language can be employed in various scenarios (c.f., [15]) ranging from the creation of novel XSDs to debugging of existing XSDs. Furthermore, BonXai is built on a solid theoretical foundation which is rooted in pattern-based schemas [16,17] and which facilitates transformation algorithms and their analysis.…”

Section: Discussionmentioning

confidence: 99%

“…Now we define BonXai Schema Definitions (BXSDs), which are a formal model for the core of BonXai schemas. The difference between the BonXai schema specification language and BXSDs is that the former can be used in our implementation [15] and has most of the XML Schema Language features to make it usable in practice, whereas the latter is a stripped down version that we use here to study translations between BonXai and XML Schema. For instance, the BonXai language supports integrity constraints, but we do not define these in BXSDs since they are trivial to translate from and to XSD.…”

Section: Basic Terminologymentioning

confidence: 99%

“…This algorithm is the core of a procedure that we implemented to translate XML Schema into BonXai [15]. The algorithm consists of two phases.…”

Section: Translation From Xml Schema To Bonxaimentioning

confidence: 99%

“…As a reality check, we implemented the BonXai system in a tool [15] that allows, among other things, to parse BonXai schemas, validate XML against them and highlights matching rules, and can translate back and forth between BonXai and XML Schema. Outline.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

BonXai

Martens

Neven

Niewerth

et al. 2015

Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems

Self Cite

View full text Add to dashboard Cite

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 Definitions (XSDs) are notoriously difficult. In this paper, we introduce the XML specification language BonXai which possesses most features of XSDs, including its expressivity, while retaining the simplicity of 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 by no means to replace XML Schema, but rather to provide a simpler DTD-like alternative to schema designers that do not need the explicit use of types. Therefore, BonXai can be seen as a practical front-end for XML Schema. A particular strong point of BonXai is its solid foundation rooted in a decade of theoretical work around pattern-based schemas. We present in detail the formal model for BonXai and discuss translation algorithms to and from XML Schema.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Basic Terminologymentioning

confidence: 99%

“…This algorithm is the core of a procedure that we implemented to translate XML Schema into BonXai [15]. The algorithm consists of two phases.…”

Section: Translation From Xml Schema To Bonxaimentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

BonXai

Martens

Neven

Niewerth

et al. 2015

Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…For example, one design consideration for XPath 2.0 was strengthening its logical core to incorporate first-order logic on trees [12, Chapter 1]. Another example of the return from theory to practice is the schema language BonXai [19,20] which, based on theoretical characterizations of XML Schema [17], could provide a more user-friendly way of developing XML Schemas.…”

Section: Xmlmentioning

confidence: 99%

Theory for processing data on the Web

Martens

2014

It - Information Technology

Self Cite

View full text Add to dashboard Cite

The World Wide Web Consortium (W3C) develops a wide range of standards for data processing on the Web. Prominent examples are RDF, SPARQL, XML, XPath, XQuery, and XSLT. Since these standards are widely used, they bring many interesting challenges for researchers. During the development of these standards, the W3C often works under a rather tight time schedule and does not always have all the cards on the table when design decisions need to be made. This is a situation in which research and practice can greatly benefit from each other. The W3C continuously releases drafts of the standards which researchers can investigate. Researchers can inform the W3C of their results and, conversely, the W3C can give the opportunity to immediately incorporate research results into practice.

show abstract