Este trabajo dedica su primera parte a una caracterización de las entidades compartimentadas (EC) a través del concepto central de dependencia cartesiana (DC). Se demuestra que las DCs son un caso particular de dependencia multivaluada (DM) que permiten definir un nuevo tipo de forma normal(FN), FN Típica (FNT), más restrictiva que la Cuarta Forma Normal(4FN). Además, se establece un algoritmo de O(n) para la obtención de una descomposición de una EC en FNT, que preserva a las dependencias funcionales y con el encuentro natural sin pérdida. Las DCs pueden no estar completas. Al asumir que sí lo están y restringir valores de aquellos registros que impiden ese completamiento con el denominado factor de atipicidad (FA). Esto hace posible que las DC restringida de ECs se puedan identificar otras DMs que cualifican un tipo de redundancia no resuelta por la 4FN y sí por la FNT. Las mismas son extensionalmente desechadas en la Base de Datos (BD) pero facilitan la formulación de reglas de producción para interrogaciones en el marco de las BD deductiva definida con reglas con la negación como fracaso (not) del FA, las que son factibles en un ambiente de programación lógica (PROLOG estándar)
