Классика баз данных - статьи
В выражениях ограничения или других
Например, достаточно ограничиться формулами, находящимися в предваренной нормальной форме [9].
В выражениях ограничения или других частях оператора выборки могут потребоваться арифметические функции. Они могут быть определены в H и использованы в R.
Определенное таким образом множество может быть получено только для целей выполнения запроса или сохранено для возможных изменений. Вставки принимают форму добавления новых элементов в объявленные отношения без обращения внимания на какой-либо порядок, который может существовать во внутреннем представлении. Удаления, значимые для всех пользователей (а не для одного пользователя или некоторой группы), имеют форму удаления элементов из объявленных отношений. Некоторые удаления и обновления могут порождаться другими, если в R объявлены зависимости удаления и обновления между указанными отношениями.
Одним существенным следствием принятого представления данных в языке, используемом для выборки данных, являются принципы именования элементов данных и множеств. Некоторые аспекты этого были обсуждены в предыдущем разделе. В обычном сетевом представлении пользователь часто обременен созданием и использованием большего числа имен отношений, чем это необходимо, т.к. имена ассоциированы скорее с путями (или типами путей), чем с отношениями.
Если пользователь знает, что хранится некоторое отношение, он будет ожидать возможности работы с ним, пользуясь комбинацией известных ему аргументов и получая информацию об остальных "неизвестных" аргументах, поскольку именно они содержат интересующую его информацию. Эту возможность системы (отсутствующую во многих современных информационных системах) мы будем называть симметричным использованием
отношения. Естественно, симметричность в производительности не ожидается.
Для поддержки симметричного использования одного бинарного отношения необходимы два направленных пути. Для отношения степени n количество путей, которые нужно именовать и контролировать, составляет n факториал (n!).
