Sie sind hier:


ACM PODS Alberto O. Mendelzon Test-of-Time Award 2016

Bei der 35. ACM-Konferenz "Principles of Database Systems" (PODS 2016) wurde die Arbeit "Two-variable logic on data trees and XML reasoning" mit dem "ACM PODS Alberto O. Mendelzon Test-of-Time Award 2016" ausgezeichnet. Die Arbeit wurde von Thomas Schwentick (Lehrstuhl 1) zusammen mit seinen Kollegen Mikołaj Bojańczyk, Claire David, Anca Muscholl, und Luc Segoufin verfasst.


Die Laudatio des Award Committees [1] sagt: "The authors introduced an influential new approach to the modeling of XML trees with data values. This means that not only purely structural queries, but also queries involving joins can be modeled. The new approach unifies earlier results, and has led to many new results, on the automated verification of XML queries under integrity constraints. The paper has been highly influential both in database and automata theory. Because database theory research on XML has greatly benefitted from an automata-theoretic approach, it is satisfying to see the circle completed in this respect."  


[1] http://dl.acm.org/citation.cfm?id=2902251