Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 3.3
- a)
- {t.name, t.AusweisNr | t ∈ TeamMitglied ∧ (∃ e ∈ eingesetzt (t.AusweisNr = e.AusweisNr ∧ e.start = „Antalya“ ∧ e.end = „Rhodos“))}
- b)
- {s.ID | s ∈ Schiffe ∧ s.Baujahr = 1993 ∧ (∃ e ∈ eingesetzt( e.EndDatum >= 01.05.2015))}
- c)
- {t.AusweisNr | t ∈ TeamMitglied ∧ (∃ e ∈ eingesetzt(e.AusweisNr = t.AusweisNr ∧ e.StartDatum <= 01.05.2011)) ∧ (∀e ∈ eingesetzt e.AusweisNr = t.AusweisNummer -> e.ID != 7)) }
- d)
- {t1.AusweisNr, t2.AusweisNr | t1, t2 ∈ TeamMitglied ∧ (∃ e1 ∈ eingesetzt( ∃ e2 ∈ eingesetzt (e1.AusweisNr = t1.AusweisNr ∧ e2.AusweisNr = t2.AusweisNr) ∧ e1.Start = e2.Start ∧ e1.Ende = e2.Ende ∧ e1.StartDatum = e2.StartDatum ∧ e1.EndDatum = e2.EndDatum)))}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement