In diesem Bereich können Sie eine neue Population mit Zeitstempel anlegen, indem Sie einen oder mehrere Set-Operatoren (Vereinigung, Schnittmenge und Differenz) auf bereits vorhandene Populationen mit Zeitstempel anwenden.
Eine Population mit Zeitstempel ist eine Liste von Paaren im Format <identifiers; time stamps>: Die semantische Bedeutung eines solchen Konstrukts kann mit Momentaufnahmen der Entitäten und einem bestimmten Zeitpunkt verknüpft werden. In der Regel kann eine bestimmte Entität in verschiedenen Zeitstempeln innerhalb derselben Population mit Zeitstempel abgebildet werden.
Eine Verbundpopulation mit Zeitstempel wird durch einen Baum abgebildet, bei dem die oberste Ebene ein Set-Operator ist und die unteren Ebenen entweder Populationen mit Zeitstempel oder Set-Operatoren sind.
| Symbol | + Beschriftung | Dargestellte Informationen |
|---|---|---|
![]() |
Nicht definiert | nicht definierter Parameter |
![]() |
Verkettung | Vereinigungsoperator |
![]() |
Schnittmenge | Schnittmengenoperator |
![]() |
Differenz | Differenzoperator |
![]() |
<Name der Population mit Zeitstempel> | Population mit Zeitstempel |
Standardmäßig wird eine Vorlage mit nicht definierten Parametern angezeigt.
| Name des Operators | Ergebnis |
|---|---|
| Verkettung | Vereinigung der ausgewählten Populationen mit Zeitstempel |
| Schnittmenge | Schnittmenge der ausgewählten Populationen mit Zeitstempel |
| Differenz | Differenz zwischen den ausgewählten Populationen mit Zeitstempel |
Das Kennzeichen wird durch das Symbol des ausgewählten Operators, gefolgt von dessen Namen ersetzt.