Scope note

Text

Cette propriété spécifie que l'étendue temporelle de l'instance du domaine (A) de E2_Entité_temporelle se termine avant ou simultanément avec le début de l'étendue temporelle de l'instance de la portée (B) de E2_Entité_temporelle.

En d'autres termes, si A = [A^début, A^fin] et B = [B^début, B^fin], alors A^fin ≤ B^début est vrai.

Cette propriété fait partie de l'ensemble des propriétés temporelles P173 à P176 et P182 à P185.

Cette propriété correspond à une disjonction (OU logique) des relations définies par l'algèbre des intervalles d'Allen suivantes (Allen, 1983) : {avant, rencontre}

Cette propriété est transitive et asymétrique.

Figure 16 : L'entité temporelle A termine avant ou au moment du début de l'entité temporelle B. Ici, A est plus long que B.

Figure 17 : L'entité temporelle A termine avant ou au moment du début de l'entité temporelle B. Ici, A est plus court que B.

Language

fr