zyklische abgeleitete Variablen vermeiden

[schumaki]

Beschreibung

In Zusammenhang mit iqb-berlin/coding-box#711 ist mir aufgefallen, dass zur Zeit keine hierarchische Struktur der abgeleiteten Variablen erzwungen wird.

D. h. es können zyklische Abhängigkeiten auftreten, in denen für eine abgeleitete Variable eine ihrer Quellvariablen wiederum aus der betrachteten Variable abgeleitet ist. Versucht man, damit etwas zu kodieren, wird als Wert null, als Status DERIVE_ERROR ausgegeben.

Für manche Prozesse (z. B. für INTENDED_INCOMPLETE oder in iqb-berlin/coding-box#711 für DERIVE_ERROR) ist es aber wichtig, zu wissen, auf welcher Ebene ein Kodierfall kodiert werden soll. Dabei könnten diese zyklischen Abhängigkeiten ein Problem darstellen.

[Darüber hinaus finde ich es im Sinne der Russell'schen Antinomie unelegant, dass das möglich ist, weil das nie sinnvoll kodiert werden könnte.]

Lösungsvorschlag

Beim Anzeigen der möglichen Quellvariablen in den Basis-/Ableitungsparametern sollten keine Variablen zur Auswahl stehen, die (direkt oder über Zwischenstufen) aus der aktuell aktiven Variable abgeleitet werden.

Workaround

Mu

[jurei733]

Danke, das passt aus meiner Sicht genau zu dem Problem aus iqb-berlin/coding-box#711.

Ich würde die Ableitungen hier tatsächlich als gerichteten Graphen behandeln, der für die relevanten Auswertungslogiken azyklisch sein muss. Sonst wird es für Fälle wie INTENDED_INCOMPLETE oder DERIVE_ERROR schwer bis unmöglich, eindeutig zu bestimmen, auf welcher Ebene ein Kodierfall landen soll.

Der Lösungsvorschlag klingt für mich gut: In den Basis-/Ableitungsparametern sollten als Quellvariablen nur solche Variablen angeboten werden, die nicht direkt oder indirekt wieder von der aktuellen Variable abhängen. Zusätzlich wäre vermutlich sinnvoll:

• direkte Zyklen zu verhindern (A -> A),
• indirekte Zyklen zu verhindern (A -> B -> C -> A),
• bestehende problematische Konfigurationen beim Laden/Validieren verständlich zu melden,
• und Tests für beide Fälle zu ergänzen.

Damit hätten wir aus den abgeleiteten Variablen wieder einen sauberen DAG statt eines ableitungstechnischen Perpetuum mobile. Russell darf gern in der Philosophie bleiben; im Kodierschema macht er eher schlechte Laune. :)

[jurei733]

Umgesetzt und mit #195 gemerged.

Kurzfassung der Änderung:

• In den Basis-/Ableitungsparametern werden Quellvariablen jetzt gefiltert, wenn sie direkt oder indirekt von der aktuell bearbeiteten Variable abhängen.
• Dadurch lassen sich neue Zyklen wie A -> A oder A -> B -> C -> A über die Auswahl nicht mehr erzeugen.
• Bereits ausgewählte Quellen, die nach dieser Prüfung nicht mehr zulässig sind, werden beim Öffnen/Berechnen der Auswahl aus dem Dialogzustand entfernt.
• Ergänzt wurden Tests für direkte Zyklen, indirekte Zyklen und das Bereinigen solcher bestehenden Auswahlen.

Damit bleibt die Ableitungsliste an dieser Stelle ein gerichteter Graph mit Flussrichtung statt ein philosophisches Karussell. Russell darf also weiter zugucken, aber nicht mehr mitfahren. :)

Als Follow-up ist #194 offen: Dort geht es um eine zentrale Validierung für importierte oder extern erzeugte Schemata, damit vorhandene zyklische Ableitungen nicht nur in der UI verhindert, sondern auch beim Prüfen eines Schemas verständlich gemeldet werden.