Study on Data Storage Correctness Methods