Dieses Projekt ist als Klausurergänzung in der Datenbank-Vorlesung der Uni ins Leben gerufen worden. Ziel ist es, die Closure-/Member-Funktion und die nicht-redundante minimale Überdeckung von Relationen zu berechnen und die dafür durchgeführten Durchgänge angemessen darzustellen und zu erläutern.