В статье рассматривается способ логико-алгебраического моделирования требо-ваний целостности, предъявляемых к реляционным базам данных. Вводится понятие формального описателя требования целостности. Рассматривается метамодель фор-мальных описателей, которая задает общий вид формальных описателей, определяет специфические действия над описателями. Даются практические рекомендации по про-граммной реализации требований целостности в реляционных базах данных.
целостность, требование целостности, требование к состоянию, требование к переходу, ограничение целостности, триггерная связка, связанная таблица, активизи-рующий оператор, формальный описатель, метамодель формальных описателей, соединение описателей, специфика-ция, модель реализации