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