VDM Greql 2

Die Graphanfragesprache GReQL (Graph Repository Query Language) wird genutzt, um SQL-ähnliche Anfragen auf typisierten, attributierten, gerichteten und angeordneten Graphen, sogenannten TGraphen, zu stellen. Dieses Werk beschreibt die Auswertungskomponente für die Version 2 dieser Anfragesprache, die GReQL 2 - Anfragen auf TGraphen interpretiert. Die Auswertungskomponente besteht aus den Bausteinen Parser, Optimierer, Auswerter, Funktionsbibliothek und dem Containerframework JValue zur Verwaltung einfacher und komplexer Anfrageergebnisse. Innerhalb dieser Arbeit werden die Bausteine Auswerter, Funktionsbibliothek und JValue spezifiziert und auf Basis der Erfahrungen mit den bisherigen GReQL-Auswertern sowie dem aktuellen Stand der Softwaretechnik als Prototypen implementiert. Die Bausteine Parser und Optimierer wurden bzw. werden in anderen Arbeiten entwickelt.