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