Статистика для Axiomatics for multivalued dependencies in table databases: correctness and completeness