V Svetlov G, I. Baranchikov A, N. Grinchenko N, S. Fokina N. Using a Tableau Method for Checking the Database Logical Structure Correctness. wipiec [Internet]. 2021 Jul. 29 [cited 2025 Jul. 11];4(1). Available from: https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20