Mini-Workshop TCS at TuDo and RUB
through filtration Patrick Krümpelmann, LS 6 Towards a general framework for updates in logic programming. MW 11, July 9th, 2008, Chair 1: Speaker Subject Lena Wiese, LS6 preCQE: preprocessing for controlled [...] isomorphisms with central ideas of our new algorithm leads to an improvement of its running time from O(n^6 + T n^2) to O(n^3 + T n D), where n is the order of the larger tree, T is the number of different solutions [...] XML Schema: Single-Type Approximations of Regular Tree Languages abstract Jan-Hendrik Lochner, LS 6 Efficient Inference Control for Open Relational Database Queries abstract Matthias Thimm, LS 1 Clas …
