Differences

This shows you the differences between two versions of the page.

--- uni:5:dbs [2014-01-29 21:22] – skrupellos
+++ uni:5:dbs [2020-11-18 18:11] (current) – external edit 127.0.0.1
@@ Line 112: / Line 112: @@
 ==== Synchronisation ====
 === Anomalien ===
-**Lost update**
+== Lost update ==
 ^ t1 |  r(x)  |        |  w(x)  |
 ^ t2 |        |  w(x)  |        |
-**Dirty read/write**
+== Dirty read/write ==
 ^ t1 |  w(x)  |        |  w(x)  |
 ^ t2 |        |  r(x)  |        |
-**Non-repeatable read**
+== Non-repeatable read ==
 ^ t1 |  r(x)  |        |  r(x)  |
 ^ t2 |        |  w(x)  |        |
-**Phantom-Problem**
+== Phantom-Problem ==
 //Non-repeatable read// mit Aggregiertem read
@@ Line 131: / Line 131: @@
 ^ serialisierbarer (allgemeiner) Schedule | Durcheinander kann in Blockform gebracht werden |
 ^ serieller Schedule | Blockform | <latex>\[n{\color{red}!}\]</latex> |
+Graph Zeichen
+  * Knoten: Transaktionen
+  * Kanten: Abhängigkeiten
+^ Übergang ^ Markierung ^
+| $w_i(x) \rightarrow r_j(x)$ | wr(x) |
+| $r_i(x) \rightarrow w_j(x)$ | rw(x) |
+| $w_i(x) \rightarrow w_j(x)$ | ww(x) |
+//Kein// rr(x)
+Zyklenfrei? => Serialisierbar durch topologisches sorieren
+=== Technicken ===
+  * Pessimistische Ablaufsteuerung (Locking)
+  * Optimistische Ablaufsteuerung (Zeitstempelverfahren) \\ Notfalls rollback
 ===== Anwendung =====
 ==== "MVC" Aufteilungen ====
@@ Line 176: / Line 192: @@
 === 1. NF ===
+Bedingung
 > Alle Attribute //atomar//
@@ Line 183: / Line 200: @@
 === 2. NF ===
+Bedingung
 > //Jedes// Attribut entweder
 > voll funktional Abhängig von //jedem// Schlüsselkandidaten
@@ Line 191: / Line 209: @@
 Sonst: Vom Schlüssel nicht voll funktional Abhängige Attribute werden herausgelöst, in eigene Tabelle
+=== 3. NF ===
+Bedingung
+<WRAP help 60%>
+//Jede// FD $X \rightarrow Y$ ist mindestens eins:
+  * tivial
+  * X enthält Schlüsselkandidat
+  * $\forall a \in (Y-X)$ ist prim
+</WRAP>
+<WRAP info 60%>
+Keine (nicht trivialen) FDs unter Nicht-Schlüssel-Attributen
+</WRAP>
+  - **Kanonische Überdeckung**
+    - Linksreduktion  \\ Komme ich von //X-x// und //identischem FD// dennoch auf Y, dann streiche x aus X
+    - Rechtsreduktion \\ Komme ich von //X// und //FD ohne y// dennoch auf y in Y, dann streiche y aus Y
+    - $X \rightarrow \emptyset$ entfernen
+    - Gleiche X zusammenfassen
+  - **Relationsschema erzeugen und FDs zuweisen**
+    - Aus jedem FD erzeuge eine Relation mit X als Primärschlüssel und Y als Attribute
+    - Ordne jedes FD den Relationen zu, die alle seine "Buchstaben" enthält
+  - **Schlüsselkandidat rekonstruieren** \\ Stelle sicher, dass eine Relation einen ehemaligen Schlüsselkandidaten enthält, notfalls erzeuge eine neue mit leerem ohne zugeordnete FDs
+  - **Überflüssige Relationen eliminieren** \\ Lösche Relationen, die Teilmenge einer anderen sind.
+=== Boyce-Codee-Normalform ===
+Bedingung
+<WRAP help 60%>
+//Jede// FD $X \rightarrow Y$ ist mindestens eins:
+  * tivial
+  * X enthält Schlüsselkandidat
+</WRAP>
+<WRAP info 60%>
+Keine (nicht trivialen) FDs unter Schlüssel-Attributen
+</WRAP>
+=== 4. NF ===
+Wirkung
+> Nicht mehrere Tabellen in einer.
+Bedingung
+<WRAP help 60%>
+//Jede// MVD $X \twoheadrightarrow Y$ ist mindestens eins:
+  * tivial
+  * X enthält Schlüsselkandidat
+</WRAP>
+MVD (Multi Valued Dependency): //Mehre// Attribut//werte//, eines Attributs, sind von der linken Seite abhängig.
 ==== Begriffe ====
   * Domain
@@ Line 538: / Line 609: @@
 <code sql>
 -- Laut script kein START TRANSACTION
+SET TRANSACTION READ-ONLY  -- kein INSERT, UPDATE und DELETE. Dafür bessere Transaktionsplanung
+SET TRANSACTION READ-WRITE -- default
 SAVEPOINT name
 COMMIT