Restricciones Explicitas en el Modelo Entidad-Relaci

1
Restricciones Explicitas en el Modelo
Entidad-Relación
2
Lenguaje de 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
LPO para 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 la Ló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
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
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
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
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 tF ?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