Yesin, V.; Rassomakhin, S.; Vilihura, V. Analysis of Formal Models for Ensuring Data Integrity and Their Applicability to Databases. RT 2021, 1, 30-39.