Выразимые, именованные и хранимые отношения
В состав банка данных входят три коллекции отношений:
- набор выразимых (expressible) отношений;
- набор именованных (named) отношений;
- набор хранимых (stored) отношений.
В набор выразимых отношений входят те отношения, которые могут быть обозначены выражениями языка выборки данных для целей определения выбираемых наборов данных. Такие выражения конструируются из простых имен отношений, реляционных операций, таких как "=", логических связок и кванторов исчисления предикатов.
В набор именованных отношений входят все отношения банка данных, которые пользователь может идентифицировать посредством простых общедоступных имен. Этот набор является поднабором набора выразимых отношений – обычно очень небольшим поднабором.
В набор хранимых отношений входят все отношения, значения которых действительно сохраняются в банке данных. Этот набор обычно должен был бы быть поднабором набора именованных отношений, и мы предполагаем, что так оно и есть. Если число обращений к некоторому неименованному, но выразимому отношений возрастает настолько, что это отношение следует включить в набор хранимых отношений, то такому отношению следует назначить общедоступное имя и, тем самым, включить его в набор именованных отношений.
Те отношения, которые содержатся в наборе именованных отношений, но не содержатся в наборе хранимых отношений, определяются (не зависящими от времени) выражениями, включающими имена хранимых отношений, а также операции перестановки-проекции, естественной композиции, естественного соединения и связывания (Π, •, *, γ). Такие определения выражений должны быть ограничены возможностями языка выборки R.
Решения о том, какие отношения следует включать в набор именованных отношений, принимаются, в основном, на основе логических потребностей сообщества пользователей, в частности, потребности в возрастающих инвестициях в программы, использующие доступ к отношениям по их именам по причине их предыдущего членства в наборе именованных отношений. С другой стороны, решения относительно того, какие отношения следует включать в набор хранимых отношений, принимаются, в основном, на основе транзакционной и интерактивной нагрузки, требований пользователей к производительности и изменений этих факторов.
