на 1 запрос вроде вот решение
Р.Алгебра
w1 = П b_otp bilets
w2 = П id (trains 8 w1) (8 — это знак бесконечности)

P. Исчисление
range bilets билетХ
range trains поездХ
get w (trains.id):E билетХ Е поездХ
(билетХ.b_otp=поездХ.p_otp) (Н — перевернуть = сущетвует)