Boolean operations for attribute-element constraints: (Extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2759, Issue , 2003, Pages 201-212

  Hosoya, Haruo ^a   Murata, Makoto ^b  

^a KYOTO UNIVERSITY   (Japan)

^b IBM RESEARCH TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; XML;

ALGORITHMIC ASPECTS; ATTRIBUTE CONSTRAINT; BOOLEAN OPERATIONS; DIVIDE AND CONQUER; EXTENDED ABSTRACTS; REGULAR EXPRESSIONS; SCHEMA LANGUAGE; XML PROCESSING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 35248900050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45089-0_19     Document Type: Article

References (25)

1. G. Berry and R. Sethi. From regular expressions to deterministic automata. Theoretical Computer Science, 48(1):117-126, 1986.
2. T. Bray, D. Hollander, A. Layman, and J. Clark. Namespaces in XML. http:// www.w3.org/TR/REC-xml-names, 1999.
3. T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible markup language (XML™). http://www.w3.org/XML/, 2000.
4. J. A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481-494, Oct. 1964.
5. P. Buneman and B. Pierce. Union types for semistructured data. In Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science. Springer-Verlag, Sept. 1998. Proceedings of the International Database Programming Languages Workshop.
6. J. Clark. TREX: Tree Regular Expressions for XML. http://www.thaiopensource.com/trex/, 2001.
7. J. Clark, http://www.thaiopensource.com/relaxng/implement.html, 2002.
8. J. Clark and M. Murata. RELAX NG. http://www.relaxng.org, 2001.
9. D.C. Fallside. XML Schema Part O: Primer, W3C Recommendation, http:// www.w3.org/TR/xmlschema-0/, 2001.
10. P. Fankhauser, M. Fernández, A. Malhotra, M. Rys, J. Siméon, and P. Wadler. XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query-semantics/, 2001.
11. A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping. In Seventeenth Annual IEEE Symposium on Logic In Computer Science, 2002.
12. R. Harper and B. Pierce. A recrd calculus based on symmetric concatenation. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando FL, pages 131-142. ACM, Jan. 1991.
13. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
14. H. Hosoya and M. Murata. Validation and boolean operations for attribute-element constraints. In Programming Languages Technologies for XML (PLAN-X), pages 1-10, 2002.
15. H. Hosoya and M. Murata. Boolean operations and inclusion test for attribute-element constraints. Full version, 2003.
16. H. Hosoya and B. C. Pierce. XDuce: A typed XML processing language (preliminary report). In Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pages 226-244, May 2000.
17. H. Hosoya and B. C. Pierce. Regular expression pattern matching for XML. In The 25th, Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67-80, Jan. 2001.
18. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP), pages 11-22, Sept. 2000. Full version under submission to TOPLAS.
19. N. Klarlund, A. Møller, and M.I. Schwartzbach. DSD: A schema language for XML. http://www.brics.dk/DSD/, 2000.
20. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 11-22. ACM, May 2000.
21. A. Møller. Document Structure Description 2.0, December 2002. BRICS, Department of Computer Science, University of Aarhus, Notes Series NS-02-7. Available from http://www.brics.dk/DSD/.
22. M. Murata. Transformation of documents and schemas by patterns and contextual conditions. In Principles of Document Processing '96, volume 1293 of Lecture Notes in Computer Science, pages 153-169. Springer-Verlag, 1997.
23. M. Murata. RELAX (REgular LAnguage description for XML). http:// www.xml.gr.jp/relax/, 2001.
24. A. Tozawa. Towards static type inference for XSLT. In Proceedings of ACM Symposium on Document Engineering, 2001.
25. J. Vouillon. Interleaving types for XML. Personal communication, 2001.