Multioperator Weighted Monadic Datalog

dc.contributor.author	Stüber, Torsten
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:44:15Z
dc.date.available	2020-08-21T08:44:15Z
dc.description.abstract	In dieser Arbeit stellen wir ein formales Modell zur Verarbeitung von baumstrukturierten Daten vor. Dieses vereint und generalisiert Konzepte von Baumautomaten, Attributgrammatiken, Monadic Datalog und MSO-Logik. Unser Modell verarbeitet Bäume unter Einsatz von Multioperator-Monoiden und erhält dadurch eine hohe Ausdrucksstärke und vielseitige Einsetzbarkeit. In unserer Arbeit beschreiben und vergleichen wir vier verschiedene Semantiken sowie zahlreiche Normalformen. Einige der Semantiken sind nur dann einsetzbar, wenn das Modell kein zirkuläres Verhalten aufweist; daher entwickeln wir des Weiteren einen Zirkularitätstests. Wir betrachten beispielhaft einige Instanzen unseres Modells und stellen Bezüge zu existierenden Berechnungsmodellen her. Diese Kurzfassung ist eine Zusammenfassung der Kapitel der Dissertation.	de
dc.identifier.isbn	978-3-88579-416-5
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33705
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2011
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-12
dc.title	Multioperator Weighted Monadic Datalog	de
gi.citation.endPage	230
gi.citation.publisherPlace	Bonn
gi.citation.startPage	221

Dateien

1 - 1 von 1