Task 2: Algorithmic analysis of parity games
Objectives
Main goal: A new approach to data on the web based on a new notion of automata, similar to tree automata, will be developed. On the practical side, automata concepts will be combined with database methods for analysing and improving existing XML query languages and automatic information extractors. We will also use verification techniques based on automata and logics for validating and comparing Document Type Definitions (DTDs). aspect and the practical impact of the network.
Background literature
[1] |
G. Gottlob and C. Koch, Monadic datalog and the expressive power of languages for Web
Information Extraction, in Proc. of PODS, 2002. [ List ]
@INPROCEEDINGS{cg, AUTHOR = {G.\ Gottlob and C.\ Koch}, TITLE = {Monadic Datalog and the Expressive Power of Languages for {W}eb {I}nformation {E}xtraction}, BOOKTITLE = {Proc.\ of PODS}, YEAR = {2002}, URL = {http://www.dbai.tuwien.ac.at/proj/games/papers/pods2002.pdf} }
|
[2] |
R. Baumgartner, S. Flesca, and G. Gottlob, Visual web information extraction with
Lixto, in Proc. of VLDB, 2001. [ List ]
@INPROCEEDINGS{bfg, AUTHOR = {R.\ Baumgartner and S.\ Flesca and G.\ Gottlob}, TITLE = {Visual Web Information Extraction with {L}ixto}, BOOKTITLE = {Proc.\ of VLDB}, YEAR = {2001}, URL = {http://www.dbai.tuwien.ac.at/proj/games/papers/vldb2001.pdf} }
|
[3] |
G. Gottlob and C. Koch, Monadic queries over tree-structured
data, in Proc. of LICS, 2002. [ List ]
@INPROCEEDINGS{cg2, AUTHOR = {G.\ Gottlob and C.\ Koch}, TITLE = {Monadic Queries over Tree-Structured Data}, BOOKTITLE = {Proc.\ of LICS}, YEAR = {2002}, URL = {http://www.dbai.tuwien.ac.at/proj/games/papers/lics2002.pdf} }
|
[4] |
G. Gottlob, N. Leone, and F. Scarcello, Hypertree decompositions: A
survey, in Proc. of MFCS, 2001. [ List ]
@INPROCEEDINGS{gnf, AUTHOR = {G.\ Gottlob and N.\ Leone and F.\ Scarcello}, TITLE = {Hypertree Decompositions: A Survey}, BOOKTITLE = {Proc. of MFCS}, YEAR = {2001}, URL = {http://www.dbai.tuwien.ac.at/proj/games/papers/mfcs2001.pdf} }
|