Skip to main content

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2401)

Abstract

The growing importance of XML as a data interchange standard demands languages for data querying and transformation. Since the mid 90es, several such languages have been proposed that are inspired from functional languages (such as XSLT [1]) and/or database query languages (such as XQuery [2]). This paper addresses applying logic programming concepts and techniques to designing a declarative, rule-based query and transformation language for XML and semistructured data. The paper first introduces issues specific to XML and semistructured data such as the necessity of flexible “query terms” and of “construct terms”. Then, it is argued that logic programming concepts are particularly appropriate for a declarative query and transformation language for XML and semistructured data. Finally, a new form of unification, called “simulation unification”, is proposed for answering “query terms”, and it is illustrated on examples.

Keywords

  • Logic Programming
  • Query Term
  • Node Selection
  • Disjunctive Normal Form
  • Transformation Language

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-45619-8_18
  • Chapter length: 16 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-45619-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   129.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W3C http://www.w3.org/Style/XSL/: Extensible Stylesheet Language (XSL). (2000)

  2. W3C http://www.w3.org/TR/xquery/: XQuery: A Query Language for XML. (2001)

  3. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, San Francisco, CA (2000)

    Google Scholar 

  4. Fernandez, M., Siméon, J., Wadler, P.: XML Query Languages: Experiences and Examplars. Communication to the XML Query W3C Working Group (1999)

    Google Scholar 

  5. Alashqur, A. M., Su, S. Y. W., Lam., H.: OQL: A Query Language for Manipulating Object-Oriented Databases. In: Proc. 15th Int. Conf. on Very Large Data Bases (VLDB). (1989)

    Google Scholar 

  6. Chamberlin, D., Fankhauser, P., Marchiori, M., Robie, J.: XML Query Use Cases. W3C Working Draft 20 (2001)

    Google Scholar 

  7. Bry, F., Schaffert, S.: Pattern Queries for XML and Semistructured Data. Technical Report PMS-FB-2002-5, Inst. for Computer Sciences, University of Munich, http://www.pms.informatik.uni-muenchen.de/publikationen/#PMS-FB-2002-5 (2002)

  8. Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. Technical Report PMS-FB-2002-2, http://www.pms.informatik.uni-muenchen.de/publikationen/#PMS-FB-2002-2 (2002)

    Google Scholar 

  9. Henzinger, M. R., Henzinger, T. A., Kopke, P. W.: Computing Simulations on Finite and Infinite Graphs (1996)

    Google Scholar 

  10. Fernandez, M., Suciu, D.: Optimizing Regular Path Expressions Using Graph Schemas. In: Proceedings of the Int. Conf. on Data Engineering. (1988) 14–23

    Google Scholar 

  11. Buneman, P., Fernandez, M., Suciu, D.: UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion. VLDB Journal 9 (2000) 76–110

    CrossRef  Google Scholar 

  12. Frühwirth, T.: Theory and Practice of Constraint Handling Rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming 37 (1998) 95–138

    MATH  CrossRef  MathSciNet  Google Scholar 

  13. Baader, F.: Unification in Commutative Theories. In: Unification. Academic Press (1989) 417–435

    Google Scholar 

  14. Grahne, G., Lakshmanan, L. V. S.: On the Difference between Navigating Semi-structured Data and Querying It. In: Workshop on Database Programming Languages. (1999)

    Google Scholar 

  15. Berlea, A., Seidl, H.: fxt — A Transformation Language for XML Documents. Journal of CIT, Special Issue on Domain-Specific Languages (2001)

    Google Scholar 

  16. Boley, H.: Relationships Between Logic Programming and XML. In: Proc. 14th Workshop Logische Programmierung, Würzburg (2000)

    Google Scholar 

  17. W3 Consortium http://www.w3.org/TR/xpath: XML Path Language (XPath). (1999)

  18. DFKI: RuleML — Rule Markup Language. http://www.dfki.uni-kl.de/ruleml/ (2002)

  19. Buneman, P., Davidson, S. B., Fernandez, M. F., Suciu, D.: Adding Structure to Unstructured Data. In: Proceedings of ICDT’97. Volume 1186., Springer (1997) 336–350

    MathSciNet  Google Scholar 

  20. Kilpeläinen, P.: Tree Matching Problems with Applications to Structured Text Databases. PhD thesis, Dept. of Computer Sciences, University of Helsinki (1992)

    Google Scholar 

  21. Aït-Kaci, H., Podelski, A., Goldstein, S. C.: Order-Sorted Theory Unification. Technical Report 32, digital — Paris Research Laboratory (1993)

    Google Scholar 

  22. Smolka, G.: Feature Constraint Logics for Unification Grammars. Journal of Logic Programming 12 (1992) 51–87

    MATH  CrossRef  MathSciNet  Google Scholar 

  23. Fages, F.: Associative-Commutative Unification. In: Proc. 7th Int. Conf. on Automated Deduction (Napa, CA). Volume 170., Berlin, Springer (1984) 194–208

    CrossRef  Google Scholar 

  24. Baader, F., Snyder, W.: Unification Theory. In Robinson, A., Voronkov, A., eds.: Handbook of Automated Reasoning. Elsevier Science Publishers (1999)

    Google Scholar 

  25. Montanari, U., Rossi, F.: Finite domain constraint solving and constraint logic programming. In Benhamou, F., Colmerauer, A., eds.: Constraint Logic Programming: Selected Research. MIT press (1993) 201–221

    Google Scholar 

  26. Ross, K. A., Srivastava, D., Stuckey, P. J., Sudarshan, S.: Foundations of aggregation constraints. Theoretical Computer Science B 190 (1994)

    Google Scholar 

  27. Würtz, J., Müller, T.: Constructive disjunction revisited. In: KI-Künstliche Intelligenz. (1996) 377–386

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bry, F., Schaffert, S. (2002). Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (eds) Logic Programming. ICLP 2002. Lecture Notes in Computer Science, vol 2401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45619-8_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45619-8_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43930-1

  • Online ISBN: 978-3-540-45619-3

  • eBook Packages: Springer Book Archive