V Svetlov, G., I. Baranchikov, A., N. Grinchenko, N., & S. Fokina, N. (2021). Using a Tableau Method for Checking the Database Logical Structure Correctness. WiPiEC Journal - Works in Progress in Embedded Computing Journal, 4(1). Retrieved from https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20