On types for XML query language Xcerpt

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

Volumn 2901, Issue , 2003, Pages 128-145

  Wilk, Artur ^a   Drabent, Włodzimierz ^a,b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b POLISH ACADEMY OF SCIENCES   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; QUERY LANGUAGES; QUERY PROCESSING; SEMANTIC WEB;

DATA TERMS; TREE AUTOMATA; TYPE SYSTEMS; WEB APPLICATION; XML DATA; XML QUERY LANGUAGE; XML SCHEMA LANGUAGES; XML SCHEMAS;

XML;

EID: 0348155929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24572-8_9     Document Type: Article

References (17)

1. S. Berger, F. Bry, S. Schaffert, and C. Wieser. Xcerpt and visXcerpt: From pattern-based to visual querying of XML and semistructured data. In Proceedings of the 29th Intl. Conference on Very Large Databases (VLDB03) - Demonstrations Track, Berlin, Germany, 2003.
2. H. Boley, S. Tabet, and G. Wagner. Design rationale of RuleML: A markup language for semantic web rules. In Proc. Semantic Web Working Symposium (SWWS'01), Stanford, 2001. http://www.dfki.uni-kl.de/ruleml.
3. A. Brüggemann-Klein and D. Wood. One-unambiguous regular languages. Information and Computation, 142(2):182-206, May 1998.
4. F. Bry, W. Drabent, and J. Maluszynski. On subtyping of tree-structured data. Technical report, IDA, Linköpings universitet, 2003. http://www.ipipan.waw.pl/ drabent/types.winter.03/.
5. F. Bry and S. Schaffert. A gentle introduction into Xcerpt, a rule-based query and transformation language for XML. Technical Report PMS-FB-2002-11, Computer Science Institute, Munich, Germany, 2002. Invited article at International Workshop on Rule Markup Languages for Business Rules on the Semantic Web.
6. F. Bry and S. Schaffert. Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. In Proc. of the International Conference on Logic Programming, LNCS. Springer-Verlag, 2002.
7. F. Bry and S. Schaffert. The XML query language Xcerpt: Design principles, examples, and semantics. In Proc. 2nd Int. Workshop "Web and Databases", LNCS 2593, Erfurt, Germany, October 2002. Springer-Verlag.
8. J. Clark and M. Murata (editors). RELAX NG specification, Dec. 2001. http://www.oasis-open.org/committees/relax-ng/spec-20011203.html.
9. H. Common, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. http://www.grappa.univ-lille3.fr/tata/, 1999.
10. W. Drabent, J. Maluszynski, and P. Pietrzak. Using parametric set constraints for locating errors in CLP programs. Theory and Practice of Logic Programming, 2(4-5):549-610, 2002.
11. W. Drabent and M. Milkowska. Proving correctness and completeness of normal programs -a declarative approach. In P. Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Proceedings, volume 2237 of LNCS, pages 284-299. Springer-Verlag, 2001.
12. Extensible markup language (XML) 1.0 (second edition), W3C recommendation 6 October 2000. http://www.w3.org/TR/REC-xml.
13. D. C. Fallside (ed.). XML Schema part 0: Primer. W3C Recommendation, http:// www.w3.org/TR/xmlschema-0/, 2001.
14. J. E. Hopcroft and J. D. Ullmann. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.
15. 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, 2000. Full version under submission to TOPLAS.
16. M. Murata, D. Lee, M. Mani, and K. Kawaguchi. Taxonomy of XML schema languages using formal language theory. Submitted, 2003.
17. A. Wilk and W. Drabent. On Types for XML Query Language Xcerpt, Appendix. http://www.ida.liu.se/g-artwi/TypesForXML/appendix.pdf, 2003.