Foundations of XML

Research Group on Theoretical Computer Science, University of Limburg

Description

Our research is mainly focused on the following topics
  • XML schema languages
  • XML typechecking
  • XPath properties
  • Formal models of XSLT
  • Expressiveness of pattern languages
  • Automata and logic
  • Formal languages as a toolbox for XML: unranked tree automata, tree-walking automata, register automata, transducers, attribute grammars, ...

People involved

Collaborators

Awards

    ACM Conference on Principles of Database Systems PODS 1998, Best Paper Award, "Expressiveness of structured document query languages based on attribute grammars " by F. Neven and J. Van den Bussche.

Survey and introductory papers

  1. F. Neven and T. Schwentick. Automata- and logic-based pattern languages for tree-structured data. Semantics in Databases, LNCS 2582, 160-178
  2. F. Neven. Automata theory for XML researchers Sigmod Record, 31(3), 2002.
  3. F. Neven. Automata, Logic, and XML CSL 2002 (invited talk)

Recent publications

  1. F. Neven  Attribute grammars for unranked trees as a query language for structured documents ( to appear in JCSS)
  2. W. Martens, F. Neven and T. Schwentick. Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005
  3. W. Martens, F. Neven. Frontiers of Tractability for Typechecking Simple XML Transformations. PODS 2004
  4. W. Martens, F. Neven and T. Schwentick. Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004
  5. G.J. Bex, F. Neven, and J. Van den Bussche. DTDs versus XML Schema: A Practical Study. WebDB 2004.
  6. L. Libkin, F. Neven Logical definability and query languages over unranked trees LICS 2003
  7. F. Neven and T. Schwentick XPath containment in the presence of disjunction, DTDs, and variables.  ICDT 2003
  8. W. Martens and F. Neven Typechecking top-down uniform unranked tree transducers.  ICDT 2003
  9. G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, vol. 27(1), pg 21-39, 2002. (extended abstract in CL 2000)
  10. F. Neven and J. Van den Bussche Expressiveness of structured document query languages based on attribute grammars. Journal of the ACM, 49(1):56-100, 2002. (extended abstract in PODS 1998)
  11. F. Neven and T. Schwentick Query Automata on finite trees. Theoretical Computer Science , vol 275:633-674, 2002. (extended abstract in PODS 1999)
  12. F. Neven and T. Schwentick. On the power of tree-walking automata. Information and Computation, 183(1), pages 86-103, 2003. (Extended abstract in ICALP 2000)
  13. F. Neven. On the power of walking for querying tree-structured data.  PODS 2002
  14. F. Neven, T. Schwentick and V. Vianu. Towards regular languages over infinite alphabets.  MFCS 2001
  15. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Typechecking XML views of relational data. LICS 2001
  16. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with Data Values: Typechecking Revisited PODS 2001
  17. F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. PODS 2000
  18. S. Maneth and F. Neven. Recursive Structured Document Transformations based on XSL   DBPL 1999