Applications of Brzozowski derivatives to XML Schema processing

Proceedings of the Extreme Markup Languages 2005 Conference

Volumn , Issue , 2005, Pages

  Sperberg McQueen, C M ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Modeling; Processing; Schema languages

Indexed keywords

ALGEBRAIC MANIPULATIONS; CONTENT MODEL; REGULAR EXPRESSIONS; SCHEMA LANGUAGE; XML SCHEMAS;

DATA HANDLING; MODEL CHECKING; MODELS; PATTERN MATCHING; PROCESSING; XML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84871747900     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Brüggemann-Klein, Anne. 1993. "Regular expressions into finite automata." Theoretical Computer Science 120.2 (1993): 197-213.
2. Brüggemann-Klein, Anne. 1993. Formal models in document processing. Habilitationsschrift, Freiburg i. Br., 1993. 110 pp. Available at ftp://ftp.informatik.uni-freiburg.de/documents/papers/brueggem/habil.ps
3. (Cover pages archival copy also at http://www.oasis-open.org/cover/ bruggDissert-ps.gz).
4. Brüggemann-Klein, Anne, and Derick Wood. 1998. "One-unambiguous regular languages." Information and computation 140 (1998): 229-253.
5. Brzozowski, Janusz A. "Derivatives of regular expressions" Journal of the ACM 11.4 (1964): 481-494.
6. Clark, James. 2002. "An algorithm for RELAX NG validation." 13 February 2002. http://www.thaiopensource.com/relaxng/derivative.html
7. English, Joe. 1999. How to validate XML. http://www.flightlab.com/~joe/ sgml/validate.html
8. Foster, Bob. 2003. "Derivative works [Parsing]." Blog entry, 27 January 2003, in Technical difficulties. http://bobfoster.com/plog/index.php?m= 200301
9. Foster, Bob. 2004. "Derivatives of Bounded Rep[e]tition." Blog entry, 17 May 2004, in City Life: Full Speed Ahead. http://jroller.com/comments/ bobfoster/FullSpeedAhead/derivatives-of-bounded-repitition
10. Fuchs, Matthew, and Allen Brown. 2003. "Supporting UPA and restriction on an extension of XML Schema." Extreme Markup Languages, Montréal, 2003. Available online at http://www.idealliance.org/papers/ extreme03/html/2003/Fuchs01/EML2003Fuchs01.html
11. Glushkov, V. N. 1961. "The abstract theory of automata", tr. J. M. Jackson, in Russian Mathematical Surveys, A translation of the survey articles and of selected biographical articles in Uspekhi matematicheskikh nauk, ed. J. L. B. Cooper, vol. 16 (London: Cleaver-Hume, 1961), pp. 1-53.
12. Hopkins, Mark. 1994. "Regular Expression Software". Posting to comp.compilers, 17 February 1994. http://compilers.iecc.com/comparch/article/94- 02-109
13. International Organization for Standardization (ISO). 1986. ISO 8879-1986 (E). Information processing - Text and Office Systems - Standard Generalized Markup Language (SGML). International Organization for Standardization, Geneva, 1986.
14. Kawaguchi, Kohsuke. 2003. Sun Multi-Schema XML Validator. Version 1.2, April 2003. Available from http://www.sun.com/software/xml/developers/ multischema/
15. Schmidt, Martin. 2002. Design and Implementation of a validating XML parser in Haskell. Master's thesis, Fachhochschule Wedel (Germany).
16. Sperberg-McQueen, C. M. 2004. "Notes on finite state automata with counters." http://www.w3.org/XML/2004/05/msm-cfa.html
17. Thompson, Henry S., and Richard Tobin. 2003. "Using finite state automata to implement W3C XML Schema content model validation and restriction checking." XML Europe 2003, London. Available online at http://www.idealliance.org/papers/dx-xmle03/papers/02-02-05/02-02-05.html (imperfectly rendered)
18. or at http://www.ltg.ed.ac.uk/~ht/XML-Europe-2003.html.
19. World Wide Web Consortium (W3C). "XML Schema Part 0: Primer", ed. David Fallside. W3C Recommendation, 2 May 2001.
20. http://www.w3.org/TR/xmlschema-0/.
21. World Wide Web Consortium (W3C). 2001. XML Schema Part 1: Structures, ed. Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn. W3C Recommendation 2 May 2001. [Cambridge, Sophia-Antipolis, and Tokyo]: World Wide Web Consortium. http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/
22. World Wide Web Consortium (W3C). 2001. XML Schema Part 2: Datatypes, ed. Biron, Paul V. and Ashok Malhotra. W3C Recommendation 2 May 2001. [Cambridge, Sophia-Antipolis, and Tokyo]: World Wide Web Consortium. http://www.w3.org/TR/ 2001/REC-xmlschema-2-20010502/
23. World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0 (Third Edition), ed. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler (Second Edition), François Yergeau (Third Edition). W3C Recommendation 4 February 2004. Published by the World Wide Web Consortium at http://www.w3.org/TR/REC-xml/.
24. World Wide Web Consortium (W3C). Namespaces in XML 1.1, ed. Tim Bray, Dave Hollander, Andrew Layman, and Richard Tobin. W3C Recommendation 4 February 2004. Published by the World Wide Web Consortium at http://www.w3.org/TR/xml- names11.
25. Content model algebra. Exoterica white paper. Dated and attributed from external evidence. Original at http://www.omnimark.com/white/cma/cma.html has disappeared
26. but copies appear to be available at http://www.oasis-open.org/cover/ omnimarkContentModelAlgebra200101.html
27. and http://home.chello.no/~mgrsby/sgmlintr/sgmlcont.htm