Projektstart: 01.01.2001

Projektende: 31.12.2002

Laufzeit: 01.01.2001 - 31.12.2002

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller (Leiter)

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Rudolf Berghammer (Universität zu Kiel), Prof. Dr. Marcelo F. Frias (Universidad de Buenos Aires) und andere

Zusammenfassung

Projektziel war ein praktikabler algebraischer Kalkül, der besonders zur Entwicklung generischer, also hochgradig wiederverwendbarer, Graphenalgorithmen aus ihren formalen Spezifikationen geeignet ist. Es zeigte sich, daß neben dem klassischen Relationenkalkül vor allem die Kleene-Algebra mit Vor- und Nachbereichsoperator hervorragend geeignet ist.