e p i l o g - Fakultät für Informatik, TU Wien

Christoph Singewald
Efficient problem solving based on datalog transformations
Studium: Diplomstudium Informatik
BetreuerIn: Univ.Prof. Dr. Reinhard Pichler
Abstrakt: Viele interessante algorithmische Probleme in der
Computerwissenschaft können im Allgmeinen nur mit hohem Aufwand auf
einer Rechenmaschine gelöst werden. In diesem Zusammenhang sind in den
letzten Jahren parametrisierbare Probleme immer wichtiger geworden. Es
konnte gezeigt werden, dass viele harte Probleme effizient lösbar werden,
wenn ein Parameter durch eine Konstante begrenzt ist. Besitzt ein Problem
diese Eigenschaft, bezeichnet man es als fixedparameter-lösbar (engl. fixedparameter
tractable). Bei Problemen aus dem Bereich der Graphentheorie
ist die Baumweite (engl. treewidth) ein solcher Parameter. Aufgrund des
Courcelle’schen Theorems wissen wir, dass sämtliche Grapheigenschaften,
die sich mittels Monadic Second Order Logic (MSO) ausdrücken lassen, auf
Graphen mit beschränkter Baumweite effizient entscheidbar sind. Gottlob et
al. haben vor kurzem Monadisches Datalog (jedes Prädikat ist einstellig)
über Strukturen mit beschränkter Baumweite als Alternative zu (MSO)
vorgeschlagen. Dieser Ansatz sieht theoretisch vielversprechend aus. Eine
praktische Evaluierung war aber bislang ausständig. Das Ziel dieser
Diplomarbeit war es, den Monadischen Datalog Ansatz zu implementieren
und mittels Tests zu evaluieren. Im Rahmen dieser Diplomarbeit wurde der
Prozess zur allgemeinen Verarbeitung - vom zugrunde liegenden Problem
unabhängig - dieser Datalogregeln implementiert. Am Beispiel des
Programms SAT wurde die automatische Transformation von Monadischem
Datalog in ”normales” Datalog für die verwendeten Datalog Interpreter (DLV,
DLV Complex und DLV Complex mit externem Prädikat) durchgeführt und die
Applikation mit unterschiedlichen Parametern ausführlich getestet. Als
Ergebnis konnte gezeigt werden, dass dieser Ansatz ein großes Potential hat
und mit Hilfe von allgemeinen Datalog Interpretern realisiert werden kann.
Zudem hat sich herausgestellt, dass dieses Thema noch viel Potential zur
Verbesserung bietet.
Lukas Steiner
Einbindung von automatisiert extrahierten Webdaten in Internet Portalen
Studium: Diplomstudium Wirtschaftsinformatik
BetreuerIn: O.Univ.Prof. Dr. Georg Gottlob
52
Abstrakt: In der heutigen Zeit wird es für große Unternehmen, die eine
Vielzahl an verschiedenen Arbeitsprozessen zu koordinieren haben, immer
wichtiger in jedem Segment ihres Aufgabenbereiches eine möglichst
effiziente Softwarelösung zu haben. Um jedoch nur wenige Ressourcen bei
der Benutzung dieser Programme zu verbrauchen, werden dringend neue
Technologien benötigt, die den Anwendern eine Erleichterung und