Verbesserung der linearen algebraischen Berechnung von Logikprogrammen mit spärlicher Darstellung