1. Entity Notations Group 5 Guðlaugur Herason Kim Pilgaard Christensen Allan Madsen Mads Dørup

2. Entity Relationship Diagram

3. Dictionary Departure (d: Departure station, t: Train). Entity type. t leaves d. Departure station (c: Customer). Relationship name. The train station(s) where c must get on a train. Arrival station (c: Customer). Relationship name. The train station(s) where c must leave a train. Regular station (c: Customer). Relationship name. The train station(s) where c must stay on the train to complete the itinerary as planned. Itinerary. Entity type. A list of train routes which takes a customer from the selected departure station to the selected arrival station. Ticket. Entity type. The right to travel by train(s) between two stations expressed as an identifying piece of paper. Ticket-ID (ticket t). Identifier. A unique number associated with t. Self-Print Ticket. Entity type. A ticket printed by the customers in their own homes. Reservation (i: itinerary, c: Customer). Event name. reserved ticket(i, t) becomes true. Reserved ticket (i: itinerary, c: Customer). Entity name. c has the right to buy a ticket corresponding to i. Buying (i: itinerary, p: payment). Event name. Customer c is created, bought ticket(i, c, p) becomes true. bought ticket (i: itinerary, t: traveler, p: payment) Entity name. t has the right to travel corresponding to i and p.completed = true. Ticket controller. entity type. Person hired by DSB to confirm that everyone on the train has valid tickets. Customer. Entity type. * Person who has reserved a ticket * Person who has bought a ticket Passenger list. Entity type. A list of valid ticket-holders, their seat-numbers and their ticket IDs. Reminder e-mail (t: Ticket). Entity type. An e-mail sent to the e-mail address specified when t was bought. The e-mail is sent 1 day prior to the departure time of t.itinerary. Alert sms (t: Ticket, d: Departure). Entity type. A sms sent to the cell-phone number specified when t was bought whenever d is delayed. Order confirmation (p: Payment) Entity type. An order confirmation sent by e-mail to the e-mail specified when p.completed = true.