Verbundpopulation mit Zeitstempel

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.

Definition

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.

Anlegen oder Bearbeiten einer Verbundpopulation mit Zeitstempel

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.

  • Verbundpopulation mit Zeitstempel anlegen
    1. Geben Sie im Feld Name den Namen der neuen Population mit Zeitstempel ein.
    2. Geben Sie im Feld Beschreibung eine Beschreibung der neuen Population mit Zeitstempel ein.
    3. Klicken Sie auf den nicht definierten Parameter ganz oben, und wählen Sie den ersten Operator im angezeigten Menü aus.
      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.

    4. Verwenden Sie die unten angezeigten nicht definierten Parameter, um entweder eine Population mit Zeitstempel auszuwählen oder einen neuen Operator festzulegen. Wenn Sie einen neuen Operator auswählen, wird eine neue Ebene angezeigt, über die Sie die Operanden festlegen können.
    5. Wenn alle Parameter der neuen Population mit Zeitstempel festgelegt wurden, wählen Sie Weiter, um sie zu sichern.