A Formal and Unified Description of XML Manipulation Languages

• Autorzy: Hidders J. , Paredaens J.

Identyfikatory

DOI

10.3233/FI-2016-1370

• Języki publikacji: EN

Abstrakty

EN

We discuss three well-known languages for querying and manipulatingXML documents: XQuery, XPath and XSLT. They are considered to be the standard languages for processing XML documents. However, specifying their complete semantics in a formal way seems almost impossible. Indeed, an attempt by the W3C XML Query Working Group to do so for XQuery was ultimately abandoned. We introduce three sublanguages, called MiXPath, MiXQuery and MiXSLT, and describe their syntax and formal semantics. The syntax and semantics of these languages are chosen such that they are consistent with the ones given in the relatedW3C recommendations. As such this provides a practical foundation for research and teaching of XML languages. For this purpose the sublanguages are chosen such that they contain the most crucial features, constructs and expressions of each of these three languages.

Słowa kluczowe

EN

formal semantics; semistructured data; transformation languages; XML; XPath; XQuery; XSLT

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2016
• Tom: Vol. 145, nr 4
• Strony: 429--470
• Opis fizyczny: Bibliogr. 49 poz., rys.

Twórcy

autor

Hidders J.

• Delft University of Technology, Mekelweg 4, NL-2628 CD Delft, The Netherlands

autor

Paredaens J.

• University of Antwerp, Middelheimlaan 1, BE-2020 Antwerp, Belgium

Bibliografia

• [1] Bray T, Paoli J, Sperberg-McQueen CM,Maler E, Yergeau F, Cowan J. ExtensibleMarkup Language (XML) 1.1 (Second Edition); 2006. http://www.w3.org/TR/xml11/. W3C Recommendation.
• [2] Abiteboul S, Manolescu I, Rigaux P, Rousset MC, Senellart P. Web Data Management. Web Data Management. Cambridge University Press; 2011. Available from: http://books.google.nl/books?id=yKCPHemQ0sC.
• [3] Fawcett J, Ayers D, Quin LRE. Beginning XML, 5th Edition. John Wiley & Sons; 2012. Available from: http://books.google.nl/books?id=wYSQZwEACAAJ.
• [4] Robie J, Dyck M. XQuery 3.1: An XML Query Language; 2014. http://www.w3.org/TR/xquery-31/W3C Recommendation.
• [5] Robie J, Chamberlin D, Dyck M, Snelson J. XQuery 3.0: An XML Query Language; 2014. http://www.w3.org/TR/xquery-30/. W3C Recommendation.
• [6] Kay M. XSL Transformations (XSLT) Version 3.0; 2014. http://www.w3.org/TR/xslt-30/. W3C Recommendation.
• [7] Brundage M. XQuery: The XML Query Language. Pearson Higher Education; 2004.
• [8] Chamberlin D. XQuery: An XML query language, tutorial overview. IBM Systems Journal. 2002;41(4).
• [9] Katz H, Chamberlin D, Draper D, Fernández M, Kay M, Robie J, et al., editors. XQuery from the Experts: A Guide to the W3C XML Query Language. Addison-Wesley; 2004.
• [10] Kay M. Learn XQuery in 10 Minutes: An XQuery Tutorial; 2006. http://www.stylusstudio.com/xquery_primer.html. Data Direct Technologies.
• [11] Tidwell D. XSLT: Mastering XML Transformations (2nd ed.). O’Reilly; 2008.
• [12] W3Schools. XSLT Tutorial;. http://www.w3schools.com/xsl/.
• [13] Berglund A, Fernández M, Malhotra A, Marsh J, Nagy M, Walsh N. XQuery 1.0 and XPath 2.0 Data Model (XDM) (Second Edition); 2010. http://www.w3.org/TR/xpath-datamodel/. W3C Recommendation.
• [14] Robie J, Chamberlin D, Dyck M, Snelson J. XML Path Language (XPath) 3.0; 2014. http://www.w3.org/TR/xpath-30/. W3C Recommendation.
• [15] Draper D, Dyck M, Fankhauser P, Fernández M, Malhotra A, Rose K, et al.. XQuery 1.0 and XPath 2.0 Formal Semantics (Second Edition); 2010. http://www.w3.org/TR/xquery-semantics/.W3C Recommendation.
• [16] Wadler P. Two semantics for XPath; 1999. http://www.cs.bell-labs.com/who/wadler/topics/xml.html.
• [17] Hidders J, Paredaens J, Vercammen R, Demeyer S. A Light but Formal Introduction to XQuery. In: Proceedings of the Second International XML Database Symposium (XSym 2004). No. 2186 in LNCS. Toronto, Canada: Springer; 2004. p. 5–20.
• [18] Hidders J, Michiels P, Paredaens J, Vercammen R. LiXQuery: a formal foundation for XQuery research. SIGMOD Record. 2005;34(4):21–26.
• [19] Bex GJ, Maneth S, Neven F. A formal model for an expressive fragment of XSLT. Information Systems. 2002;27:21–39.
• [20] Wadler P. A formal semantics of patterns in XSLT and XPath. Markup Lang. 2000Mar;2(2):183–202. Available from: http://dx.doi.org/10.1162/10996620052104302. doi:10.1162/10996620052104302.
• [21] Koch C. On the complexity of nonrecursive XQuery and functional query languages on complex values. ACMTrans Database Syst. 2006 Dec;31(4):1215–1256. Available from: http://doi.acm.org/10.1145/1189769.1189771. doi:10.1145/1189769.1189771.
• [22] Gottlob G, Koch C, Pichler R. Efficient algorithms for processing XPath queries. ACMTrans Database Syst. 2005;30(2):444–491.
• [23] Gottlob G, Koch C, Pichler R, Segoufin L. The complexity of XPath query evaluation and XML typing. J ACM. 2005 Mar;52(2):284–335. Available from: http://doi.acm.org/10.1145/1059513.1059520. doi:10.1145/1059513.1059520.
• [24] Marx M. Conditional XPath. ACM Trans Database Syst. 2005;30(4):929–959.
• [25] Gyssens M, Paredaens J, Gucht DV, Fletcher GHL. Structural characterizations of the semantics of XPath as navigation tool on a document. In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA; 2006. p. 318–327.
• [26] Hidders J, Marrara S, Paredaens J, Vercammen R. On the expressibility of functions in XQuery fragments. Inf Syst. 2008;33(4-5):435–455.
• [27] Hidders J, Marrara S, Paredaens J, Vercammen R. On the Expressive Power of XQuery Fragments. In: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers. vol. 3774 of Lecture Notes in Computer Science. Springer; 2005. p. 154–168.
• [28] Bojańczyk M, Parys P. XPath evaluation in linear time. J ACM. 2011 Jul;58(4):17:1–17:33. Available from: http://doi.acm.org/10.1145/1989727.1989731. doi:10.1145/1989727.1989731.
• [29] Groppe S, Groppe J, Klein N, Bettentrupp R, Böttcher S, Gruenwald L. Transforming XSLT stylesheets into XQuery expressions and vice versa. Computer Languages, Systems & Structures. 2011;37(2):76–111. Available from: http://www.sciencedirect.com/science/article/pii/S1477842410000394. doi:10.1016/j.cl.2010.11.001.
• [30] Bosch T, Mathiak B. XSLT transformation generating OWL ontologies automatically based on XML Schemas. In: Internet Technology and Secured Transactions (ICITST), 2011 International Conference for; 2011. p. 660 –667.
• [31] Strommer M, Kromer F, Pichler C, Huemer C. Business Document Transformation Using Core Components and XSLT. In: Commerce and Enterprise Computing (CEC), 2011 IEEE 13th Conference on; 2011. p. 129–136. doi:10.1109/CEC.2011.30.
• [32] Almendros-Jiménez J. Extending XQuery for Semantic Web Reasoning. In: Applications of Declarative Programming and KnowledgeManagement. vol. 6547 of LectureNotes in Computer Science. Springer Berlin / Heidelberg; 2011. p. 117–134. 10.1007/978-3-642-20589-7 8. Available from: http://dx.doi.org/10.1007/978-3-642-20589-7\_8.
• [33] Goncalves M, Tineo L. Fuzzy XQuery. In: Soft Computing in XML Data Management. vol. 255 of Studies in Fuzziness and Soft Computing. Springer Berlin / Heidelberg; 2010. p. 133–163. 10.1007/978-3-642-14010-5 6. Available from: http://dx.doi.org/10.1007/978-3-642-14010-5\_6.
• [34] Porkodi R, Bhuvaneswari V, Rajesh R, Amudha T. An Improved Association Rule Mining Technique for XML Data Using XQuery and Apriori Algorithm. In: Advance Computing Conference, 2009. IACC 2009. IEEE International; 2009. p. 1510 –1514. doi:10.1109/IADCC.2009.4809242.
• [35] Almendros-Jimenez JM, Silva J, Tamarit S. XQuery optimization based on program slicing. In: Proceedings of the 20th ACM international conference on Information and knowledge management. CIKM ’11. New York, NY, USA: ACM; 2011. p. 1525–1534. Available from: http://doi.acm.org/10.1145/2063576.2063794. doi:10.1145/2063576.2063794.
• [36] Fredrick EJT, Radhamani G. Information Retrieval Using XQuery Processing Techniques. International Journal of Database Management Systems (IJDMS). 2011;3(1):50–58.
• [37] Okada M, Ishii N, Torii I. Information Extraction Using XPath. In: Knowledge-Based and Intelligent Information and Engineering Systems. vol. 6278 of Lecture Notes in Computer Science. Springer Berlin /Heidelberg; 2010. p. 104–112. 10.1007/978-3-642-15393-8 13. Available from: http://dx.doi.org/10.1007/978-3-642-15393-8\_13.
• [38] Georgiadis H, Charalambidis M, Vassalos V. A query optimization assistant for XPath. In: Proceedings of the 14th International Conference on Extending Database Technology. EDBT/ICDT ’11. New York, NY, USA: ACM; 2011. p. 550–553. Available from: http://doi.acm.org/10.1145/1951365.1951438. doi:10.1145/1951365.1951438.
• [39] Janssen W, Korlyukov A, Van den Bussche J. On the Tree-transformation Power of XSLT. Acta Inf. 2006 Nov;43(6):371–393. Available from: http://dx.doi.org/10.1007/s00236-006-0026-8. doi:10.1007/s00236-006-0026-8.
• [40] Fernández M, Siméon J, Choi B, Marian A, Sur G. Implementing XQuery 1.0: The Galax Experience. In: Proceedings of the 29th International Conference on Very Large Data Bases - Volume 29. VLDB ’03. VLDB Endowment; 2003. p. 1077–1080. Available from: http://dl.acm.org/citation.cfm?id=1315451.1315553.
• [41] Paredaens J. About X (ML ׀ Path ׀ Query ׀ SLT). In: Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, SEBD 2008, 22-25 June 2008,Mondello, PA, Italy; 2008. p. 3–6.
• [42] Paredaens J, Hidders J. A Simple but Formal Semantics for XML Manipulation Languages. In: Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. vol. 5956 of Lecture Notes in Computer Science. Springer; 2010. p. 3–5.
• [43] International Organization for Standardization. ISO 8879:1986: Information processing — Text and office systems—Standard Generalized Markup Language (SGML). Geneva, Switzerland: International Organization for Standardization; 1986. Available from: http://www.iso.ch/cate/d16387.html.
• [44] Boag S, Kay M, Tong J, Walsh N, Zongaro H. XSLT 2.0 and XQuery 1.0 Serialization (Second Edition); 2010. http://www.w3.org/TR/xslt-xquery-serialization/. W3C Recommendation.
• [45] Clark J, DeRose S. XML Path Language (XPath), Version 1.0; 1999. http://www.w3.org/TR/xpath/.W3C Recommendation.
• [46] Berglund A, Boag S, Chamberlin D, Fernández MF, Kay M, Robie J, et al.. XML Path Language (XPath) 2.0 (Second Edition); 2010. http://www.w3.org/TR/xpath20/. W3C Recommendation.
• [47] W3Schools. XPath Tutorial;. http://www.w3schools.com/xpath/default.asp.
• [48] Boag S, Chamberlin D, Fernández MF, Florescu D, Robie J, Siméon J. XQuery 1.0: An XML Query Language (Second Edition); 2010. http://www.w3.org/TR/xquery/. W3C Recommendation.
• [49] Kay M. XSL Transformations (XSLT) Version 2.0; 2007. http://www.w3.org/TR/xslt20/. W3C Recommendation.

Uwagi

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).