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 2024 Dec. 23];4(1). Available from: https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20