V Svetlov, G.; I. Baranchikov, A.; N. Grinchenko, N.; S. Fokina, N. Using a Tableau Method for Checking the Database Logical Structure Correctness. wipiec 2021, 4.