Towards a declarative query and transformation language for XML and semistructured data: Simulation unification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2401 LNCS, Issue , 2002, Pages 255-270

  Bry, François ^a   Schaffert, Sebastian ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; METADATA; QUERY LANGUAGES; XML; COMPUTATIONAL LINGUISTICS; RECONFIGURABLE HARDWARE;

DATA INTERCHANGE; DATA QUERYING; DATABASE QUERY LANGUAGE; FUNCTIONAL LANGUAGES; QUERY TERMS; SEMI STRUCTURED DATA; SEMI-STRUCTURED; TRANSFORMATION LANGUAGES; RULE BASED;

QUERY PROCESSING;

EID: 33845258767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_18     Document Type: Conference Paper

References (27)

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).
4. Fernandez, M., Simeon, J., Wadler, P.: XML Query Languages: Experiences and Examplars.Communication to the XML Query W3C Working Group (1999).
5. Alashqur, A. M., Su, S. Y.W., Lam, H.: OQL: A Query Language for Manipulating Object-Oriented Databases. In: Proc.15t h Int. Conf.on Very Large Data Bases (VLDB).( 1989).
6. Chamberlin, D., Fankhauser, P., Marchiori, M., Robie, J.: XML Query Use Cases. W3C Working Draft (2001).
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 PMSFB- 2002-2, http://www.pms.informatik.uni-muenchen.de/publikationen/ #PMSFB-2002-2 (2002).
9. Henzinger, M. R., Henzinger, T. A., Kopke, P. W.: Computing Simulations on Finite and Infinite Graphs (1996).
10. Fernandez, M., Suciu, D.: Optimizing Regular Path Expressions Using Graph Schemas: Proceedings of the Int. Conf. on Data Engineering. (1988) 14-23.
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.
12. Fruhwirth, T.: Theory and Practice of Constraint Handling Rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming 37 (1998) 95-138.
13. Baader, F.: Unification in Commutative Theories. In: Unification. Academic Press (1989) 417-435.
14. Grahne, G., Lakshmanan, L.V.S.: On the Difference between Navigating Semistructured Data and Querying It. Workshop on Database Programming Languages.( 1999).
15. Berlea, A., Seidl, H.: fxt - A Transformation Language for XML Documents. Journal of CIT, Special Issue on Domain-Specific Languages (2001).
16. Boley, H.: Relationships Between Logic Programming and XML. In: Proc. 14th Workshop Logische Programmierung, Wurzburg (2000).
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.
20. Kilpelainen, P.: Tree Matching Problems with Applications to Structured Text Databases. Ph D thesis, Dept. of Computer Sciences, University of Helsinki (1992).
21. Ait-Kaci, H., Podelski, A., Goldstein, S. C.: Order-Sorted Theory Unification. Technical Report 32, digital - Paris Research Laboratory (1993).
22. Smolka, G.: Feature Constraint Logics for Unification Grammars. Journal of Logic Programming 12 (1992) 51-87.
23. Fages, F.: Associative-Commutative Unification. In: Proc. 7th Int. Conf. on Automated Deduction (Napa, CA).Volume 170., Berlin, Springer (1984) 194-208.
24. Baader, F., Snyder, W.: Unification Theory. In Robinson, A., Voronkov, A., eds.: Handbook of Automated Reasoning.Elsev ier Science Publishers (1999).
25. Montanari, U., Rossi, F.: Finite domain constraint solving and constraint logic programming. In Benhamou, F., Colmerauer, A., eds.: Constraint Logic Programming: Selected Research.MI T press (1993).
26. Ross, K. A., Srivastava, D., Stuckey, P. J., Sudarshan, S.: Foundations of aggregation constraints.Theoretical Computer Science B 190 (1994) 269.
27. Wurtz, J., Muller, T.: Constructive disjunction revisited. In: KI - Kunstliche Intelligenz.( 1996) 377-386.