Logical Foundations of XML and XQuery

  • Maarten Marx
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5689)


XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the students learn about the main languages for querying XML data: XPath and XQuery. The course contains both theoretical work and practical examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Buneman, P., Suciu, D.: Data on the web. Morgan Kaufman, San Francisco (2000)Google Scholar
  2. 2.
    Afanasiev, L., Franceschet, M., Marx, M., Zimuel, E.: XCheck: a Platform for Benchmarking XQuery Engines. In: Proceedings of VLDB, Demo, Seoul, Korea. ACM Press, New York (2006)Google Scholar
  3. 3.
    Afanasiev, L., Marx, M.: Operationalization of policy framing questions on parliamentary data with XQuery (2009),
  4. 4.
    Afanasiev, L., ten Cate, B., Marx, M.: Lekker bomen. Nieuwsbrief van de NVTI 11, 38–52 (2007)Google Scholar
  5. 5.
    Axyana software. Qizx/open. An open-source Java implementation of XQuery (2006),
  6. 6.
    Balog, K.: People Search in the Enterprise. PhD thesis, University of Amsterdam (June 2008)Google Scholar
  7. 7.
    Benedikt, M., Fan, W., Kuper, G.M.: Structural properties of XPath fragments. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 79–95. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Bex, G.J., Gelade, W., Neven, F., Vansummeren, S.: Learning deterministic regular expressions for the inference of schemas from xml data. In: WWW 2008: Proceeding of the 17th international conference on World Wide Web, pp. 825–834. ACM, New York (2008)CrossRefGoogle Scholar
  9. 9.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)CrossRefzbMATHGoogle Scholar
  10. 10.
    Bojańczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data trees and XML reasoning. In: PODS, pp. 10–19 (2006)Google Scholar
  11. 11.
    Brüggemann-Klein, A., Wood, D.: Caterpillars, context, tree automata and tree pattern matching. In: Rozenberg, G., Thomas, W. (eds.) Proceedings of DLT 1999: Foundations, Applications and Perspectives, pp. 270–285. World Scientific Publishing, Singapore (2000)Google Scholar
  12. 12.
    Chandra, A., Harel, D.: Structure and complexity of relational queries. J. Comput. Syst. Sci. 25(1), 99–128 (1982)CrossRefzbMATHGoogle Scholar
  13. 13.
    Clark, J., DeRose, S.: XML Path Language (XPath),
  14. 14.
    Clarke, E.M., Schlingloff, B.-H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1367–1522. Elsevier Science Publishers, Amsterdam (2000)Google Scholar
  15. 15.
    Cleaveland, R., Steffen, B.: A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Form. Methods Syst. Des. 2(2), 121–147 (1993)CrossRefzbMATHGoogle Scholar
  16. 16.
    Codd, E.: Relational completeness of data base sublanguages. In: Rustin, R. (ed.) Database Systems, pp. 33–64. Prentice-Hall, Englewood Cliffs (1972)Google Scholar
  17. 17.
    Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Heidelberg (1995)zbMATHGoogle Scholar
  18. 18.
    Engelfriet, J., Hoogeboom, H.J.: Nested pebbles and transitive closure. In: Durand, B., Thomas, W. (eds.) STACS 2006. LNCS, vol. 3884, pp. 477–488. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    Etessami, K., Vardi, M.: First-order logic with two variables and unary temporal logic. In: Proc. LICS 1997, pp. 228–235 (1997)Google Scholar
  20. 20.
    Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: SMOQE: a system for providing secure access to XML. In: Proceedings VLDB 2006, pp. 1227–1230 (2006)Google Scholar
  21. 21.
    Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Rewriting regular XPath queries on XML views. In: Proceedings ICDE 2007 (2007)Google Scholar
  22. 22.
    Fernández, M., Siméon, J., Chen, C., Choi, B., Gapeyev, V., Marian, A., Michiels, P., Onose, N., Petkanics, D., Ré, C., Stark, M., Sur, G., Vyas, A., Wadler, P.: Galax. The XQuery implementation (2006),
  23. 23.
    Filiot, E., Niehren, J., Talbot, J.-M., Tison, S.: Polynomial time fragments of xpath with variables. In: Proceedings of PODS 2007 (2007)Google Scholar
  24. 24.
    Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18, 194–211 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Gielissen, T., Marx, M.: Exemelification of parliamentary debates. In: Proceedings of the 9th Dutch-Belgian Information Retrieval Workshop (DIR 2009), Twente, The Netherlands, pp. 19–25 (2009)Google Scholar
  26. 26.
    Goris, E., Marx, M.: Looping caterpillars. In: Proceedings LICS 2005. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  27. 27.
    Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. In: VLDB 2002 (2002)Google Scholar
  28. 28.
    Gottlob, G., Koch, C., Schulz, K.: Conjunctive queries over trees. In: Proceedings PODS 2004, pp. 189–200 (2004)Google Scholar
  29. 29.
    Grohe, M., Schweikardt, N.: The succinctness of first-order logic on linear orders 1(1) (2005)Google Scholar
  30. 30.
    Hajer, M.: Setting the stage, a dramaturgy of policy deliberation. Administration & Society 36(6), 624–647 (2005)CrossRefGoogle Scholar
  31. 31.
    Halevy, A.Y., Rajaraman, A., Ordille, J.J.: Data integration: The teenage years. In: Dayal, U., Whang, K.-Y., Lomet, D.B., Alonso, G., Lohman, G.M., Kersten, M.L., Cha, S.K., Kim, Y.-K. (eds.) VLDB, pp. 9–16. ACM, New York (2006)Google Scholar
  32. 32.
    Halpern, J.Y., Harper, R., Immerman, N., Kolaitis, P.G., Vardi, M.Y., Vianu, V.: On the unusual effectiveness of logic in computer science. The Bulletin of Symbolic Logic 7(2), 213–236 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Hariman, R.: Political style. The artistry of power. University of Chicago Press, Chicago (1995)CrossRefGoogle Scholar
  34. 34.
    Hodkinson, I., Reynolds, M.: Separation - past, present, and future. In: Artemov, S., et al. (eds.) We will show them! (Essays in honour of Dov Gabbay on his 60th birthday), pp. 117–142. College Publications (2005)Google Scholar
  35. 35.
    Hollenberg, M.: An equational axiomatization of dynamic negation and relational composition. Journal of Logic, Language and Information 6(4), 381–401 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  36. 36.
    Kamp, J.A.W.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles (1968)Google Scholar
  37. 37.
    Kamps, J., Marx, M., de Rijke, M., Sigurbjörnsson, B.: Articulating information needs in XML query languages. ACM Trans. Inf. Syst. 24(4), 407–436 (2006)CrossRefGoogle Scholar
  38. 38.
    Kay, M.: XPath 2.0 Programmer’s Reference. Wrox (2004)Google Scholar
  39. 39.
    Kay, M.: XSLT 2.0 3rd edn. Programmer’s Reference. Wrox (2004)Google Scholar
  40. 40.
    Kay, M.H.: SaxonB. An XSLT and XQuery processor (2006),
  41. 41.
    Lange, M.: Model checking propositional dynamic logic with all extras. Journal of Applied Logic 4(1), 39–49 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    Lazer, D., Pentland, A., Adamic, L., Aral, S., Barabasi, A.-L., Brewer, D., Christakis, N., Contractor, N., Fowler, J., Gutmann, M., Jebara, T., King, G., Macy, M., Roy, D., Van Alstyne, M.: Computational social science. Science 323(5915), 721–723 (2009)CrossRefGoogle Scholar
  43. 43.
    Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. PODS, pp. 233–246 (2002)Google Scholar
  44. 44.
    Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Vijayaraman, T.M., Buchmann, A.P., Mohan, C., Sarda, N.L. (eds.) VLDB, pp. 251–262. Morgan Kaufmann, San Francisco (1996)Google Scholar
  45. 45.
    Lutz, C.: The Complexity of Reasoning with Concrete Domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2002)Google Scholar
  46. 46.
    Marx, M.: XPath with conditional axis relations. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., Böhm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol. 2992, pp. 477–494. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  47. 47.
    Marx., M.: Conditional XPath. ACM Transactions on Database Systems 30(4), 929–959 (2005)CrossRefGoogle Scholar
  48. 48.
    Marx, M., de Rijke, M.: Semantic Characterizations of Navigational XPath. ACM SIGMOD Record 34(2), 41–46 (2005)CrossRefGoogle Scholar
  49. 49.
    MonetDB/XQuery. An XQuery Implementation (2006),
  50. 50.
    Neven, F., Schwentick, T.: XPath containment in the presence of disjunction, DTDs, and variables. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 312–326. Springer, Heidelberg (2002)Google Scholar
  51. 51.
    O’Keefe, R.A., Trotman, A.: The Simplest Query Language That Could Possibly Work. In: Proceedings of the 2nd INEX Workshop (2004)Google Scholar
  52. 52.
    Rahm, E., Do, H.-H.: Data cleaning: Problems and current approaches. IEEE Techn. Bulletin on Data Engineering 23(4) (2000)Google Scholar
  53. 53.
    Reynaert, M.: Non-interactive OCR post-correction for giga-scale digitization projects. In: Gelbukh, A. (ed.) CICLing 2008. LNCS, vol. 4919, pp. 617–630. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  54. 54.
    Roggeband, C., Vliegenthart, R.: Divergent framing: The public debate on migration in the Dutch parliament and media, 1995-2004. West European Politics 30(3), 524–548 (2007)CrossRefGoogle Scholar
  55. 55.
    Runapongsa, K., Patel, J.M., Jagadish, H.V., Al-Khalifa, S.: The michigan benchmark: A microbenchmark for XML query processing systems. In: Bressan, S., Chaudhri, A.B., Li Lee, M., Yu, J.X., Lacroix, Z. (eds.) CAiSE 2002 and VLDB 2002. LNCS, vol. 2590, pp. 160–161. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  56. 56.
    Seaton, J.: The Scottish Parliament and e-democracy. Aslib Proceedings: New Information Perspectives 57(4), 333–337 (2005)CrossRefGoogle Scholar
  57. 57.
    Sigurbjörnsson, B.: Focused information access using XML element retrieval. PhD thesis, University of Amsterdam (2006)Google Scholar
  58. 58.
    Stockmeyer, L.: The Complexity of Decision Problems in Automata Theory. PhD thesis, Dept. Electrical Engineering. MIT, Cambridge (1974)Google Scholar
  59. 59.
    Tarski, A.: On the calculus of relations. Journal of Symbolic Logic 6, 73–89 (1941)MathSciNetCrossRefzbMATHGoogle Scholar
  60. 60.
    Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol. 41. AMS Colloquium publications, Providence (1987)zbMATHGoogle Scholar
  61. 61.
    ten Cate, B.: The expressivity of XPath with transitive closure. In: Proceedings of PODS 2006, pp. 328–337 (2006)Google Scholar
  62. 62.
    ten Cate, B., Lutz, C.: The complexity of query containment in expressive fragments of XPath 2.0. In: Proceedings PODS 2007 (2007)Google Scholar
  63. 63.
    ten Cate, B.D., Marx, M.: Axiomatizing the logical core of xPath 2.0. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 134–148. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  64. 64.
    ten Cate, B., Marx, M.: Navigational xpath: calculus and algebra. SIGMOD Record 36(2), 19–26 (2007)CrossRefGoogle Scholar
  65. 65.
    van Baalen, C., Bos, A.: In vergadering bijeen. Rituelen, symbolen, tradties en gebruiken in de Tweede Kamer. In: Jaarboek Parlementaire Geschiedenis 2008, Boom (2008)Google Scholar
  66. 66.
    van Benthem, J.: Program constructions that are safe for bisimulation. Studia Logica 60(2), 330–331 (1998)MathSciNetzbMATHGoogle Scholar
  67. 67.
    Vardi, M.: On the complexity of bounded–variable queries. In: Proceedings PODS 1995, pp. 266–276 (1995)Google Scholar
  68. 68.
    Vardi, M.Y.: The complexity of relational query languages (extended abstract). In: Proceedings of STOC 1982, pp. 137–146. ACM Press, New York (1982)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Maarten Marx
    • 1
  1. 1.ISLAUniversiteit van AmsterdamThe Netherlands

Personalised recommendations