Skip to main content
SpringerLink
Log in

Logical Foundations of XML and XQuery

  • Chapter
Book cover Reasoning Web. Semantic Technologies for Information Systems (Reasoning Web 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5689))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Buneman, P., Suciu, D.: Data on the web. Morgan Kaufman, San Francisco (2000)

    Google Scholar 

  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. Afanasiev, L., Marx, M.: Operationalization of policy framing questions on parliamentary data with XQuery (2009), http://ilps.science.uva.nl/PoliticalMashup/framing-questions-on-polidocs-data/

  4. Afanasiev, L., ten Cate, B., Marx, M.: Lekker bomen. Nieuwsbrief van de NVTI 11, 38–52 (2007)

    Google Scholar 

  5. Axyana software. Qizx/open. An open-source Java implementation of XQuery (2006), http://www.axyana.com/qizxopen

  6. Balog, K.: People Search in the Enterprise. PhD thesis, University of Amsterdam (June 2008)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  9. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Book  MATH  Google Scholar 

  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. 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. Chandra, A., Harel, D.: Structure and complexity of relational queries. J. Comput. Syst. Sci. 25(1), 99–128 (1982)

    Article  MATH  Google Scholar 

  13. Clark, J., DeRose, S.: XML Path Language (XPath), http://www.w3.org/TR/xpath

  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. 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)

    Article  MATH  Google Scholar 

  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. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Heidelberg (1995)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Rewriting regular XPath queries on XML views. In: Proceedings ICDE 2007 (2007)

    Google Scholar 

  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), http://www.galaxquery.org

  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. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18, 194–211 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  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. Goris, E., Marx, M.: Looping caterpillars. In: Proceedings LICS 2005. IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  27. Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. In: VLDB 2002 (2002)

    Google Scholar 

  28. Gottlob, G., Koch, C., Schulz, K.: Conjunctive queries over trees. In: Proceedings PODS 2004, pp. 189–200 (2004)

    Google Scholar 

  29. Grohe, M., Schweikardt, N.: The succinctness of first-order logic on linear orders 1(1) (2005)

    Google Scholar 

  30. Hajer, M.: Setting the stage, a dramaturgy of policy deliberation. Administration & Society 36(6), 624–647 (2005)

    Article  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  33. Hariman, R.: Political style. The artistry of power. University of Chicago Press, Chicago (1995)

    Book  Google Scholar 

  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. Hollenberg, M.: An equational axiomatization of dynamic negation and relational composition. Journal of Logic, Language and Information 6(4), 381–401 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  36. Kamp, J.A.W.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles (1968)

    Google Scholar 

  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)

    Article  Google Scholar 

  38. Kay, M.: XPath 2.0 Programmer’s Reference. Wrox (2004)

    Google Scholar 

  39. Kay, M.: XSLT 2.0 3rd edn. Programmer’s Reference. Wrox (2004)

    Google Scholar 

  40. Kay, M.H.: SaxonB. An XSLT and XQuery processor (2006), http://saxon.sourceforge.net

  41. Lange, M.: Model checking propositional dynamic logic with all extras. Journal of Applied Logic 4(1), 39–49 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  43. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. PODS, pp. 233–246 (2002)

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  47. Marx., M.: Conditional XPath. ACM Transactions on Database Systems 30(4), 929–959 (2005)

    Article  Google Scholar 

  48. Marx, M., de Rijke, M.: Semantic Characterizations of Navigational XPath. ACM SIGMOD Record 34(2), 41–46 (2005)

    Article  Google Scholar 

  49. MonetDB/XQuery. An XQuery Implementation (2006), http://monetdb.cwi.nl/XQuery

  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. 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. Rahm, E., Do, H.-H.: Data cleaning: Problems and current approaches. IEEE Techn. Bulletin on Data Engineering 23(4) (2000)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  56. Seaton, J.: The Scottish Parliament and e-democracy. Aslib Proceedings: New Information Perspectives 57(4), 333–337 (2005)

    Article  Google Scholar 

  57. Sigurbjörnsson, B.: Focused information access using XML element retrieval. PhD thesis, University of Amsterdam (2006)

    Google Scholar 

  58. Stockmeyer, L.: The Complexity of Decision Problems in Automata Theory. PhD thesis, Dept. Electrical Engineering. MIT, Cambridge (1974)

    Google Scholar 

  59. Tarski, A.: On the calculus of relations. Journal of Symbolic Logic 6, 73–89 (1941)

    Article  MathSciNet  MATH  Google Scholar 

  60. Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol. 41. AMS Colloquium publications, Providence (1987)

    MATH  Google Scholar 

  61. ten Cate, B.: The expressivity of XPath with transitive closure. In: Proceedings of PODS 2006, pp. 328–337 (2006)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  64. ten Cate, B., Marx, M.: Navigational xpath: calculus and algebra. SIGMOD Record 36(2), 19–26 (2007)

    Article  Google Scholar 

  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. van Benthem, J.: Program constructions that are safe for bisimulation. Studia Logica 60(2), 330–331 (1998)

    MathSciNet  MATH  Google Scholar 

  67. Vardi, M.: On the complexity of bounded–variable queries. In: Proceedings PODS 1995, pp. 266–276 (1995)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. ISLA, Universiteit van Amsterdam, The Netherlands

    Maarten Marx

Authors
  1. Maarten Marx
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Free University of Bozen - Bolzano, Piazza Domenicani 3, 39100, Bolzano, Italy

    Sergio Tessaris

  2. Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, I-39100, Bozen-Bolzano, BZ, Italy

    Enrico Franconi

  3. Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040, Vienna, Austria

    Thomas Eiter

  4. Depto. de Ciencias de la Computación, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile

    Claudio Gutierrez

  5. Digital Enterprise Research Institute, National University of Ireland, Galway

    Siegfried Handschuh

  6. University of Grenoble, LSR-IMAG, BP 72, 38402, St Martin d’Heres Cedex, France

    Marie-Christine Rousset

  7. School of Computer Science, The University of Manchester, Manchester, UK

    Renate A. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Marx, M. (2009). Logical Foundations of XML and XQuery. In: Tessaris, S., et al. Reasoning Web. Semantic Technologies for Information Systems. Reasoning Web 2009. Lecture Notes in Computer Science, vol 5689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03754-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03754-2_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03753-5

  • Online ISBN: 978-3-642-03754-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation