GAMES logo Nodes: Vienna
Aachen Bordeaux Edinburgh Paris Rice Uppsala Warsaw Vienna

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}
}