El propósito es comprobar la auto-consistencia de los resultados de la base de datos.