...plane can only be in one place at a time • ∀ x,y ∈ Flt-Instance, x≠y, x.Date=y.Date x.Assigned.Airplane=y.Assigned.Airplane: x.Instance-Of.Flt-Schedule.Atime < y.Instance-Of.Flt-Schedule.Dtime or x.Instance-Of.Flt-Schedule.Dtime > y.Instance-Of.Flt-Schedule.Atime ...match flight date and weekday... • ∀ ∈ ∈ x Flt-Instance: Convert(x.Date to Weekday) Schedule.Weekday ...overbook by less than 10%.. • ∀ ∈ x Flt-Instance: x.#Avail-Seats =x.Assigned.Airplane.Total#Seats × 1.1 −count(x.Reservation) ..flights crossing midnight....time zones.. • many, many more • Week 4 & 5
• ...plane can only be in one place at a time ∀ x,y ∈ Flt-Instance, x≠y, x.Date=y.Date x.Assigned.Airplane=y.Assigned.Airplane: x.Instance-Of.Flt-Schedule.Atime < y.Instance-Of.Flt-Schedule.Dtime or x.Instance-Of.Flt-Schedule.Dtime > y.Instance-Of.Flt-Schedule.Atime • ...match flight date and weekday... ∀ x ∈ Flt-Instance: Convert(x.Date to Weekday) ∈ Schedule.Weekday • ...overbook by less than 10%.. ∀ x ∈ Flt-Instance: x.#Avail-Seats =x.Assigned.Airplane.Total#Seats × 1.1 −count(x.Reservation) • ..flights crossing midnight....time zones.. • many, many more Week 4 & 5