1 / 12

Restricciones Explicitas en el Modelo Entidad-Relación

Restricciones Explicitas en el Modelo Entidad-Relación. Lenguaje de Primer Orden (LPO). CON : ( Constantes) representan objetos particulares del universo VAR : (Variables) representan objetos genéricos del universo

braden
Download Presentation

Restricciones Explicitas en el Modelo Entidad-Relación

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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

More Related