ISBN-13: 9783639550849 / Hiszpański / Miękka / 2013 / 100 str.
Este trabajo dedica su primera parte a una caracterizacion de las entidades compartimentadas (EC) a traves 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 Tipica (FNT), mas restrictiva que la Cuarta Forma Normal(4FN). Ademas, se establece un algoritmo de O(n) para la obtencion de una descomposicion de una EC en FNT, que preserva a las dependencias funcionales y con el encuentro natural sin perdida. Las DCs pueden no estar completas. Al asumir que si lo estan 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 si por la FNT. Las mismas son extensionalmente desechadas en la Base de Datos (BD) pero facilitan la formulacion de reglas de produccion para interrogaciones en el marco de las BD deductiva definida con reglas con la negacion como fracaso (not) del FA, las que son factibles en un ambiente de programacion logica (PROLOG estandar)
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)