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