Descomponer sin pares inventados
Divide una lista, empareja tarjetas por identificador y observa los pares inexistentes. Después comprueba por separado las dependencias. No necesitas escribir JOIN.
Dos pruebas: reconstruir sin pérdida devuelve exactamente el origen, sin pares extra; preservar dependencias significa que las reglas locales juntas implican las originales. Una cadena puede bastar aunque sus atributos no compartan una tabla.