Классика баз данных - статьи
Имеется перевод на русский язык
Имеется перевод на русский язык С.Д. Кузнецова: К. Дж. Дейт. Гедель, Рассел, Кодд: Рекурсивная золотая чехарда
12. C. J. Date: "And Now for Something Completely Computational," www.thethirdmanifesto.com (July 2006). Имеется перевод на русский язык С.Д. Кузнецова: К. Дж. Дейт. А теперь про нечто полностью вычислительное
13. C. J. Date and Hugh Darwen: "Multiple Assignment," www.dbdebunk.com (February 2004).
14. C. J. Date and Hugh Darwen: Databases, Types, and the Relational Model: The Third Manifesto (3rd edition). Reading, Mass.: Addison-Wesley (2006). (Второе издание книги опубликовано в переводе на русский язык: К. Дж. Дейт, Хью Дарвен. Основы будущих систем баз данных: третий манифест. Перевод под ред. С.Д.Кузнецова, Янус-К, 2004.)
Logic, Logic, and Logic by George Boolos (Author), Richard Jeffrey (Introduction), John P. Burgess (Editor). Harvard University Press; Reprint edition, 1999. (Прим. переводчика)
Следующие далее примеры и обсуждение взяты из [10].
В целях придания большей ясности я отредактировал (иногда радикально) большую часть цитат, используемых в этой статье.
В Третьем Манифесте не запрещаются «опции каскадирования», которые определяются декларативным образом, но Кодд утверждает здесь, что их можно было бы задавать в процедурном стиле.
Так что мы могли бы сказать, что здесь имеется пример еще одной разновидности равенства, которую можно было бы назвать равенством проявлений. Однако в Манифесте такой термин не используется.
Код, реализующий данную операцию только чтения всегда логически эквивалентен одиночному оператору RETURN, операнд которого формулируется в виде выражения. (Хотя такой реализационный код можно написать с применением обновления некоторых переменных, являющихся полностью локальными для рассматриваемой операции, такие обновления не приводят к возникновению длительных эффектов.) Таким образом, такая операция не может обновить что-либо в своей внешней среде; в частности, она не может обновить что-либо в базе данных.
А также, возможно, и равенство проявлений.
