Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications of Declarative Programming and Knowledge Management

Workshop on Logic Programming

INAP 2007, WLP 2007: Applications of Declarative Programming and Knowledge Management pp 117–135Cite as

Integrating XQuery and Logic Programming

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5437))

Abstract

In this paper we investigate how to integrate the XQuery language and logic programming. With this aim, we represent XML documents by means of a logic program. This logic program represents the document schema by means of rules and the document itself by means of facts. Now, XQuery expressions can be integrated into logic programming by considering a translation (i.e. encoding) of for-let-where-return expressions by means of logic rules and a goal.

This work has been partially supported by the EU (FEDER) and the Spanish MEC under grant TIN2005-09207-C03-02.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Almendros-Jiménez, J.M., Becerra-Terón, A., Enciso-Baños, F.J.: Magic sets for the XPath language. Journal of Universal Computer Science 12(11), 1651–1678 (2006)

    Google Scholar 

  2. Almendros-Jiménez, J.M., Becerra-Terón, A., Enciso-Baños, F.J.: Querying XML documents in logic programming. Theory and Practice of Logic Programming 8(3), 323–361 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  3. Atanassow, F., Clarke, D., Jeuring, J.: UUXML: A Type-Preserving XML Schema Haskell Data Binding. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 71–85. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Almendros-Jiménez, J.M.: An RDF Query Language based on Logic Programming. In: Proceedings of the 3rd Int’l. Workshop on Automated Specification and Verification of Web Systems. Electronic Notes on Theoretical Computer Science, vol. 200, pp. 67–85 (2008)

    Google Scholar 

  5. Bailey, J., Bry, F., Furche, T., Schaffert, S.: Web and Semantic Web Query Languages: A Survey. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 35–133. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Benzaken, V., Castagna, G., Frish, A.: CDuce: an XML-centric general-purpose language. In: Proc. of the ACM SIGPLAN International Conference on Functional Programming, pp. 51–63. ACM Press, New York (2005)

    Google Scholar 

  7. Benzaken, V., Castagna, G., Miachon, C.: A full pattern-based paradigm for XML query processing. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol. 3350, pp. 235–252. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Baumgartner, R., Flesca, S., Gottlob, G.: The elog web extraction language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS, vol. 2250, pp. 548–560. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Boncz, P.A., Grust, T., van Keulen, M., Manegold, S., Rittinger, J., Teubner, J.: Pathfinder: XQuery - The Relational Way. In: Proc. of the International Conference on Very Large Databases, pp. 1322–1325. ACM Press, New York (2005)

    Google Scholar 

  10. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web – A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. In: Scientific American, 36 pages (May 2001)

    Google Scholar 

  11. Boley, H.: Relationships Between Logic Programming and RDF. In: Kowalczyk, R., et al. (eds.) PRICAI-WS 2000. LNCS, vol. 2112, pp. 201–218. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Boley, H.: Relationships between logic programming and XML. In: Proc. of the Workshop on Logic Programming, pp. 19–34, Würzburg, Germany (2000) (GMD Report 90)

    Google Scholar 

  13. Boley, H.: The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS, vol. 2543, pp. 124–139. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  14. Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: Chaudhri, A.B., et al. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 295–310. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  15. Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 255–270. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  16. Chamberlin, D., Draper, D., Fernández, M., Kay, M., Robie, J., Rys, M., Simeon, J., Tivy, J., Wadler, P.: XQuery from the Experts. Addison-Wesley, Reading (2004)

    Google Scholar 

  17. Coelho, J., Florido, M.: Type-based XML Processing in Logic Programming. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 273–285. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, pp. 1098–1112. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. Coelho, J., Florido, M.: XCentric: logic programming for XML processing. In: WIDM 2007: Proceedings of the 9th annual ACM international workshop on Web information and data management, pp. 1–8. ACM Press, New York (2007)

    Google Scholar 

  20. Cabeza, D., Hermenegildo, M.: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW Library. Theory and Practice of Logic Programming 1(3), 251–282 (2001)

    Article  Google Scholar 

  21. Chamberlin, D.: XQuery: An XML Query Language. IBM Systems Journal 41(4), 597–615 (2002)

    Article  Google Scholar 

  22. Hosoya, H., Pierce, B.C.: XDuce: A Statically Typed XML Processing Language. ACM Transactions on Internet Technology 3(2), 117–148 (2003)

    Article  Google Scholar 

  23. May, W.: XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language. Theory and Practice of Logic Programming 4(3), 239–287 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  24. Marian, A., Simeon, J.: Projecting XML Documents. In: Proc. of International Conference on Very Large Databases, Burlington, USA, pp. 213–224. Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

  25. O’Neil, P., O’Neil, E., Pal, S., Cseri, I., Schaller, G., Westbury, N.: OrdPaths: Insert-friendly XML Node Labels. In: Proc. of the ACM SIGMOD Conference, pp. 903–908. ACM Press, New York (2004)

    Google Scholar 

  26. Schaffert, S., Bry, F.: A Gentle Introduction to Xcerpt, a Rule-based Query and Transformation Language for XML. In: Proc. of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Aachen, Germany, CEUR Workshop Proceedings 60, 22 pages (2002)

    Google Scholar 

  27. Seipel, D.: Processing XML-Documents in Prolog. In: Procs. of the Workshop on Logic Programming, 15 pages, Dresden, Germany, Technische Universität Dresden (2002)

    Google Scholar 

  28. Thiemann, P.: A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming 12(4&5), 435–468 (2002)

    MathSciNet  MATH  Google Scholar 

  29. Tatarinov, I., Viglas, S.D., Beyer, K., Shanmugasundaram, J., Shekita, E., Zhang, C.: Storing and Querying Ordered XML using a Relational Database System. In: Proc. of the ACM SIGMOD Conference, pp. 204–215. ACM Press, New York (2002)

    Google Scholar 

  30. W3C. XML Path Language (XPath) 2.0. Technical report (2007), http://www.w3.org/TR/xpath

  31. W3C. XML Query Working Group and XSL Working Group, XQuery 1.0: An XML Query Language. Technical report (2007), http://www.w3.org

  32. Wadler, P.: XQuery: A Typed Functional Language for Querying XML. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol. 2638, pp. 188–212. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  33. Wielemaker, J.: SWI-Prolog SGML/XML Parser, Version 2.0.5. Technical report, Human Computer-Studies (HCS), University of Amsterdam (March 2005)

    Google Scholar 

  34. Wolz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, Universität Fridericiana zu Karlsruhe (2004)

    Google Scholar 

  35. Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: Proceedings of the International Conference on Functional Programming, pp. 148–159. ACM Press, New York (1999)

    Google Scholar 

  36. Wielemaker, J., Schreiber, G., Wielinga, B.J.: Prolog-Based Infrastructure for RDF: Scalability and Performance. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 644–658. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. Lenguajes y Computación, Universidad de Almería, Spain

    Jesús M. Almendros-Jiménez, Antonio Becerra-Terón & Francisco J. Enciso-Baños

Authors
  1. Jesús M. Almendros-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Becerra-Terón
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francisco J. Enciso-Baños
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Würzburg, Am Hubland, 97074, Würzburg, Germany

    Dietmar Seipel

  2. Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118, Kiel, Germany

    Michael Hanus

  3. Fraunhofer FIRST, Kekuléstr. 7, 12489, Berlin, Germany

    Armin Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Almendros-Jiménez, J.M., Becerra-Terón, A., Enciso-Baños, F.J. (2009). Integrating XQuery and Logic Programming. In: Seipel, D., Hanus, M., Wolf, A. (eds) Applications of Declarative Programming and Knowledge Management. INAP WLP 2007 2007. Lecture Notes in Computer Science(), vol 5437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00675-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00675-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00674-6

  • Online ISBN: 978-3-642-00675-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation