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.