Este panel le permite crear una nueva población con marca de tiempo mediante uno o más operadores de conjunto (unión, intersección y diferencia) en poblaciones con marca de tiempo existentes.
Una población con marca de tiempo es una lista de parejas <identifiers; time stamps>: el significado semántico de una construcción de este tipo puede asociarse con instantáneas de las entidades en una hora determinada. En términos generales, una entidad determinada puede estar representada en distintas marcas de tiempo en una única población con marca de tiempo.
Una población con marca de tiempo compuesta se representa mediante un árbol en el que el nivel superior es un operador de conjunto y los niveles inferiores son poblaciones con marca de tiempo u operadores de conjunto.
| El icono... | Con la etiqueta | Representa... |
|---|---|---|
![]() |
No definido | un parámetro no definido |
![]() |
Concat | el operador de unión |
![]() |
Intersección | el operador de intersección |
![]() |
Diferencia | el operador de diferencia |
![]() |
<Nombre de población con marca de tiempo> | una población con marca de tiempo |
De manera predeterminada, se visualiza una plantilla con parámetros no definidos.
| Nombre del operador | Resultado |
|---|---|
| Concat | la unión de las poblaciones con marca de tiempo seleccionadas |
| Intersección | la intersección de las poblaciones con marca de tiempo seleccionadas |
| Diferencia | la diferencia entre las poblaciones con marca de tiempo seleccionadas |
El indicador se sustituye por el icono del operador seleccionado seguido de su nombre.