Статистика для Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти