Übungsblatt 7 PDF

Preview

Summary

Download Übungsblatt 7 PDF

Description

TU Dortmund

Informationssysteme

Prof. Dr. Jens Teubner

Aufgabe 7.1 (Safe TRC – Anfragen) 1. { s | s ∈ Standort ∧ ( s.Ort = ’Bochum’ ∨ s.Ort = ’Dortmund’ ) } SELECT ∗ FROM St a ndo r t WHERE Ort = ’ Bochum ’ AND Ort = ’ Dortmund ’ ; 2. { t | ∃p : p ∈ Projekt ∧ ∃o : o ∈ Organisation ∧ p.Abteilung = o.Abteilung t ← h p.Abteilung, o.Organisation, o.Filiale i } SELECT p . Name, o . O r g a ni s a t i o n , o . F i l i a l e FROM Pr o j ek t AS p , Or g a ni s a t i o n AS o WHERE p . Ab t eil u ng = o . Ab t ei l ung ; 3. { t | ∃o : o ∈ Organisation ∧ ∃s : s ∈ Standort ∧ o.Filiale = s.Filiale ∧ ¬(∃ p : p ∈ Projekt ∧ p.Abteilung = o.Organisation) t ← h o.Organisation, s.Ort i } SELECT o . Ab t eilung , s . Ort FROM Or g a ni s a t i o n AS o , St a ndo r t AS s WHERE o . F i l i a l e = s . F i l i a l e AND NOT EXISTS (SELECT ∗ FROM Pr o j ek t p WHERE p . Ab t eil u ng = o . Ab t eil ung );

Aufgabe 7.2 (Übersetzung von Relationaler Algebra in Safe TRC) 1. T(v, πL (Exp) := ∃u : T(u, Exp) ∧ v ← hu.A1 , ..., u.Ak i 2. T(v, Exp1 x Exp2 ) := ∃u : T(u, Exp1 ) ∧ ∃w : T(w, Exp2) ∧ v ← hu, wi 3. T(v, Exp1 x Exp2 ) := T(v, Exp1 ) ∨ T(v, Exp2 ) 4. T(v, Exp1 − Exp2 ) := T(v, Exp1 ) ∧ ¬(T(v, Exp2 ))

Übungsblatt 07

1...