Chase Rules

Chase rule for functional dependency “Aircraft Airline”:

e(Airline1,Airline2) <= schedule(Airline1,N1,D1,P1,Aircraft1) &

schedule(Airline2,N2,D2,P2,Aircraft2) &

e(Aircraft1,Aircraft2)

Chase rule for functional dependency “Pilot Airline”:

e(Airline1,Airline2) <= schedule(Airline1,N1,D1,Pilot1,A1) &

schedule(Airline2,N2,D2,Pilot2,A2) &

e(Pilot1,Pilot2)

Previous slide

Next slide

Back to first slide

View graphic version