Nutze den Unterbau hier (Komplettes Teil bei I.), damit lässt sich die Anzahl der Fork-Conditions auf genau die Anzahl der abgefragten Items verringern (also 80 statt 6400).
PS: Ich hatte das Problem auch, aber nur bei 20 Items, heißt also ich bräuchte 1540 Fork-Conditions dafür. Das ist die Summe von (maximale Anzahl der Items + 1 - n) mal n, wobei n von 1 bis die maximale Anzahl geht.
Einige werden das als sum((nmax+1-n)*n,n,1,nmax) besser verstehen.
Für 80 Items braucht man schon 88560 Fork-Conditions, statt 6400.
Zitieren