Regeln zur Datenvalidierung sinnvoll formulieren

[Caps]

Hm, ok, aber in Deinem Beispiel muss ja auch Regel_3 vor Regel_4 ausgewertet werden, d.h. diese Reihenfolge muss mir bei der Formulierung der Regeln schon bekannt sein. Dann kann ich sie auch gleich ausschreiben, statt sie generieren zu lassen(?). Oder liege ich immernoch schief?

lg Caps

[ULIK]

Stimmt, nur '<' impliziert ja immer auch ein 'Wert ist zahl'. Sprich eigentlich ist die Regel 'b < 20' auch nicht 'atomar' sondern müßte 'wenn b Zahl ist, dann Prüfe b < 20' lauten.
Ich denke, daß es darauf hinausläuft zuerst einen Satz an 'atomaren' Regeln zu prüfen und dann erst die davon abgeleiteten. Damit bist Du dann unabhängiger von der Reihenfolge.

[Caps]

Ja, stimmt, atomare Regeln sollten auf jeden Fall zuerst ausgewertet werden.
Ich probiere mal mein Glück...

[himitsu]

oder "implizite" Regeln

"b < 20" = "b ist Zahl und kleiner 20"
bzw. "b" wird mit Zahl verglichen -> wenn b keine Zahl, dann False (nicht valide)

Wenn die Regel einen Fehler erzeugt (ungültige Typumwandlung, Zugriff auf nichtvorhandene Felder, ...), dann ist sie nicht valide.
So ist jede Regel für sich erstmal auswertbar, egal in welcher Reihenfolge die Regeln kommen.
Die Auswerung der Regel darf aber inaktive Zweige nicht auswerten. Also bei Regel_1: (a <> "Max") or (b < 20) und a nicht max, dann darf b nicht ausgewertet werden und keinen Fehler werfen, wenn b keine Zahl ist.

[TigerLilly]

Ich würde meine Regel mit einer Reihenfolge und einer Abhängigkeit versehen (wenn dann).

zB:
1 a=Max
1.1 b ist Zahl
1.2 b > 20
2 a <> Max
2.1
2.2
...

Jetzt müssten wir wissen, wie deine Regeln aufgebaut sind + wie verschachtelt die sein können, ob du damit genug hast.

[Caps]

Ich danke Euch für die Antworten!

Ich bin nun drauf gekommen, es ugf. so zu machen:

1) Alle Regeln werden explizit formuliert (d.h. enthalten immer alle auszuwertenden Ausdrücke).
2) Einmal ausgewertete Ausdrücke "cachen" ihren Funktionswert, so dass bei der nächsten Auswertung darauf zurückgegriffen werden kann.

So bin ich unabhängig von der Reihenfolge der Regeln.
Das isses im Grunde, was ich wollte.

lg Caps