Advertisement
flashspys

Untitled

May 6th, 2016
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.74 KB | None | 0 0
  1. 3.3
  2. a)
  3.  
  4. {t.name, t.AusweisNr | t ∈ TeamMitglied ∧ (∃ e ∈ eingesetzt (t.AusweisNr = e.AusweisNr ∧ e.start = „Antalya“ ∧ e.end = „Rhodos“))}
  5.  
  6. b)
  7.  
  8. {s.ID | s ∈ Schiffe ∧ s.Baujahr = 1993 ∧ (∃ e ∈ eingesetzt( e.EndDatum >= 01.05.2015))}
  9.  
  10. c)
  11.  
  12. {t.AusweisNr | t ∈ TeamMitglied ∧ (∃ e ∈ eingesetzt(e.AusweisNr = t.AusweisNr ∧ e.StartDatum <= 01.05.2011)) ∧ (∀e ∈ eingesetzt e.AusweisNr = t.AusweisNummer -> e.ID != 7)) }
  13.  
  14. d)
  15.  
  16. {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