Yesin V, Rassomakhin S, Vilihura V. Analysis of formal models for ensuring data integrity and their applicability to databases. RT [Internet]. 2021Apr.9 [cited 2024Jul.26];1(204):30-9. Available from: http://rt.nure.ua/article/view/238561