Korektnost IS (2)

• Př.: problémy se vztahem ke světu objektů

• Sch1: zam(.), plat(.), vydělává(.,.)

• IO: x (zam(x) y (plat(y)  vydělává(x,y)

• M1: zam: {Jiří, Karel}, plat:{19500, 16700}

• vydělává: { (Jiří, 19500), (Karel, 16700)},

• M2: vydělává INSERT: (19500, 16700)

• Sch2: zam(.), plat(.), vydělává(.,.)

• IO:xyzam(x)  vydělává(x,y))

• x y(vydělává(x,y)  (zam(x)  plat(y)))

• M2 není modelem

• Dosažení konsistence: konstrukce modelu