Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/606
Title: | Which XML Schemas Admit 1-Pass Preorder Typing? | Authors: | MARTENS, Wim NEVEN, Frank Schwentick, Thomas |
Issue Date: | 2005 | Source: | DATABASE THEORY - ICDT 2005. p. 68-82 | Series/Report: | LECTURE NOTES IN COMPUTER SCIENCE | Series/Report no.: | 3363 | Abstract: | It is shown that the class of regular tree languages admitting one-pass preorder typing is exactly the class defined by restrained competition tree grammars introduced by Murata et al. [14]. In a streaming context, the former is the largest class of XSDs where every element in a document can be typed when its opening tag is met. The main technical machinery consists of semantical characterizations of restrained competition grammars and their subclasses. In particular, they can be characterized in terms of the context of nodes, closure properties, allowed patterns and guarded DTDs. It is further shown that deciding whether a schema is restrained competition is tractable. Deciding whether a schema is equivalent to a restained competition tree grammar, or one of its subclasses, is much more difficult: it is complete for EXPTIME. We show that our semantical characterizations allow for easy optimization and minimization algorithms. Finally, we relate the notion of one-pass preorder typing to the existing XML Schema standard. | Document URI: | http://hdl.handle.net/1942/606 | ISBN: | 978-3-540-24288-8 978-3-540-30570-5 |
ISSN: | 0302-9743 | DOI: | 10.1007/978-3-540-30570-5_5 | ISI #: | 000227472000005 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2006 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
36 icdt05.pdf | 381 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
8
checked on Oct 12, 2024
Page view(s)
72
checked on Nov 7, 2023
Download(s)
254
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.