Yesin, V., Rassomakhin, S. and Vilihura, V. 2021. Analysis of formal models for ensuring data integrity and their applicability to databases. Radiotekhnika. 1, 204 (Apr. 2021), 30–39. DOI:https://doi.org/10.30837/rt.2021.1.204.04.