Szervusztok!

Nézegettem a korábbi vizsgafeladatokat, de már rögtön az elsőnél elakadtam:

pred(X, Y) +:
        Y in (inf..200) /\ (inf..X*10).
 

„Írd fel a fenti FD-klóz (mindkét irányban) tartomány-szûkítõ változatát.”

Itt mit is kellene pontosan csinálni? X helyett max(X)-szel operálni, hogy ne csak behelyettesítéskor szűkítsen, vagy valami mást?

A mindkét irány az arra vonatkozik, hogy X-re is vegyünk fel indexikálist? Arra milyen következtetést lehet levonni Y-ból?

Tamás