Правила Кодда

Двенадцать правил Кодда определяют требования к реляционным СУБД.

1. Явное представление данных. Информация должна быть представлена в виде данных, хранящихся в ячейках.

2. Гарантированный доступ к данным. К каждому элементу данных должен быть обеспечен доступ с помо­щью комбинации имени таблицы, первичного ключа стро­ки и имени столбца.

3. Полная обработка неопределенных значений. Не­определенные значения Null, отличные от любого опре­деленного значения, должны поддерживаться для всех типов данных при выполнении любых операций.

4. Доступ к описанию базы данных в терминах реля­ционной модели. Словарь данных активной базы данных должен сохраняться в форме таблицы, и СУБД должна поддерживать доступ к нему при помощи стандартных языковых средств доступа к таблицам.

5. Полнота подмножества языка. Язык управления данными и язык определения данных должны поддер­живать все операции доступа к данным и быть единствен­ным средством такого доступа, кроме, возможно, опера­ций низшего уровня (см. правило 12).

6. Возможность обновления представлений. Все пред­ставления, подлежащие обновлению, должны быть дос­тупны для этого.

7. Наличие высокоуровневых операций управления данными. Операции вставки, обновления и удаления дол­жны применяться к таблице в целом.

8. Физическая независимость данных. Прикладные программы не должны зависеть от используемых спосо­бов хранения данных на носителях и методов обращения к ним.

9. Логическая независимость данных. Прикладные программы не должны зависеть от логических ограни­чений

10. Независимость контроля целостности. Все необ­ходимое для поддержания целостности данных должно храниться в словаре данных.

11. Дистрибутивная независимость. Реляционная база данных должна быть переносимой и способной к рас­пространению.

12. Согласование языковых уровней. Если реляцион­ная СУБД допускает использование низкоуровневого язы­ка доступа (элемент доступа — запись), последний не дол­жен совершать операций, противоречащих требованиям правил безопасности и поддержания целостности данных, которые соблюдаются языком более высокого уровня.

Все это Кодд суммировал в правиле 0: для того чтобы систему можно было квалифицировать как реляционную СУБД, она должна использовать для управления базой данных исключительно реляционные функции.