Ekvivalence předmětů
Motivace
Z různých důvodů vznikají v katalogu předmětů nové záznamy - předměty s novým kódem. Jsou ale považovány za ekvivalentní s předměty s jinými kódy. Tyto předměty nemohou být stejné úplně ve všech atributech, protože pak by nebyl důvod zavádět nový kód, ale jsou považovány za totožné pro účely vybraných kontrol, v této chvíli zejména kontrol zápisu. Aby tato "identita" nebo "ekvivalence" předmětů mohla být v kontrolách zohledněna, je zavedena relace
ekvivalence předmětů.
Definice
Ekvivalence předmětů je definována jako relace, která je
- symetrická (je-li A ekvivalentní s B, je také B ekvivalentní s A)
- reflexivní (předmět je ekvivalentní sám se sebou)
- tranzitivní (je-li A ekvivalentní s B a B ekvivalentní s C, je také A ekvivalentní s C).
Z uvedených vlastností plyne, že předměty se rozpadají do navzájem disjunktních
tříd ekvivalence. To umožňuje v kontrolách např. počtu zápisů použít namísto identifikace předmětu identifikaci třídy ekvivalence. Jsou-li dva předměty ekvivalentní, počítají se jako jeden předmět v těchto kontrolách:
- zapisovaný předmět student dosud neabsolvoval (jsou-li tedy předměty XY a YZ ekvivalentní, není nutné mezi nimi nastavovat starší vztah zastupitelnosti, protože ta platí automaticky)
- předmět není zapisován potřetí
- žádný předmět v příštím semestru není zapsán víc než 2x
- žádný předmět zapsaný v příštím semestru nebyl dříve absolvován
- žádný povinný předmět nevyčerpal počet povolených zapsání - za předpokladu, že je u každého "ekvivalentu" uvedena role označující povinný předmět.
Poznámky: Jsou-li tedy předměty XY a YZ ekvivalentní:
- není nutné mezi nimi nastavovat starší vztah zastupitelnosti, protože ta platí automaticky
- zapíše-li si student poprvé předmět XY a nesplní ho, může si podruhé zapsat buď předmět XY nebo YZ a i pro předmět YZ se bude jednat o druhé zapsání,
- zapíše-li si student poprvé povinný, nebo povinně volitelný předmět XY a nesplní ho, může si již jenom jednou zapsat buď předmět XY nebo YZ. Pokud ani na toto druhé zapsání předmět nesplní, student již nebude mít šanci tento povinný předmět splnit, a tudíž nemůže splnit studijní plán,
- ve stejném semestru si student nemůže zapsat oba předměty XY a YZ,
- zapíše-li si student poprvé předmět XY a splní ho, nemůže si již zapsat předmět YZ.