V Svetlov, G., I. Baranchikov, A., N. Grinchenko, N. and 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 (Jul. 2021).