--- Attribute : | |
Langtext | : STRING(10); |
--- Relationen : |
--- Attribute : | |
--- Relationen : | |
hat_Startdatum | : Startdatum; |
hat_Dauer | : Dauer; |
--- Attribute : | |
Jahr | : OPTIONAL INTEGER; |
Monat_im_Jahr | : OPTIONAL INTEGER; |
Woche_im_Jahr | : OPTIONAL INTEGER; |
Tag_im_Monat | : OPTIONAL INTEGER; |
vorwaerts_oder_rueckwaerts | : OPTIONAL BOOLEAN; |
Woche_im_Monat | : OPTIONAL INTEGER; |
Tag_in_der_Woche | : OPTIONAL INTEGER; |
Stunde_am_Tag | : OPTIONAL INTEGER; |
Minute_in_der_Stunde | : OPTIONAL INTEGER; |
Sekunde_in_der_Minute | : OPTIONAL INTEGER; |
--- Relationen : | |
INVERSE | |
von_einfachem_Zeitraum | : SET [0: ?] OF einfacher_Zeitraum FOR hat_Startdatum; |
WHERE | |
nur_Monat_oder_Woche | : NOT(EXISTS(Monat_im_Jahr)AND EXISTS(Woche_im_Jahr)); |
--- Attribute : | |
Jahre | : OPTIONAL INTEGER; |
Monate | : OPTIONAL INTEGER; |
Wochen | : OPTIONAL INTEGER; |
Tage | : OPTIONAL INTEGER; |
Stunden | : OPTIONAL INTEGER; |
Minuten | : OPTIONAL INTEGER; |
Sekunden | : OPTIONAL INTEGER; |
--- Relationen : | |
INVERSE | |
von_einfachem_Zeitraum | : SET [0: ?] OF einfacher_Zeitraum FOR hat_Dauer; |
--- Attribute : | |
--- Relationen : | |
hat_ersten_Zeitraum | : Zeitraum; |
hat_zweiten_Zeitraum | : Zeitraum; |
hat_Operator | : Operator; |
--- Attribute : | |
Kennung | : STRING(1); |
Langtext | : STRING; |
--- Relationen : | |
UNIQUE | |
Kennung_eindeutig | : Kennung; |
--- Attribute : | |
--- Relationen : | |
INVERSE | |
erster_in | : SET [0: ?] OF komplexer_Zeitraum FOR hat_ersten_Zeitraum; |
zweiter_in | : SET [0: ?] OF komplexer_Zeitraum FOR hat_zweiten_Zeitraum; |
Datums_Format | : SELF LIKE '##.##.####'; |
Uhrzeit_Format | : SELF LIKE '##:##' OR SELF LIKE '##:##:##' OR SELF LIKE '##:##:##:###'; |
Jahr_sinnvoll | : { 1900<=SELF<=2099}; |
Monat_sinnvoll | : { 1<=SELF<=12}; |
Woche_sinnvoll | : { 1<=SELF<=53}; |
Monat_sinnvoll | : { 1<=SELF<=31}; |
Stunde_sinnvoll | : { 1<=SELF<=12}; |
Minute_sinnvoll | : { 1<=SELF<=12}; |
Anzahl_nicht_negativ | : SELF>=0; |
Anzahl_zweistellig | : { 0<=SELF<=9}; |
Anzahl_zweistellig | : { 0<=SELF<=99}; |
Groesse_nicht_negativ | : SELF>=0; |
Grad_sinnvoll | : { 0<=SELF<=359}; |
Hektopascal_sinnvoll | : { 800<=SELF<=1200}; |
Meter_pro_Sekunde_nicht_neg | : SELF>=0; |
Millimeter_pro_Stunde_n_neg | : SELF>=0; |