¿Cuándo representar relaciones como grafo y qué conserva la agregación?
Elemento · Relación · Límite
Elige E finito identificado, Rₖ subconjunto de E × E y atributos A de fecha, fuente y estado. Obtienes grafo dirigido etiquetado: estructura matemática que no prueba realidad de vínculos.
Efecto · Tiempo · Retroalimentación
Teorema limitado: grafo finito y partición P definen grafo cociente. Bloques no vacíos, disjuntos y cubren E. Prueba: cada e tiene bloque único; q(e) está definido. Hay arista U–V si existe arista original entre sus elementos. Se define subconjunto único de P × P, relación y grafo. Solo se demuestra representación estructural.
G = (E, R)
R′ = {(q(a), q(b)) : (a,b) ∈ R}
G′ = (P, R′)Se conserva existencia de vínculos entre bloques, no automáticamente cantidad, peso, tipos, tiempo ni causa. Se requieren reglas adicionales.
Límites de la afirmación
Orden ADL no es automáticamente orden parcial; retroalimentación no es contradicción; recursión no prueba leyes invariantes. La construcción usa ideas conocidas de grafos/relaciones y delimita lo demostrado.
Prueba
Prueba estados internos distintos con q(x) = q(y). Si q(F(x)) ≠ q(F(y)), no hay regla autónoma única. El contraejemplo no desaparece renombrando orden.
Fuente
Las fuentes respaldan fundamentos; el vínculo ADL es interpretación explicitada.