Составители:
Рубрика:
По определению, таблицы R и R1 удовлетворяют заданному ограничению по
ссылкам, если для каждой строки s таблицы R такой, что все значения столбцов,
идентифицируемых списком A, не являются неопределенными, существует строка s1
таблицы R1 такая, что значения столбцов s1, идентифицируемых списком A1,
позиционно равны значениям столбцов s, идентифицируемых списком A. Другими
словами, это можно сформулировать так: ограничение по ссылкам удовлетворяется, если
для
каждой корректной ссылки существует объект, на который она ссылается. В
понятной (привычной) программистам терминологии ограничение по ссылкам не
позволяет производить "висячие" ссылки, не ведущие ни к какому объекту.
Проверочное ограничение (CHECK)
Проверочное ограничение специфицирует условие, которому должна
удовлетворять в отдельности каждая строка таблицы R. Это условие не должно
содержать подзапросов (см. пункт 5.3), спецификаций агрегатных функций (см. пункт
4.4), а также ссылок на внешние переменные или параметры. В него могут входить
только имена столбцов данной таблицы и литеральные константы.
Таблица удовлетворяет проверочному
ограничению целостности в том и только в
том случае, когда вычисление условия для каждой строки таблицы дает true.
Замечание. В некоторых реализациях допускаются расширенные механизмы ограничений по
ссылкам и проверочных ограничений. Однако такое предоставляют только немногие СУБД.
3.2. Определение представлений (VIEW обзоров)
Механизм представлений (view) является средством языка SQL, позволяющим
скрыть реальную структуру БД от пользователей за счет определения представления БД,
которое реально является некоторым хранимым в БД запросом с именованными
столбцами, а для пользователя ничем не отличается от базовой таблицы БД (с учетом
технических ограничений). Любая реализация должна гарантировать, что состояние
представляемой таблицы
точно соответствует состоянию базовых таблиц, на которых
определено представление. Обычно вычисление представляемой таблицы (актуализация
соответствующего запроса) производится каждый раз при использовании представления.
Страницы
- « первая
- ‹ предыдущая
- …
- 63
- 64
- 65
- 66
- 67
- …
- следующая ›
- последняя »
