SCHEMA Erfassung_Geschwindigkeiten;

REFERENCE FROM Allgemeine_Objekte (Anzahl_zweistellig, Anzahl, Stundenkilometer);

ENTITY Erfassung_Geschwindigkeiten;
--- Attribute :
    zugehoerige_Fahrzeugklasse: INTEGER;
--- Relationen :
    hat_V_Verteilungen: OPTIONAL SET [1: ?] OF V_Verteilungen;
    hat_aggregierte_Werte: SET [1: ?] OF aggregierte_Werte;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY V_Verteilungen;
--- Attribute :
--- Relationen :
    hat_Anzahl_V_Klassen: SET [1: ?] OF Anzahl_V_Klassen;
    hat_V_Klassen: SET [1: ?] OF V_Klassen;
INVERSE
    von_Erfassung_Geschwindigktn: SET [0: ?] OF Erfassung_Geschwindigkeiten FOR hat_V_Verteilungen;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY Anzahl_V_Klassen;
--- Attribute :
    Fahrzeugklasse: INTEGER;
    Anzahl_V_Klassen: Anzahl;
--- Relationen :
INVERSE
    von_V_Verteilungen: SET [0: ?] OF V_Verteilungen FOR hat_Anzahl_V_Klassen;
WHERE
    Anzahl_sinnvoll: Anzahl_V_Klassen<=16;
    Fahrzeugklasse_positiv: Fahrzeugklasse>=1;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY V_Klassen;
--- Attribute :
    Klassennummer: Anzahl_zweistellig;
    Klassengrenze: INTEGER;
    Klassenwert: INTEGER;
--- Relationen :
    hat_abgel_Werte_und_Verteilgen: OPTIONAL SET [1: ?] OF abgel_Werte_u_Verteilgen_VK;
INVERSE
    von_V_Klassen: SET [0: ?] OF V_Verteilungen FOR hat_V_Klassen;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY abgel_Werte_u_Verteilgen_VK;
--- Attribute :
--- Relationen :
INVERSE
    von_V_Klassen: SET [0: ?] OF V_Klassen FOR hat_abgel_Werte_und_Verteilgen;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY aggregierte_Werte;
--- Attribute :
    Standardabweichung: OPTIONAL Stundenkilometer;
    v85: OPTIONAL Stundenkilometer;
--- Relationen :
    hat_mittlere_Geschwindigkeit: mittlere_Geschwindigkeit;
INVERSE
    von_Erfassung_Geschwindigkeit: SET [0: ?] OF Erfassung_Geschwindigkeiten FOR hat_aggregierte_Werte;
WHERE
    v85_sinnvoll: v85<=254;
    Standardabweichung_sinnvoll: Standardabweichung<=255;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY mittlere_Geschwindigkeit;
--- Attribute :
    Geschwindigkeit: Stundenkilometer;
--- Relationen :
    hat_abgeleitete_Werte: OPTIONAL SET [1: ?] OF abgeleitete_Werte_VM;
INVERSE
    von_aggregierten_Werten: SET [0: ?] OF aggregierte_Werte FOR hat_mittlere_Geschwindigkeit;
WHERE
    Geschwindigkeit_sinnvoll: Geschwindigkeit<=255;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

ENTITY abgeleitete_Werte_VM;
--- Attribute :
--- Relationen :
INVERSE
    von_mittlerer_Geschwindigkeit: SET [0: ?] OF mittlere_Geschwindigkeit FOR hat_abgeleitete_Werte;
END_ENTITY;

-- SCHEMA - OKSTRA - INDEX - VERSION << - VERSION >>

END_SCHEMA; -- Erfassung_Geschwindigkeiten