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