Restricciones Explicitas en el Modelo Entidad-Relación

1. Restricciones Explicitas en el Modelo Entidad-Relación

2. Lenguajede Primer Orden (LPO) • CON: (Constantes) representan objetos particulares del universo • VAR: (Variables) representan objetos genéricos del universo • PRE: (Predicados) representan relaciones o acciones o propiedades de los objetos. • “aridad” número de objetos que asocia la realción • FUN: (Funcionales) representan funciones que se aplican a los objetos (cuyo resultado es otro objeto), permiten denotar valores de propiedades. • “aridad” número de argumentos de la función

3. LPOpara un diagrama ER • CON: valores atómicos correspondientes a los dominios de los atributos • VAR: cualquier símbolo alfabético con o sin subíndices • PRE: los nombres de los conjuntos entidades y los conjuntos relaciones • FUN: los nombres de los atributos de entidades y relaciones, y los roles de las relaciones. • CMP: comparadores usuales CMP={,,,,,}

4. Conectores de laLógica • UNA: conectores unarios: UNA={} • Negación (): • BIN: conectores binarios: BIN={,,,} • Conjunción () • Disyunción () • Condicional () • Bicondicional ()

5. Cuantificadores • CTF ={,,n,n,!n}: • Existencial ( ): algún objeto cumple una FBF • Universal ( ): la plenitud de objetos cumplen una FBF • “Al menos n” (n): n objetos diferentes cumplen una FBF • “A lo más n” (n): n es una cota superior del número de objetos diferentes que cumplen una FBF • “Exactamente n” (!n): exactamente n objetos diferentes cumplen una FBF

6. Notacion • “de conjuntos” • Uso de simbolos predicados mediante el “” • “punto” • “.” Para referenciacion de valores de atributos • “corchetes” • “[“ y “]” para referenciacion objetos por nombre de rol en relaciones. • “de tuplas” • “(“,”)” para denotar objetos que conforman una instancia de relación, separados por comas, sin orden.

7. categoria CLIENTES Entidades, Atributos y Cuantificacion Numerica • Notacion “de conjuntos” • Notacion “punto” • Cuantificadoresn,n,!n “Al menos 3 y a lo más 10 clientes se consideran de categoría A”

8. marido sexo Casado PERSONAS mujer Relaciones y Roles • Notacion “de conjuntos” • Notacion “corchetes” “El rol de marido en la relación casado está restringido a personas de sexo masculino, y el de mujer a personas de sexo femenino ”

9. LIBRERÍAS Ofrece LIBROS Atributos de Relaciones y Expresiones Aritmeticas • Notacion “punto” • Notacion “de tuplas” • Sumatoria cantidad total “La cantidad total de libros en una librería es la suma de las cantidades en existencia de cada libro”

10. sueldo EsJefe EMPLEADOS TrabajaEn DEPARTAMENTOS Clasico ejemplo • Formas Aristotelicas “El sueldo del jefe de un departamento es mejor que el de todos sus empleados”

11. Terminos (TER) • Si cCON, entonces cTER • Si xVAR, entonces xTER • Si FFUN y F es un nombre de atributo y tTER entonces t.FTER • Si FFUN y F es un nombre de rol y tTER entonces t[F]TER • Si t1,t2,..tnTER entonces (t1,t2,..,tn)TER

12. Formulas Bien Formadas (FBF) • Si t1TER y t2TER y CMP, entonces (t1t2)FBF • Si PPRE y tTER, entonces (tP)FBF • Si AFBF y UNA, entonces AFBF • Si AFBF y BFBF y BIN, entonces (AB)FBF • Si AFBF y xVAR y CTF, entonces xAFBF