Для цитирования:

Зыкин С.В. Тестирование зависимостей и правил вывода в базах данных. Моделирование и анализ информационных систем. 2022;29(3):210-227. https://doi.org/10.18255/1818-1015-2022-3-210-227

For citation:

Zykin S.V. Testing Dependencies and Inference Rules in Databases. Modeling and Analysis of Information Systems. 2022;29(3):210-227. (In Russ.) https://doi.org/10.18255/1818-1015-2022-3-210-227