Данный исследовательский проект посвящен углубленному изучению фундаментальных принципов, лежащих в основе обеспечения целостности данных в реляционной модели баз данных. В рамках работы будет проанализирован теоретический аппарат, включая различные типы ограничений целостности (атрибутивные, сущностные, ссылочные) и их роль в поддержании корректности и непротиворечивости хранимой информации. Особое внимание будет уделено практическим аспектам реализации этих принципов с использованием современных систем управления базами данных (СУБД). Будут рассмотрены методы проектирования баз данных, учитывающие требования целостности, а также способы их верификации и контроля.