Inverse Rules

Source description

ws(Date,From,To,Pilot,Aircraft)

=> flight(Airline,Flight_no,From,To) &

schedule(Airline,Flight_no,Date,Pilot,Aircraft)

Inverse rules

flight(f(D,F,T,P,A),g(D,F,T,P,A),F,T) <= ws(D,F,T,P,A)

schedule(f(D,F,T,P,A),g(D,F,T,P,A),D,P,A) <= ws(D,F,T,P,A)

variable Airline is replaced by a function term whose

arguments are the variables in the source relation

Previous slide

Next slide

Back to first slide

View graphic version