Relationentheorie  AIFB SS2001 1 1.3 1.3 Semantische Integritätsbedingungen (1|7) Eine „semantische Integritätsbedingung“ (sIB)  über der Attributmenge.

Slides:

Advertisements

Ähnliche Präsentationen

Definition [1]: Sei S eine endliche Menge und sei p eine Abbildung von S in die positiven reellen Zahlen Für einen Teilmenge ES von S sei p definiert.

Advertisements

Programmierung 1 - Repetitorium

Programmierung 1 - Repetitorium WS 2002/2003 Programmierung 1 - Repetitorium Andreas Augustin und Marc Wagner Homepage:

Synchronisation paralleler Transaktionen AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (5/13) Schedule: T* = {T 1,..., T.

1.4.5 Zur Berechnung von F+ (1|7)

7.2 B-Bäume / B*-Bäume als Hilfsmittel zur Indexorganisation

Invariante und Algorithmenentwurf

Relationentheorie AIFB SS Transitive (funktionale) Abhängigkeiten Transitive (funktionale) Abhängigkeiten (1|3) Geg.: r: (U | F); A,

Datenstrukturen, Algorithmen und Programmierung 2 (DAP2)

Kapitel 5 Stetigkeit.

Kapitel 1 Die natürlichen und die ganze Zahlen. Kapitel 1: Die natürlichen und die ganzen Zahlen © Beutelspacher/Zschiegner April 2005 Seite 2 Inhalt.

Prof. Dr. rer.nat. Ralph Großmann Fakultät Informatik / Mathematik Sommersemester 2012 Internet-Technologien XML-basierte Techniken Teil Metasprache der.

Zahlen geschickt addieren

Kapitel 5: Relationenmodell und algebraorientierte Anfragesprachen

Relationentheorie AIFB SS Algorithmen zur Bildung von 3NF-Relationsschemata Algorithmen zur Bildung von 3NF-Relationsschemata (2|8) (2)Synthese.

Relationentheorie AIFB SS a c d b e Beispiel 1-13: s:(U | F) U = {a, b, c, d, e}; F = {ab c, c d, b e} Dritte Normalform (3NF) Dritte.

Abbildungsverfahren (1)

Armstrong-Axiome (1) Es seien X, Y, W, Z Í AR. Basis:

Relationentheorie AIFB SS Wir setzen: A 1 A 2 = B, A 1 = AB, A 2 = BC, mit A B= A C = B C = Damit ist: U = ABC Test auf Verlustfreiheit (Verbundtreue)

4.4.2 Sperrverfahren (9/18) Regeln für das Setzen von Sperren

1.4.3 Die abgeschlossene Hülle F+ (1|5)

Rel-Modell Relationenspezifische Operationen (3|21) (B) Selektion: Auswahl von Tupeln sei b = geeignete Bedingung (Selektionsbedingung):

3.5.2 Fremdschlüssel/ Referentielle Integrität (6/9)

3.5.2 Fremdschlüssel/ Referentielle Integrität (1/9)

SQL - Structured Query Language AIFB SS (1/7) Verknüpfung von Relationen mit Subqueries (1/7) 32. Namen aller Angestellten, die mit 100 %

SQL - Structured Query Language AIFB SS (1/3) Bildung von Gruppen (Group)(1/3) Zusammenfassung von Zeilen mit demselben Wert in einer vorgegebenen.

Zerlegung und Konstruktion Frage 2: Welche Zerlegungen sind korrekt? Zerlegung ersetzt Relationstyp R(A 1,...,A n ) und Menge von assoziierten Abhängigkeiten.

§14 Basis und Dimension (14.1) Definition: V sei wieder ein K-Vektorraum. Eine Menge B von Vektoren aus V heißt Basis von V, wenn B ist Erzeugendensystem.

§14 Basis und Dimension  (14.1) Definition: V sei wieder ein K-Vektorraum. Eine Menge B von Vektoren aus V heißt Basis von V, wenn B ist Erzeugendensystem.

Maschinelles Lernen und automatische Textklassifikation

Rel-Modell Relationenspezifische Operationen (7|21) Beispiel 8-9: Betrachte angestellte1 – projekt1 – ang-pro1 Gesucht: Name / Proz-Arbzeit.

§17 Produkte und Quotienten von Vektorräumen

Schlüssel von Beziehung(styp)en (1|5)

Mehrkriterielle Optimierung mit Metaheuristiken

Ein Thema der Physik des „Massenpunktes“ und der Photonen

Synchronisation paralleler Transaktionen AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (11/13) Vermutung: Eine Schedule S.

7.2.2 Bäume als Hilfsmittel zur Indexorganisation (1/14)

Relationentheorie AIFB SS Relationen in 1NF und relationale Datenbanken(1/5) Attribut a Wertebereichdom(a) (domain) AttributemengeA = {a 1,...,

Voll funktionale Abhängigkeiten (4)

Mengenoperationen (1/3)

Relationentheorie AIFB SS Eigenschaften funktionaler Abhängigkeiten Eigenschaften funktionaler Abhängigkeiten (1|6) Lemma 1.1: (Regeln.

SQL - Structured Query Language AIFB SS (1/9) Join-Operationen in SQL-92(1/9) Syntax einer Join-Operation: join-op := CROSS JOIN | [NATURAL]

Semantische Integritätsbedingungen AIFB SS assert-Klausel (2/6) Beispiel 3-2: Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez).

Integritätserhaltung und -Überprüfung in deduktiven Datenbanken

Reelle Zahlen Grundrechenarten √2, √3, √5, … V 0.1.

1 Polymorphe Operatoren Zunächst: Beschränkung auf Operatoren zum Abfragen der in Relationen enthaltenen Information. Forderung nach mathematischer Exaktheit.

Relationentheorie  AIFB SS Schlüssel / Schlüsselattribute / Nichtschlüsselattribute (2|4) Algorithmus zur Bestimmung aller Schlüssel.

1.6.3 Test auf Verlustfreiheit (Verbundtreue) (4|10)

Rel-Modell Schema (3|8) Beispiel 8-12: Rel. Datenbank-Schema (beispielhaft) für eine rel. DB mit den Relationen angestellte1, projekt1.

Synchronisation paralleler Transaktionen  AIFB SS Sperrverfahren Sperrverfahren (13/18) Behandlung von Konflikten bei der Sperrvergabe.

Semantische Integritätsbedingungen  AIFB SS trigger-Klausel (2/5) Beispiel 3-5: Angestellter: (Ang-Nr, Ang-Name, Gehalt,Familienstand, Abt-Bez).

Relationentheorie  AIFB SS Funktionale Abhängigkeiten – Definition und Eigenschaften U Attributmenge; A, B, …  U r: (U | F) Relation über U.

1 Mehrwertige Abhängigkeiten (2) Beispiel: Wir beschränken KomplGeoKörper auf die topologische Information: relation Topologie(GeoName, FID, KID, PID);

Synchronisation paralleler Transaktionen  AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (2/13) Im folgenden wird ein vereinfachtes.

RelationentheorieObjektorientierte Datenbanken  AIFB SS Grenzen relationaler Datenbanksysteme (1/2) Eine Reihe von Anwendungsgebieten, insbesondere.

Semantische Integritätsbedingungen  AIFB SS Überwachung von Integritätsbedingungen (1/3) Dem DBMS muß mitgeteilt werden, wann eine Integritätsbedingung.

SQL - Structured Query Language  AIFB SS (1/3) Verknüpfung von Relationen (Join)(1/3) Anfragen mit Join („Natural Join“) 22. „Alle Projekte.

Relationentheorie  AIFB SS Zerlegung Zerlegung (1|6) 1.Die funktionalen Abhängigkeiten müssen erhalten bleiben („fA-erhaltend“). 2.Die.

Rel-Modell Modellierung der Realwelt im relationalen Datenmodell (1|5) Beispiel 8-5: Objekte:Angestellte, Projekte Beziehungen:Angestellte.

SQL - Structured Query Language  AIFB SS (1/6) Spezielle Anfragen an eine Relation(1/6) projekt P-NAMEP-NRP-FILIALEP-LEITER p Karlsruhe3115.

Informationserhaltende Zerlegungen (1) T R sei Relationstyp mit Attributmenge A R und Ausprägung R Zerlegung in Relationstypen T R 1,...,T R k mit Attributmengen.

Rel-Modell Fremdschlüssel (1|3) Attribute: P-NR, ANG-NRin ang-pro1 P-LEITERin projekt1 ABT-NRin angestellte1 r 1 r 2... FS PS  P-NR.

? definierende Gleichungen  gültige Gleichungen ?

Version vom Max-Flow in Orientierten Matroiden Winfried Hochstättler & Robert Nickel Fernuniversität in Hagen Lehrstuhl für Diskrete Mathematik.

Rel-Modell Einige Definitionen (1|2) Kartesisches Produkt: W 1, W 2, …, W n beliebige Mengen. W 1  W 2  …  W n ::= {(w 1, w 2, …,

ER-Modell Beziehungen und Beziehungstypen (1|5) Beziehung (relationship) (b): Zwei oder mehr Objekte können miteinander in Beziehung.

Folie 1 §8 Gruppen und Körper (8.1) Definition: Eine Gruppe G ist eine Menge zusammen mit einer Verknüpfung, die jedem Paar (a,b) von Elementen aus G ein.

Semantische Integritätsbedingungen  AIFB SS Klassifikation semantischer IB (1/3) (1) Nach Art und Zahl der durch eine Integritätsbedingung umfassten.

1 Schlüssel von Beziehung(styp)en (2|5) Bestellung: B: E 1,..., E n identifizierend für B; Schlüssel ? Anmerkung: Wie Entity-Typen kann man auch Beziehungstypen.

Übungsblatt 4 Erläuterungen Wintersemester 15/16 DBIS.

Präsentation transkript:

Relationentheorie  AIFB SS Semantische Integritätsbedingungen (1|7) Eine „semantische Integritätsbedingung“ (sIB)  über der Attributmenge A macht eine Aussage über Teilmengen X  dom (A) X  dom (A): entweder X erfüllt  :  (X) (wir sagen auch „  trifft zu / gilt für X“; i.Z.  (X)) oder nicht: ¬  (X)

Relationentheorie  AIFB SS Semantische Integritätsbedingungen (2|7) Relationsschema: r : (A |  ); mögliche Werte zum Zeitpunkt t: r t (  val(r))  = Menge von sIB’s über A in der Bedeutung: jedes r t erfüllt alle    d.h.  (r) für alle   , kurz auch:  (r) Anmerkungen: Kurzschreibweise für „r : (A | ø)“: „r : (A)“ ,  ’ spez. Integritätsbedingungen (allg. Aussagen!)  (r) :  (  X  val(R):  (X))  =  ’ :  (  (r)   ’(r)) („aus  folgt  ’“)

Relationentheorie  AIFB SS Semantische Integritätsbedingungen (3|7) Anmerkung zu „ “: betrachtete Relation ang-pro. Es sei für Angestellte a: s(a) = Summe von Proz-Arbzeit des Angestellten a über alle Projekte p, an denen a mitarbeitet. sIB  1 : s(a) <= 100 für alle a sIB  2 : s(a) = 100 für alle a d.h.  X  val(ang-pro):  2 (X)   1 (X) Dann gilt für ang-pro:  2  1

Relationentheorie  AIFB SS Semantische Integritätsbedingungen (4|7) Wunsch bzw. Vorstellung: „ E: wird vollständig modelliert durch r: (A |  ).“ d.h. wir nehmen an: Jedes X  dom (A) mit  (X) stellt einen gültigen Realweltzustand (d.h. „E t :X“) dar! Zwei Mengen ,  ’ sind äquivalent (  ~  ’ ), wenn sie - in obigem Sinn - dieselbe Realwelt modellieren (d.h. dieselben gültigen Realweltzustände X  dom (A) ergeben).

Relationentheorie  AIFB SS Semantische Integritätsbedingungen (5|7) Wir beschränken uns im folgenden auf einfache sIB‘s: Angabe von Schlüsseln für Relationen, bzw. allgemeiner Angabe sog. „funktionaler Abhängigkeiten“