Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH778 FRA SIN 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH500 FRA GIG 340 -D-D-S Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH778 FRA SIN 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH500 FRA GIG 340 -D-D-S Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH778 FRA SIN 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH500 FRA GIG 340 -D-D-S flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH401 JFK FRA 747 MDMDFSS LH4513 LHR FRA 737 MDMDFSS LH6390 SIN SYD 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH6488 SFO HNL D10 MDMDFSS LH6489 HNL SFO D10 MDMDFSS LH500 FRA GIG 340 -D-D-S LH501 GIG FRA M-F-S BA002 JFK LHR SSC MDMDFSS Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH778 FRA SIN 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH500 FRA GIG 340 -D-D-S flugNr von nach ftypId wochentage abflzt. ankzt. entfernung LH401 JFK FRA 747 MDMDFSS LH4513 LHR FRA 737 MDMDFSS LH6390 SIN SYD 744 MDMDFSS LH779 SIN FRA 744 MDMDFSS LH6488 SFO HNL D10 MDMDFSS LH6489 HNL SFO D10 MDMDFSS LH500 FRA GIG 340 -D-D-S LH501 GIG FRA M-F-S BA002 JFK LHR SSC MDMDFSS Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) von --- FRA SIN FRA nach ---- FRA FRA SYD FRA HNL SFO GIG FRA LHR Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) FRA SIN FRA FRA FRA SYD FRA HNL SFO GIG FRA LHR Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) FRA SIN FRA FRA FRA SYD FRA HNL SFO GIG FRA LHR Mengenoperationen: Beispiel 1 Finde alle Flughäfen, auf denen Nachtflüge stattfinden: von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG)) FRA SIN SYD HNL SFO GIG LHR
Mengenoperationen: Beispiel 2 Finde alle Flughäfen, auf denen keine Nachtflüge stattfinden: flughCode (FLUGHAFEN) \ ( von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG))) MUC DUS JFK BOS NRT TXL VIE CDG FKB EWR ALY
Mengenoperationen: Beispiel 3 Finde alle Flughäfen, auf denen Nachtflüge sowohl starten als auch landen: ( von ( abflugszeit > 2200 abflugszeit 2200 ankunftszeit < 0600 (FLUG))) FRA
Mengenoperationen: Beispiel 4 Einfügen eines neuen Flugs: FLUG = FLUG { flugNr: "LH6024", von: "FRA", nach: "JFK", ftypId: "747", wochentage: "MDMFSS", abflugszeit: 1000, ankunftszeit: 1200, entfernung: 6188 } Löschen analog via \.