Tento přehled formálních kontrol nelze považovat za absolutní výčet, jedná se pouze o vybrané, často používané metody.
Logické kontroly jsou založeny na logickém vztahu růz. dat mezi sebou. Prověřuje se pomocí nich významový obsah dat, nejčastěji vztahem k jinému údaji. Jsou používány tyto typy logických kontrol:
1.) Kontrola pomocí intervalu – testuje, zda kontrolovaná hodnota je umístěna v definovaném intervalu .
2.) Kontrola podle seznamu – jedná se o zjišťování přípustnosti údaje, kdy se kontrolovaný údaj porovná s předem určenou množinou přípustných hodnot. Tato množina bývá nejčastěji prezentována ve formě tabulky nebo číselníku.
3.) Kontrola podle masky (vzoru) – zkoumá jednotlivé znaky údaje, jejich pořadí a přípustnost na dané pozici. Kontrola se provádí srovnáváním vnitřní struktury údaje s předepsaným vzorem (maskou).
Ochrana dat Jak jsme uvedli v úvodu kapitoly o datové základně, je tato výhradním zdrojem informací pro zpracovávané inf. výstupy. Musíme si proto datovou základnu vytvořit, aktualizovat, ale také ji musíme chránit.