Form Interface: Retrieval

@ get avaliable rooms

(input)

ArrivalDate(a) _______ NrDays(d) _______

(output)

AvailableRooms(x)

[ not( exists y exists z exists w exists v (

Room(y) has RoomNr(x) and

Guest(z) has reservation for Room(y) on

ArrivalDate(w) for NrDays(v) and

((w <= a and a < w+v) or (a < w and w < a+d)))

]

Previous slide

Next slide

Back to first slide

View graphic version