The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Programme

Logic and Algorithms

Queries on Tree-Structured Data: Logical Languages and Complexity

1st March 2006

Author: Christoph Koch (Universitaet des Saarlandes)

Abstract

In this talk, I will survey recent results on the theory -- and in particular complexity -- of a number of popular logical query languages for tree-structured data and XML, including XPath, conjunctive and first-order queries, and XQuery.