Controllo probabilistico dei dati

Il check dei dati, possibile dopo la fase di controllo delle regole, separa i dati grezzi in esatti ed errati, verificando per i record di input, l'incompatibilità descritta nelle regole dell'insieme minimo tramite il file esterno "MINICE.dat".

Se anche una sola incompatibilità è vera, il record viene registrato tra gli errati, e il numero della regola viene registrato nel file "ERRORI.dat".

In questo passo, che esegue il programma 'genckf', vengono registrati i file:

  SYSCHK.dat con i messaggi e contatori;
  LISCHK.dat con la tabella riassuntiva delle regole verificate; queste regole sono descritte sul file MINSET.dat, e la numerazione è quella riportata su LISCHK.dat; se il numero si riferisce a un (VALORE FUORI DOMINIO) la variabile indicata nella regola di MINSET.dat ha avuto per ... volte un valore non ammissibile.
  ESATTI.dat con i record esatti;
  ERRATI.dat con i record errati;
  ERRORI.dat parallelo ai record errati con i numeri delle regole errate;
  FREQUEN con la frequenza dei casi per ogni dominio di "TABVARF";

Tutti i riferimenti numerici delle regole vanno fatti con il file MINSET.dat.

Per eseguire il check dei dati non è necessario effettuare la derivazione delle regole implicite.