Modellierung

Überprüft auf NULL Werte

SELECT     partno

FROM        parts

WHERE     projectno IS NULL

• wenn \(\beta\subseteq\alpha\), dann  \(\alpha \rightarrow \beta\)(Reflexivität)
• wenn \(\alpha\rightarrow \beta\), dann \(\gamma \alpha\rightarrow\gamma\beta\)  (Vermehrung/Augmentation)
• wenn \(\alpha\rightarrow \beta \), dann \(\beta\rightarrow\gamma\) , dann \(\alpha\rightarrow \gamma\) (Transitivität)
• Wenn \(\alpha\rightarrow \beta \)  und ,\(\alpha\rightarrow \gamma\) dann \(\alpha\rightarrow \beta\gamma\)  (Vereinigung)
• Wenn \(\alpha \rightarrow\beta\gamma\)  und \(\alpha \rightarrow \beta\), dann  \(\alpha\rightarrow\gamma\)(Dekomposition)
• Wenn \(\alpha \rightarrow \beta\) und \(\beta\gamma \rightarrow \delta\) , dann \(\alpha\gamma \rightarrow \delta\) (Pseudotransitivität)

R=(A,B,C,G,H,I)

F=(A -> B, A -> C, CG -> H, CG -> I, B -> H)

AG^+

Result =AG

=ABG

=ABCG

=ABCGH

=ABCGHI

Candidate key?

1. AG -> R in F^+
2. A -> R in F^+
3. G -> R in F^+

• Werte jedes Attributs sind atomar
• Keine zusammengesetzten Werte
• Alle Einträge in einer Spalte müssen gleichen Typs sein
• Jede Spalte muss einen einzigartigen Namen haben
• Keine zwei Zeilen dürfen identisch sein

• Untersuchung auf funktionale Unabhängigkeit zwischen candidate keys und nonprime
• Partiell abhängige nonprime Elemente rauslosen und in eine separate Tabelle hinzufügen

• kein Nonprime Attribut darf von einem nonprime Attribut determiniert werden
• entweder links Schlüsselkandidat
• oder rechts nonprime
• transitiv abhängige nonprime herauslösen und samt Ableitung in eine neue Tabelle

alle Determinanten (die linken Seiten der Vorschriften) kommen in genau eine Tabelle als Schlüssel

Mittels des xs:all-Tags lässt sich eine Gruppe von Kindelementen definieren, von denen jedes maximal einmal auftreten darf (min- und maxOccurs der Kindelemente dürfen nur die Werte 0 oder 1 annehmen). Die Reihenfolge der Elemente ist beliebig.

Eine Liste von Kindelementen wird spezifiziert. Jedes dieser Elemente kann keinmal, einmal oder mehrfach auftreten (Attribute minOccurs und maxOccurs). Falls kein occurs-Attribut vorhanden ist, wird in beiden Fällen der Default-Wert 1 verwendet. Die Elemente innerhalb einer sequence müssen in der angegebenen Reihenfolge auftreten. 

<element name =" ">

<complexType>

<sequence>

<element name="erstesElement" type="T_erstesElement" maxOccurs="unbounded"/>

</sequence>

</complexType>

</element>

<complexType name="T_erstesElement">

<all>

<element name="erstesAttribut" minOccurs="1">

<simpleType>

<restriction base="string">

<enumeration value="1"/>

<!-- oder -->

<pattern value="regulärer Ausdruck">

</restriction>

</simpleType>

</element>

</complexType>

• Beschreibung des Verhaltens des zu entwickelnden Systems
• <<include>>Beziehung: A hängt von B ab, aber B kann ausgeführt werden ohne A auszuführen, aber wenn A ausgeführt wird muss B ausgeführt werden
• <<extend>>Beziehnug: B ist ein erweiterter Anwendungsfall von A, muss aber nicht, Sowohl A als auch B könne, separat ausgeführt werden. Wenn nötig, wird eine Bedingung an einen sog. Erweiterungspunkt angehängt.
• Generalisierungsbeziehung: ähnelt Verwerbung zwischen Klassen in OOP. B erbt das Verhalten von A und kann dies überschreiben oder ergänzen.

• Vererbung: per Pfeilspitze. Diese zeigt auf die Oberklasse.
• Assoziation: Verdeutlicht Beziehungen zwischen Klassen
• Aggregation: Teile-Ganzes-Beziehung. Ein Objekt besteht aus mehreren Teilobjekten. Gesamtobjekt und Gesamtobjekt sind nicht existenzabhängig.
• Komposition: Ebenfalls Teile-Ganzes-Beziehung, allerdings sind hier Gesamtobjekt und Teilobjekt existenzabhängig, d.h. das Gesamtobjekt kann nicht ohne Teilobjekte existieren und die Teilobjekte nicht ohne das Gesamtobjekt (Teilobjekte werden gelöscht wenn Gesamtobjekt gelöscht wird)

synchrone Nachrichten können erst weiter arbeiten, wenn Antwort erhalten (A kann erst weiter arbeiten, wenn B antwortet)

Bild

\(C_{i,j}=t_j(s_j)-t_j(s_j)\) (Transistion raus - Transistion rein)

\(m_0+C\cdot u=m\)

Falle: alle Transistionen betrachten, die etwas aus der Zustandsmenge rausnehmen. Wenn all diese wieder einfügen in dei Zustandsmenge dann Fall. 

Deadlock: alle Transistionen, die etwas in die Zustandsmenge reinbringen. Wenn diese zuvor etwas aus der Zustandsmenge rausgenommen, dann Deadlock.

entity und realtion als Extra Tabelle. Relation bekommt Primärschlüssel beider entities als Fremdschlüssel, eine davon wird Primärschlüssel, da eindeutige Relation

entity und realtion als Extra Tabelle. Relation bekommt Primärschlüssel beider entities als Fremdschlüssel, beide sind Primärschlüssel

Jede entity bekommt Tabelle. Die Relation bekommt die Primärschlüssel aller entities als Fremdschlüssel und der Primärschlüssel der Relation setzt sich aus allen Fremdschlüsseln zusammen.

• Fehlertoleranz
  • Aufzeichnung von Daten während einer normalen Operation
  • Automatische Reperatur
    • rückgängig machen von nicht beendeten Operationen
    • beenden von abgeschlossenen Transaktionen
• Mehrbenutzeroperationen
  • gleichzeitiger Zugriff von verschiedenen Benutzern auf die gleichen Daten
  • Synchronisierung

• Atomizität: Transaktionensänderungen sind atomar, entweder alle Änderungen werden aufgenommen oder gar keine; dies beinhaltet Datenbankänderungen, Nachrichten und Aktionen auf den Transducer
• Konsistenz: Transaktionen müssen korrekt verlaufen und nicht die Intigrität eines Zustandes ändern
• isolierte Ausübung: trotz Gleichzeitigkeit darf eine Transaktion T nur vor oder nach einer anderen Transaktionen angewendet werden, nicht beides gleichzeitig (keine Verschachtelung)
• Dauerhaftigkeit:  Daten nach dem erfolgreichen Abschluss einer Transaktion sind garantiert dauerhaft in der Datenbank gespeichert 

• Entity-Relationship Model ERM
• Unified Model Langugage UML
• Extended Markup Language XML
• Standard for the Exchange of Product Defintion Data STEP

Eine Entität ist ein Ding, das existiert (physisch und mental) und unterscheidbar ist von anderen Objekten

Eine Menge von Entitäten des gleichen Typs, die die gleichen Eigenschaften teilen

Eine begrenzte Anzahl an Entitätsmengen, die sich nicht unbedingt klar von einander abgrenzen müssen (Person kann z.B. auch Kunde sein und umgekehrt)

Eine Verbindung unter mehreren Entitäten

Eine mathematische Relation zwischen mehr als 2 Entitäten und Entitätenmengen: \(R\subseteq E_1 \times E_2 \times E_3 \times ...\times E_n \) mit \(n\geq 2\)    und\(\Rightarrow R=\{(e_1,e_2,...,e_n)|e_1 \in E_1, e_2 \in E_2 ,...,e_n \in E_n \}\)und \((e_1,e_2 ,...,e_n )\) ist eine Beziehung.

Eine Menge an erlaubten Werten

beschreibende Eigenschaften , die auch alle Entitätsmengen beschreiben (sie können simpel, zusammengesetzt, mehrwertig, nullwertig oder abgeleitet sein)

Ein Attribut, deren Werte eine Entitätsmenge eindeutig beschreiben

Ein Superkey, dass keine redundanten Attribute mehr hat und nicht weiter reduzierbar ist. Es kann mehr als nur einen Candidate Key geben.

Einer von den Candidate Keys, dass sich dafür eignet die Entitätsmenge eindeutig zu identifizieren. Manchmal ist es nötig diesen künstlich zu erzeugen (z.B. Rentenversicherungsnummer).

Ein Entitätsmenge, die keinen Primary Key hat. Sie muss sich auf eine Strong Entity Set beziehen mittels one-to-many Verbindung.

Bild

• Bottom-Up-Design Prozess
• is-a Beziehung
• rekursiv anwendbar, organisiert Klassen in Generalisierungshierarchie
• analog Spezialisierung in top-down-Design Prozess

• Superclass Eigenschaften werden an Subklassen weiter vererbt
• dadurch keine Wiederholung von beschreibenden Informationen (kürzer)
• Fehlervermeidung
• vererbt werden Attribute, Konstanten und default Werte, sowie Beziehungen, Methoden, Prädikate und Operationen

1. Jede Zeile (Tupel) ist einzigartig und beschreibt eine Entität der Miniwelt.
2. Bedeutende Informationen werden einzig und allein durch Werte dargestellt.
3. Jeder Datenwert ist ein atomares Datenelement in der Tabelle
4. Ein Primärschlüssel existiert und machmal auch mehrere zusätzliche candidate keys.
5. Die Anordnung von Zeilen ist nicht relevant.
6. Die Anordnung der Spalten ist nicht relevant.

Ein foreign key, das sich auf eine Tabelle R1 bezieht ist ein (zusammengesetztes) Attributschlüssel einer Tabelle R2 für die das folgende immer wahr ist:

Für jeden Wert (nicht NULL) des foreign key muss der gleiche Wert für den Primärschlüssel oder candidate key  in Werten von R1 existieren.