Korektnost IS (1)

• DB vs. reálný svět (svět objektů)

• Požadavky:

• konsistence

• • nelze dokázat současně w i w

• splnitelnost ve světě objektů

• • databáze je v souladu se světem objektů

• úplnost

• • v systému lze dokázat, že buď w nebo w