XPath-logic and XPathlog: A logic-programming style XML data manipulation language

Theory and Practice of Logic Programming

Volumn 4, Issue 3, 2004, Pages 239-287

  May, Wolfgang ^a  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

Author keywords

Information Integration; Logic Programming; XML; XPath

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DATABASE SYSTEMS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; QUERY LANGUAGES; SEMANTICS; SGML; XML;

DATA INTEGRATION; DATA MANIPULATION; INFORMATION INTEGRATION; XPATH;

LOGIC PROGRAMMING;

EID: 2442570191     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S147106840300187X     Document Type: Article

References (54)

1. ABITEBOUL, S., QUASS, D., MCHUGH, J., WIDOM, J. AND WIENER, J. 1997. The Lorel query language for semistructured data. Journal on Digital Libraries (JODL) 1, 1, 68-88.
2. BARU, C., GUPTA, A., LUDÄSCHER, B., MARCIANO, R., PAPAKONSTANTINOU, Y., VELIKHOV, P. AND CHU, V. 1999. XML-based information mediation with MIX. ACM Intl. Conference on Management of Data (SIGMOD), pp. 597-599.
3. BAUMGARTNER, R., FLESCA, S. AND GOTTLOB, G. 2001 a. The Elog web extraction language. Intl. Conference on Logic Programming and Automated Reasoning (LPNMR): Lecture Notes in Computer Science 2250, pp. 548-560. Springer.
4. BAUMGARTNER, R., FLESCA, S. AND GOTTLOB, G. 2001b. Visual web information extraction with Lixto. Intl. Conference on Very Large Data Bases (VLDB), pp. 119-128.
5. BRY, F. AND SCHAFFERT, S. 2002. Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. Intl. Conference on Logic Programming (ICLP), pp. 255-270.
6. BUNEMAN, P., DAVIDSON, S., HILLEBRANDT, G. AND SUCIU, D. 1996. A query language and optimization techniques for unstructured data. ACM Intl. Conference on Management of Data (SIGMOD), pp. 505-516. Montreal, Canada.
7. BUNEMAN, P., FERNANDEZ, M. AND SUCIU, D. 2000. UnQL: A query language and algebra for semistructured data based on structural recursion. VLDB Journal 9, 76-110.
8. CERI, S., COMAI, S., DAMIANI, E., FRATERNALI, P., PARABOSCHI, S. AND TANCA, L. 1999. XML-GL: a graphical language for querying and restructuring XML documents. Proceedings 8th International World Wide Web Conference (WWW 8), pp. 1171-1187.
9. CHRISTOPHIDES, V., CLUET, S. AND SIMÉON, J. 2000. On wrapping query languages and efficient XML integration. ACM Intl. Conference on Management of Data (SIGMOD), pp. 141-152.
10. CLARK, J. 1998. XT: an implementation of XSL Transformations. http://www.jclark.com/xml/xt.html.
11. CLUET, S., DELOBEL, C., SIMÉON, J. AND SMAGA, K. 1999. Your mediators need data conversion. ACM Intl. Conference on Management of Data (SIGMOD), pp. 177-188.
12. COMAI, S., DAMIANI, E. AND FRATERNALI, P. 2001. Computing graphical queries over XML data. ACM Transactions on Information Systems (TOIS) 19, 4, 371-430.
13. CONSENS, M. AND MENDELZON, A. 1990. GraphLog: a visual formalism for real life recursion. ACM Symposium on Principles of Database Systems (PODS), pp. 404-416.
14. DEUTSCH, A., FERNANDEZ, M., FLORESCU, D., LEVY, A. AND SUCIU, D. 1999. XML-QL: A Query Language for XML. 8th. WWW Conference. W3C. World Wide Web Consortium Technical Report, NOTE-xml-ql-19980819, www.w3.org/TR/NOTE-xml-ql.
15. DEUTSCH, A., FERNANDEZ, M. AND SUCIU, D. 2000. Storing semistructured data with STORED. ACM Intl. Conference on Management of Data (SIGMOD), pp. 431-442.
16. DOM-W3C. 1998. Document object model (DOM). http://www.w3.org/DOM/.
17. FERNANDEZ, M., FLORESCU, D., LEVY, A. AND SUCIU, D. 1997. A query language for a web-site management system. SIGMOD Record 26, 3, 4-11.
18. FERNANDEZ, M., SIMÉON, J. AND WADLER, P. 1999. XML query languages: Experiences and exemplars. draft manuscript, communication to the XML Query W3C Working Group. http://ww-db.research.bell-labs.com/user/simeon/ xquery.ps.
19. FERNANDEZ, M. F., FLORESCU, D., KANG, J., LEVY, A. Y. AND SUCIU, D. 1998. Catching the boat with Strudel: Experiences with a web-site management system. ACM Intl. Conference on Management of Data (SIGMOD), pp. 414-425.
20. FLORESCU, D. AND KOSSMANN, D. 1999. A performance evaluation of alternative mapping schemes for storing XML data in a relational database. Technical Report 3684, INRIA.
21. FLORID. 1998. FLORID homepage. http://www.informatik.uni-freiburg.de/ ~dbis/florid/.
22. FROHN, J. 1998. Magic-Set Transformation in deduktiven, objektorientierten Datenbank-sprachen. PhD thesis, Institut für Informatik, Universität Freiburg.
23. FROHN, J., LAUSEN, G. AND UPHOFF, H. 1994. Access to objects by path expressions and rules. Intl. Conference on Very Large Data Bases ( VLDB), pp. 273-284.
24. GARCIA-MOLINA, H., PAPAKONSTANTINOU, Y., QUASS, D., RAJARAMAN, A., SAGIV, Y., ULLMAN, J., VASSALOS, V. AND WIDOM, J. 1997. The TSIMMIS approach to mediation: Data models and languages. Journal of Intelligent Information Systems 8, 2, 117-132.
25. GOLDMAN, R., MCHUGH, J. AND WIDOM, J. 1999. From semistructured data to XML: Migrating the Lore data model and query language. WebDB 1999, pp. 25-30.
26. HOSOYA, H. AND PIERCE, B. C. 2000. Xduce: A typed XML processing language. WebDB 2000, pp. 111-116.
27. KIFER, M. AND LAUSEN, G. 1989. F-Logic: A higher-order language for reasoning about objects, inheritance and scheme. ACM Intl. Conference on Management of Data (SIGMOD), pp. 134-146.
28. KIFER, M., LAUSEN, G. AND WU, J. 1995. Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42, 4, 741-843.
29. LAKSHMANAN, L. V. S., SADRI, F. AND SUBRAMANIAN, I. N. 1996. SchemaSQL - a language for interoperability in relational multi-database systems. Intl. Conference on Very Large Data Bases ( VLDB), pp. 239-250.
30. LEHTI, P. 2001. Design and implementation of a data manipulation processor for an XML query language. MS thesis, Technische Universität Darmstadt.
31. LUDÄSCHER, B., HIMMERÖDER, R., LAUSEN, G., MAY, W. AND SCHLEPPHORST, C. 1998. Managing semistructured data with FLORID: A deductive object-oriented perspective. Information Systems 23, 8, 589-612.
32. MAY, W. 1999. Information extraction and integration with FLORID: The MONDIAL case study. Technical Report 131, Universität Freiburg, Institut für Informatik. Available from http://www.dbis.informatik.uni-goettingen. de/Mondial/.
33. MAY, W. 2001a. Habilitation thesis. PhD thesis, Universität Freiburg. Available from http://www.dbis.informatik.uni-goettingen.de/lopix/.
34. MAY, W. 2001b. Information integration in XML: The MONDIAL case study. Technical Report. Available from http://www.dbis.informatik.uni-goettingen.de/ lopix/lopix-mondial.html.
35. May W. 2001c. LoPiX: A system for XML data integration and manipulation. Intl. Conference on Very Large Data Bases (VLDB), Demonstration Track, pp. 707-708.
36. MAY, W. 2001d. The LoPix system. http://www.dbis.informatik.uni- goettingen.de/lopix/.
37. MAY, W. 2001e. The MONDIAL database. http://www.dbis.informatik.uni- goettingen.de/Mondial/.
38. MAY, W. 2002. A rule-based querying and updating language for XML. Workshop on Databases and Programming Languages (DBPL 2001): Lecture Notes in Computer Science 2397, pp. 165-181.
39. MAY, W. AND BEHRENDS, E. 2001. On an XML data model for data integration. In Intl. Workshop on Foundations of Models and Languages for Data and Objects (FMLDO 2001).
40. MCHUGH, J., ABITEBOUL, S., GOLDMAN, R., QUASS, D. AND WIDOM, J. 1997. Lore: A database management system for semistructured data. SIGMOD Record 26, 3, 54-66.
41. PRZYMUSINSKI, T. C. 1988. On the declarative semantics of deductive databases and logic programs. In: J. Minker, Ed. Foundations of Deductive Databases and Logic Programming, pp. 191-216. Morgan Kaufmann.
42. ROBIE, J. 1999. XQL (XML Query Language). http://www.metalab.unc.edu/xql/ xql-proposal.html.
43. SHANMUGASUNDARAM, J., GANG, H., TUFTE, K., ZHANG, C., WITT, D. J. D. AND NAUGHTON, J. Relational databases for querying XML documents: Limitations and opportunities. Intl. Conference on Very Large Data Bases (VLDB), pp. 302-314.
44. SOFTWARE AG. 2001. Quip: An xquery implementation, http://www.softwareag. com/developer/quip/.
45. TATARINOV, I., IVES, Z. G., HALEVY, A., AND WELD, D. 2001. Updating xml. ACM Intl. Conference on Management of Data (SIGMOD), pp. 133-154.
46. WADLER, P. 1999. Two semantics for XPath. http://www.cs.bell-labs.com/ who/wadler/topics/xml.html.
47. XMLInf. 1999. XML information set. http://www.w3.org/TR/XML-infoset.
48. XMQ-A. 2001. XML Query Algebra. http://www.w3.org/TR/query-algebra.
49. XMQ-D. 2001. XML Query Data Model. http://www.w3.org/TR/query-datamodel.
50. XPath. 1999. XML Path Language (XPath) version 1.0: 1999. http://www.w3.org/TR/xpath.
51. XPQOF. 2001. XQuery 1.0 and XPath 2.0 Functions and Operators, http://www.w3.org/TR/xquery-operators.
52. XQFS. 2001. XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query- semantics.
53. XQuery. 2001. XQuery: A Query Language for XML. http://www.w3.org/TR/ xquery.
54. XSLT. 1999. XSL Transformations (XSLT). http://ww.w3.org/TR/xslt.