Erhaltungssätze für Tarskis Relationenalgebra
Die Arbeit untersucht, ob verschiedene semantisch definierte Fragmente von Tarskis Relationenalgebra, wie das homomorphismus-sichere Fragment und das funktionserhaltende Fragment, durch eine endliche Menge von Operationen erzeugt werden können.
