Язык манипулирования данными

Гибкость реляционной БД определяется легкостью, с которой можно манипулировать отношениями. Этой цели служит Язык манипулирования данными (ЯМД).

ЯМД для реляционной модели представлены двумя клас­сами языков - алгебраическими и языками исчислений.

Языки первого типа относятся к классу процедурных. За­прос описывается средствами реляционной алгебры. Примерами алгебраических языков являются ISDL, АСТРИД.

Множество операций над отношениями, реализуемых алге­браическими языками, можно разбить на два подмножества:

- стандартные теоретико-множественные операции - объе­динение, пересечение, разность, декартово произведение;

- специальные операции - проекция, соединение, селекция, частное.

Различают унарные операции (операции над одним отноше­нием) и бинарные операции (операции над двумя отношениями).

Основные операции реляционной алгебры представлены в табл. 10.1.

ЯМД, основанные на исчислении предикатов, относятся к классу декларативных языков. При декларативном подходе за­прос к БД соответствует формуле некоторой формально-логиче­ской теории, а ответом является множество объектов из области интерпретации, на котором истинна формула, соответствующая запросу.

Языки данного типа делятся на:

- языки, основанные на реляционном исчислении с перемен­ными кортежами, например QUEL, SQL;

- языки, основанные на реляционном исчислении с перемен­ными на доменах, например QBE.

По своей выразительности все приведенные в изложении ЯМД эквивалентны. Однако ЯМД, основанные на исчислении преди­катов, будучи декларативными, позволяют описать свойства же­лаемого результата и не требуют указания способа его получе­ния. Выражения же реляционной алгебры, напротив, специфици­руют конкретный порядок выполнения операций. Поэтому пользователь обычно сам должен оптимизировать свой запрос при его формулировке (в развитых системах оптимизацию запро­са проводит СУБД). При использовании ЯМД, основанных на исчислении предикатов, наиболее эффективный порядок вычис­ления для реализации запроса определяется транслятором или интерпретатором.