ПОИСК Статьи Чертежи Таблицы Основу определения семантики составляют бинарные отношения и функции доступа. Функции доступа при описании семантики используют задание количественных ограничений (минимальной и максимальной границы). Другие семантические характеристики, такие, как правильность, непротиворечивость и избыточность, задаются программно. Логический доступ к данным обеспечивается посредством программ, реализующих элементарные операции доступа. Удобно, что полная модель семантики данных, включая процедуры обработки информации, может быть формально описана в терминах самой модели. [Выходные данные]