Relaciones fvo

2ª parte.
Ordenamiento de archivos
Para saber con qué criterio ordenamos los archivos, utilizamos la propiedad transitiva.
C1)
1) [( DLL-107 R AAE-128.sql ) ^ ( AAE-128 R ARPAC-121.exe)] → (DLL-107 R ARPAC-121.exe )
( V ^ V ) → FV → F
F
No se cumple la propiedad transitiva en C1
C2)
1) [( DLL-107 R JXK-000.exe ) ^ (JXK-000.exe R ZQJUI-773.avi )] → (DLL-107 R ZQJUI-773.avi )
( V ^ V ) → FV → F
F
No se cumple la propiedad transitiva en C2

C3)

1) [(PI-314.vwm R PROL-134.exe ) ^ ( PROL-134.exe R PRXACZ-199.bin )] → ( PI-134.vwm R PRXACZ-199.bin )
( V ^ V) → V
V → VV

2) [( ZQJUI-773.avi R JXK-000.exe ) ^ ( JXK-000.exe R AAE-128.sql )] → ( ZQJUI-773.avi R AAE-128.sql )
( F^ F ) → VF → V
V

3) [( ZQJUI-773.avi R JXK-000.exe ) ^ ( JXK-000.exe R DLL-107 )] → ( ZQJUI-773.avi R DLL-107 )
( F...