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