Ziel ist es, die theoretischen Grundlagen von Informationssystemen, die semistrukturierte Daten (z.B. XML)
verwalten, zu beleuchten. Viele offene Fragen sind bekannt, beispielsweise die Komplexitaet von Abfragesprachen
wie XPath und XQuery, effiziente Algorithmen fuer die Auswertung von Abfragen in solchen Sprachen, und,
grundsaetzlicher, ueberhaupt erst deren formale Semantik.
Mit solchen Fragen beschaeftigen wir uns bereits jetzt am Institut f. Informationssysteme, und ich halte mich fuer
gut vorbereitet, um derartige Probleme auch an der University of Pennsylvania zu bearbeiten.
Aehnliche offene Probleme gibt es im Zusammenhang mit Schema und Struktur fuer XML. Das Ziel der XML
Schema Working Group des World Wide Web Consortiums ist es, XML Schema als einen Standardmechanismus
fuer die Beschreibung von unstrukturierten Daten durchzusetzen, allerdings gibt es bei der Formalisierung dieses
Standards und dessen Semantik noch viele interessante offene Fragen, wie zum Beispiel, wie man
dokumentbasierte und record-basierte Daten (wie sie in klassischen Datenbanken ueblich sind) in einen eleganten
gemeinsamen semantischen Formalismus integrieren kann. Dieser Frage wird auch in Uebereinkunft mit Prof.
Buneman zuerst unser Forschungsinteresse gelten.
Antworten auf diese Fragen sind nicht nur von grossem wissenschaftlichen sondern auch von direktem industriellen
Interesse und sind leicht publizierbar.