HAM. ICE- ICE- und und IC-Strecken Prof. Dr. Rainer Manthey Deduktive Datenbanken 1

Transkript

1 Bonn - annover: zwei alternative Strecken M U IC- IC- und und IC-Strecken von von Bonn Bonn nach nach annover 000 Prof. r. Rainer Manthey eduktive atenbanken 1

2 Abfahrtszeiten IC 88 17:06 18:01 U 15:59 15:46 15:3 15:09 16:10 M 16:3 16:40 Abfahrtszeiten des IC Berlin Berlin Ost Ost an an 19:5 19:5 14: Prof. r. Rainer Manthey eduktive atenbanken

3 Bonn-ortmund via üsseldorf: Tagesübersicht Typ Nr Fhf. U ab an ab an ab an ab an ab an ab an ab an ab IC 98 04:45 05:05 05:09 05:30 05:3 05:44 05:46 05:57 05:59 06:08 06:10 06:0 06:3 nach Berlin Ost IC 508 # # 06:09 06:30 06:3 06:44 06:46 06:57 06:59 07:07 07:09 07:0 07:4 nach -Altona IC 96 # # 07:09 07:30 07:3 07:44 07:46 07:57 07:59 08:08 08:10 08:0 08:3 nach Berlin Ost IC 80 von Aachen 08:09 08:30 08:3 08:44 08:46 08:57 08:59 09:07 09:09 09:0 09:4 nach esterland IC 1 07:39 07:59 08:16 08:36 08:38 08:49 08:51 > > > > > > nach Amsterdam IC 94 08:39 09:00 09:09 09:30 09:3 09:44 09:46 09:57 09:59 10:08 10:10 10:0 10:3 nach Berlin Ost IC :45 10:05 10:09 10:30 10:3 10:44 10:46 10:57 10:59 11:07 11:09 11:0 11:4 nach esterland IC 9 10:39 11:00 11:09 11:30 11:3 11:44 11:46 11:57 11:59 1:08 1:10 1:0 1:3 nach Berlin Ost IC 60 11:39 1:00 1:09 1:30 1:3 1:44 1:46 1:57 1:59 13:07 13:09 13:0 13:8 nach Leipzig IC 90 1:39 13:00 13:09 13:30 13:3 13:44 13:46 13:57 13:59 14:08 14:10 14:0 14:3 nach Berlin Ost IC :45 14:05 14:09 14:30 14:3 14:44 14:46 14:57 14:59 15:07 15:09 15:0 15:4 nach -Altona IC 88 14:39 15:00 15:09 15:30 15:3 15:44 15:46 15:57 15:59 16:08 16:10 16:0 16:3 nach Berlin Ost C 10 15:45 16:05 16:09 16:30 16:3 16:44 16:46 16:57 16:59 17:07 17:09 17:0 17:4 nach -Altona IC 86 16:39 17:00 17:09 17:30 17:3 17:44 17:46 17:57 17:59 18:08 18:10 18:0 18:3 nach Berlin Ost C 8 17:39 17:59 18:0 18:3 18:5 18:37 18:46 18:57 18:59 19:08 19:10 19:0 19:8 nach Magdeburg C :45 18:05 18:08 18:8 18:30 18:4 18:49 > > > > > > nach Amsterdam IC 74 18:39 18:59 19:0 19:3 19:5 19:37 19:46 19:57 19:59 0:08 0:10 0:0 0:3 nach Berlin Ost C 18:45 19:05 19:08 19:8 19:30 19:4 19:49 > > > > > > nach Amsterdam C 8 19:45 0:05 0:09 0:30 0:3 0:44 0:46 0:57 0:59 1:07 1:09 1:0 1:4 nach -Altona IC 8 0:39 1:00 1:09 1:30 1:3 1:44 1:46 1:57 1:59 :08 :10 :0 :3 nach Berlin Ost C 4 1:45 :05 :09 :30 :3 :38 :40 :48 :50 3:00 3:0 3:10 3:1 3: # C 50 :39 3:00 3:09 3:30 3:3 3:38 3:40 3:48 3:50 00:00 00:0 00:10 00:1 00: # IC => B im -Std-Takt 000 Prof. r. Rainer Manthey eduktive atenbanken 3

4 IC-Abfahrtszeiten - via : Taktschema für für ungerade X mit mit 4 < X < 4 4 U X :59 X :46 X :3 X :09 (X+1) :10 M (X+1) :3 (X+1) :40 (X+) :06 (X+3) :01 (X-1): Prof. r. Rainer Manthey eduktive atenbanken 4

5 IC-Fahrzeiten von Station zu Station (via üsseldorf) M U Fahrzeiten via via üsseldorf Prof. r. Rainer Manthey eduktive atenbanken 5

6 altezeiten in den Bahnhöfen (IC via ) as as motiviert die die drei drei Ausnahmen? 4 M U 9 3 offensichtliche Regelmäßigkeit: altezeit IC IC in in "normalen" Bahnhöfen zwei zwei Minuten!! 000 Prof. r. Rainer Manthey eduktive atenbanken 6

7 Bonn - ortmund via uppertal: Tagesübersicht Typ Nr ab an ab an ab an ab an ab an ab IC 606 # # 05:09 05:6 05:8 05:39 05:41 05:58 06:00 06:19 06:4 nach iel IC 66 # # 06:09 06:6 06:8 06:39 06:41 06:58 07:00 07:0 07:8 nach Leipzig IC :41 07:01 07:09 07:6 07:8 07:39 07:41 07:58 08:00 08:19 08:4 nach Binz über nur So IC :45 07:05 07:09 07:6 07:8 07:39 07:41 07:58 08:00 08:19 08:4 nach Binz über Mo-Sa IC 64 07:39 08:00 08:09 08:6 08:8 08:39 08:41 08:58 09:00 09:0 09:8 nach Leipzig IC :45 09:05 09:09 09:6 09:8 09:39 09:41 09:58 10:00 10:19 10:4 nach iel IC 6 09:39 10:00 10:09 10:6 10:8 10:39 10:41 10:58 11:00 11:0 11:8 nach Leipzig IC 60 10:45 11:00 11:09 11:6 11:8 11:39 11:41 11:58 1:00 1:19 1:4 nach Puttgarden IC :45 1:00 1:09 1:6 1:8 1:39 1:41 1:58 13:00 13:19 13:4 nach -Altona IC 600 1:45 13:00 13:09 13:6 13:8 13:39 13:41 13:58 14:00 14:19 14:4 nach iel IC 58 13:39 14:00 14:09 14:6 14:8 14:39 14:41 14:58 15:00 15:0 15:8 nach resden IC :45 15:00 15:09 15:6 15:8 15:39 15:41 15:58 16:00 16:19 16:4 nach iel IC 56 15:39 16:00 16:09 16:6 16:8 16:39 16:41 16:58 17:00 17:0 17:8 nach Leipzig C :45 17:00 17:09 17:6 17:8 17:39 17:41 17:58 18:00 18:19 18:4 nach -Altona IC 704 # # 18:09 18:6 18:8 18:39 18:41 18:58 19:00 19:19 19:4 nach -Altona IC 70 # # 19:09 19:6 19:8 19:39 19:41 19:58 0:00 0:19 0:4 nach -Altona IC 5 19:39 0:00 0:09 0:6 0:8 0:39 0:41 0:58 1:00 1:0 1:8 nach annover C 106 0:45 1:05 1:09 1:6 1:8 1:39 1:41 1:58 :00 :19 :4 nach Bremen IC 76 # # :09 :6 :8 :39 :41 :58 3:00 3:0 # IC 700 # # 3:10 3:6 13:8 3:39 3:41 3:58 00:00 00:19 # IC => L im -Std-Takt 000 Prof. r. Rainer Manthey eduktive atenbanken 7

8 IC-Abfahrtszeiten - via : Taktschema (X+3) :0 (X+) :17 M (X+1) :0 (X+1) :44 U X :09 X :6 X :39 X :58 für für gerade gerade X mit mit 5 < X < 3 3 (X-1): Prof. r. Rainer Manthey eduktive atenbanken 8

9 IC- und IC-Fahrzeiten () U M Fahrzeiten via via üsseldorf und und uppertal Prof. r. Rainer Manthey eduktive atenbanken 9

10 altezeiten in den Bahnhöfen (IC via ) ieder ieder zwei zwei Ausnahmen!! 9 M U 9 8 Regelmäßigkeit bestätigt: altezeit IC IC in in "normalen" Bahnhöfen zwei zwei Minuten!! 000 Prof. r. Rainer Manthey eduktive atenbanken 10

11 Bonn-ortmund via üsseldorf: Tagesübersicht Typ Nr Fhf. U ab an ab an ab an ab an ab an ab an ab an ab IC 98 04:45 05:05 05:09 05:30 05:3 05:44 05:46 05:57 05:59 06:08 06:10 06:0 06:3 nach Berlin Ost IC 508 # # 06:09 06:30 06:3 06:44 06:46 06:57 06:59 07:07 07:09 07:0 07:4 nach -Altona IC 96 # # 07:09 07:30 07:3 07:44 07:46 07:57 07:59 08:08 08:10 08:0 08:3 nach Berlin Ost IC 80 von Aachen 08:09 08:30 08:3 08:44 08:46 08:57 08:59 09:07 09:09 09:0 09:4 nach esterland IC 1 07:39 07:59 08:16 08:36 08:38 08:49 08:51 > > > > > > nach Amsterdam IC 94 08:39 09:00 09:09 09:30 09:3 09:44 09:46 09:57 09:59 10:08 10:10 10:0 10:3 nach Berlin Ost IC :45 10:05 10:09 10:30 10:3 10:44 10:46 10:57 10:59 11:07 11:09 11:0 11:4 nach esterland IC 9 10:39 11:00 11:09 11:30 11:3 11:44 11:46 11:57 11:59 1:08 1:10 1:0 1:3 nach Berlin Ost IC 60 11:39 1:00 1:09 1:30 1:3 1:44 1:46 1:57 1:59 13:07 13:09 13:0 13:8 nach Leipzig IC 90 1:39 13:00 13:09 13:30 13:3 13:44 13:46 13:57 13:59 14:08 14:10 14:0 14:3 nach Berlin Ost IC :45 14:05 14:09 14:30 14:3 14:44 14:46 14:57 14:59 15:07 15:09 15:0 15:4 nach -Altona IC 88 14:39 15:00 15:09 15:30 15:3 15:44 15:46 15:57 15:59 16:08 16:10 16:0 16:3 nach Berlin Ost C 10 15:45 16:05 16:09 16:30 16:3 16:44 16:46 16:57 16:59 17:07 17:09 17:0 17:4 nach -Altona IC 86 16:39 17:00 17:09 17:30 17:3 17:44 17:46 17:57 17:59 18:08 18:10 18:0 18:3 nach Berlin Ost C 8 17:39 17:59 18:0 18:3 18:5 18:37 18:46 18:57 18:59 19:08 19:10 19:0 19:8 nach Magdeburg C :45 18:05 18:08 18:8 18:30 18:4 18:49 > > > > > > nach Amsterdam IC 74 18:39 18:59 19:0 19:3 19:5 19:37 19:46 19:57 19:59 0:08 0:10 0:0 0:3 nach Berlin Ost C 18:45 19:05 19:08 19:8 19:30 19:4 19:49 > > > > > > nach Amsterdam C 8 19:45 0:05 0:09 0:30 0:3 0:44 0:46 0:57 0:59 1:07 1:09 1:0 1:4 nach -Altona IC 8 0:39 1:00 1:09 1:30 1:3 1:44 1:46 1:57 1:59 :08 :10 :0 :3 nach Berlin Ost C 4 1:45 :05 :09 :30 :3 :38 :40 :48 :50 3:00 3:0 3:10 3:1 3: # C 50 :39 3:00 3:09 3:30 3:3 3:38 3:40 3:48 3:50 00:00 00:0 00:10 00:1 00: # IC => im -Std-Takt Ausnahmezüge 000 Prof. r. Rainer Manthey eduktive atenbanken 11

12 Bonn - ortmund via uppertal: Tagesübersicht Typ Nr ab an ab an ab an ab an ab an ab IC 606 # # 05:09 05:6 05:8 05:39 05:41 05:58 06:00 06:19 06:4 nach iel IC 66 # # 06:09 06:6 06:8 06:39 06:41 06:58 07:00 07:0 07:8 nach Leipzig IC :41 07:01 07:09 07:6 07:8 07:39 07:41 07:58 08:00 08:19 08:4 nach Binz über nur So IC :45 07:05 07:09 07:6 07:8 07:39 07:41 07:58 08:00 08:19 08:4 nach Binz über Mo-Sa IC 64 07:39 08:00 08:09 08:6 08:8 08:39 08:41 08:58 09:00 09:0 09:8 nach Leipzig IC :45 09:05 09:09 09:6 09:8 09:39 09:41 09:58 10:00 10:19 10:4 nach iel IC 6 09:39 10:00 10:09 10:6 10:8 10:39 10:41 10:58 11:00 11:0 11:8 nach Leipzig IC 60 10:45 11:00 11:09 11:6 11:8 11:39 11:41 11:58 1:00 1:19 1:4 nach Puttgarden IC :45 1:00 1:09 1:6 1:8 1:39 1:41 1:58 13:00 13:19 13:4 nach -Altona IC 600 1:45 13:00 13:09 13:6 13:8 13:39 13:41 13:58 14:00 14:19 14:4 nach iel IC 58 13:39 14:00 14:09 14:6 14:8 14:39 14:41 14:58 15:00 15:0 15:8 nach resden IC :45 15:00 15:09 15:6 15:8 15:39 15:41 15:58 16:00 16:19 16:4 nach iel IC 56 15:39 16:00 16:09 16:6 16:8 16:39 16:41 16:58 17:00 17:0 17:8 nach Leipzig C :45 17:00 17:09 17:6 17:8 17:39 17:41 17:58 18:00 18:19 18:4 nach -Altona IC 704 # # 18:09 18:6 18:8 18:39 18:41 18:58 19:00 19:19 19:4 nach -Altona IC 70 # # 19:09 19:6 19:8 19:39 19:41 19:58 0:00 0:19 0:4 nach -Altona IC 5 19:39 0:00 0:09 0:6 0:8 0:39 0:41 0:58 1:00 1:0 1:8 nach annover C 106 0:45 1:05 1:09 1:6 1:8 1:39 1:41 1:58 :00 :19 :4 nach Bremen IC 76 # # :09 :6 :8 :39 :41 :58 3:00 3:0 # IC 700 # # 3:10 3:6 13:8 3:39 3:41 3:58 00:00 00:19 # IC => im -Std-Takt Ausnahmezüge 000 Prof. r. Rainer Manthey eduktive atenbanken 1

13 IC-Abfahrtszeiten - via oder Taktschema für für gerade gerade X mit mit 5 < X < 3 3 U X :59 X :46 X :3 X :09 (X-1):45 (X+1) :0 (X+1) :10 X :6 X :39 M (X+1) :19 X :58 für für ungerade X mit mit 4 < X < Prof. r. Rainer Manthey eduktive atenbanken 13

14 IC- und IC-Fahrzeiten (3) M U identische Fahrzeiten aller drei Linien (mit zwei minimalen Abweichungen) Prof. r. Rainer Manthey eduktive atenbanken 14

15 altezeiten in den Bahnhöfen (IC nach ) M U altezeiten der Bonn-amburg- Linie wieder nach "Schema F" (mit den üblichen Besonderheiten in öln und ortmund) 000 Prof. r. Rainer Manthey eduktive atenbanken 15

16 Bonn - annover: zwei alternative Strecken 4 M U Takt Takt im im Ruhrgebiet in in geraden Stunden Stunden Prof. r. Rainer Manthey eduktive atenbanken 16

17 Bonn - annover: zwei alternative Strecken 4 M U Takt Takt im im Ruhrgebiet in in ungeraden Stunden Stunden Prof. r. Rainer Manthey eduktive atenbanken 17

18 orrespondenzen und Integritätsbedingungen M 4 "orrespondenz" zweier Linien in ortmund: direkte Umsteigemöglichkeit am selben Bahnsteig ==> "logische opplung" der der Ankunftsbzw. Abfahrtszeiten beider beider Linien Linien bzw. ausdrückbar durch durch Integritätsbedingungen 000 Prof. r. Rainer Manthey eduktive atenbanken 18

19 Basisdaten der drei Linien damit als benötigte Basisdaten (für diesen Teil des IC/IC-Systems) identifiziert: Abfahrtszeiten in Bonn altezeiten in den einzelnen Stationen Fahrzeiten zwischen den Stationen Fahrzeiten sind (weitgehend) linienunabhängig, altezeiten ebenso: haltezeit("blau", k) k) = haltezeit("gelb", k) k) = haltezeit("violett", k) k) = haltezeit(linie, Ort) Ort) = sonst sonst Notation in einer "hypothetischen" B-Sprache (hier: funktionale Notation) fahrzeit("blau", bn, bn, k) k) = fahrzeit("blau", ha, ha, do) do) = fahrzeit(linie, Ort1, Ort1, Ort)) Ort)) = fahrzeit(ort1, Ort) Ort) sonst. sonst. fahrzeit(bn, k) k) = fahrzeit(k, d) d) = fahrzeit(k, w) w) = Prof. r. Rainer Manthey eduktive atenbanken 19

20 Basisdaten () Abfahrtszeiten in Bonn: abhängig von Linie und Stunde der Abfahrt ==> zwar "Basisdaten", aber nur in Regelform ausdrückbar abfahrtszeit("blau", bn) bn) = Std:45 Std:45 <= <= zwischen( 4, 4, Std, Std, 4). 4). abfahrtszeit("gelb", bn) bn) = Std:39 Std:39 <= <= zwischen(4, Std, Std, 4) 4),, gerade(std). abfahrtszeit("violett", bn) bn) = Std:39 Std:39 <= <= zwischen(5, Std, Std, 3) 3),, ungerade(std). Abfahrtszeit an allen anderen Stationen: rekursiv errechenbar aus Ankunftszeit und altezeit: abfahrtszeit(linie, Ort) Ort) = (ankunftszeit(linie, Ort) Ort) + haltezeit(linie, Ort) Ort) ). ). 000 Prof. r. Rainer Manthey eduktive atenbanken 0

21 Regeln für Ankunfts-und Abfahrtszeiten 'Abfahrtszeit' ist damit bereits ein abgeleitetes onzept; hier noch einmal die rekursive Regel: abfahrtszeit(linie, Ort) Ort) = (ankunftszeit(linie, Ort) Ort) + haltezeit(linie, Ort) Ort) ). ). 'Ankunftszeit' analog rekursiv aus Abfahrtszeit und Fahrzeit errechenbar: ankunftszeit(linie, Ort) Ort) = (abfahrtszeit(linie, vorgänger_bhf(linie, Ort) Ort) + fahrzeit(linie, Ort, Ort, vorgänger_bhf(linie, Ort) Ort) )))).. ebenfalls Basisdaten: "Topologie des Netzes" hierbei noch überhaupt nicht berücksichtigt: diverse "Ausnahmezüge" und "Ausnahmezeiten"; tatsächliche Formulierung für realen Betrieb ist sehr viel komplexer!! 000 Prof. r. Rainer Manthey eduktive atenbanken 1