Статистика для Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria