[Allegro] Tertium non datur?

[Bernhard Eversberg]

Am 07.04.2011 11:22, schrieb Thomas Berger:
> Zum Verstaendnis:
> Wenn ich auf eine solche Ergebnismenge, die geloeschte Datensaetze enthaelt,
> eine Restriktion anwende, ist das Ergebnis dann ~leicht undefiniert~?
>
Ja.
> In der .RES-Datei steht ja irgendwas zur gegebenen Nummer, weil der Satz
> geloescht ist, muss man das jedoch als "undefiniert" auffassen, auch wenn
> man sich zusammenreimen kann, dass das mit einem frueheren Zustand des
> Satzes zusammenhaengen muesste: Als geloeschter Satz produziert er aktuell
> gar keinen .RES-Eintrag und das ist was zaehlt.
>
So iss'es.
> Nach Anwenden der Restriktion kann ich also weder davon ausgehen, dass
> alle geloeschten Saetze aus der Ergebnismenge verschwunden sind noch dass
> alle erhalten geblieben sind, korrekt?
Ja. Die Restriktion ist halt eben für normale Erg.Mengen gedacht,
in denen solche Sachen nicht vorkommen.

B.E.