Список литературы

9.1. Adelberg В., Garcia-Molina Н., Widom J. The STRIP Rule System for Efficiently Maintaining Data Proc. ACM SIGMOD Int. Conf on Management of Data.- Tucson, Ariz., May, 1997.

STRIP - это сокращение полного названия процессора Stanford Real-time Information Processor. Данный процессор использует правила , т.е., по сути, триггерные процедуры (см., например, [8.22]), для обновления моментальных снимков (здесь они называются производными данными) при каждом изменении исходных данных в базе. Проблема использования такой системы заключается в том, что если данные в базе изменяются достаточно часто, то дополнительная нафузка на систему в связи с выполнением установленных правил оказывается чрезмерной. В статье описываются методы STRIP, позволяющие уменьшить эту нафузку.

9.2. Adiba М, Derived Relations: А Unified Mechanism for Views, Snapshots, and Distributed Data Proc. Int. Conf On Very Large Data Bases. - Cannes, France., September, 1981. См. также более раннюю версию: Adiba М.Е., Lindsay B.C. Database Snapshots IBM Research Report RJ2772. - March, 1980.

В работе впервые представлена концепция моментальных снимков, а также предложены соответствующая семантика и принципы реализации. Относительно реализации следует заметить, что внутри системы можно использовать различные типы дифференциальных обновлений или инкрементное сопровождение, т.е. системе не всегда потребуется при обновлении снимка повторно выполнять исходный запрос в полном объеме.

9.3. Agrawal D., El Abbadi А., Singh А., and Yurek Т. Efficient View Maintenance of Data Warehouses Proc. ACM SIGMOD Int. Conf on Management of Data. - Tucson, Ariz., May, 1997.

Вспомним из главы 1, что хранилище данных - это база данных, в которой содержатся данные для поддержки принятия решений, т.е., по сути, моментальные снимки, если использовать терминологию настоящей главы (и термин представление (view) в заголовке этой статьи на самом деле относится не к представлениям, а к моментальным снимкам). Как указывалось в аннотации к [9.2], моментальные снимки можно сопровождать инкрементно и такое сопровождение весьма желательно с точки зрения производительности системы. Однако инкрементное сопровождение может привести к затруднениям, если моментальные снимки создаются с нескольких отдельных баз данных, которые в это же время подвергаются обновлению. В настоящей статье предлагается решение данной проблемы.

9.4. Buff H.W. Why Codds Rule №6 Must Be Reformulated ACM SIGMOD.- Desember, 1988. - 17, №4.

В 1985 году Кодд (Codd) опубликовал набор из двенадцати правил, предназначенных для использования в качестве части теста для определения, является ли продукт, объявленный как полностью реляционный, на самом деле таковым [9.5]. Правило Кодда № 6 требует, чтобы все представления, теоретически обновляемые, были обновляемы и в данной конкретной системе. В этой короткой заметке Буфф (Buff) утверждает, что общая проблема обновляемости представлений неразрешима, т.е. не существует общего алгоритма определения обновляемости (в смысле

определения Кодда) или ее отсутствия для произвольного представления. Тем не менее следует заметить, что определение обновляемости, использованное в этой главе, несколько отличается от определения, введенного Коддом. Различие состоит в том, что использованное в данной главе определение обновляемости сформулировано в терминах предикатов переменных-отношений.

9.5. Codd E.F. Is Your DBMS Really Relational? and Does Your DBMS Run by the Rules? Computerworld. - October, 1985. - № 14, № 21.

9.6. Colby L.S. Supporting Multiple View Maintenance Policies Proc. ACM SIGMOD Int. Conf. on Management of Data. - Tucson, Ariz., May, 1997.

Представлениями в этой статье именуются не представления, а моментальные снимки. Существует три широко распространенных подхода к поддержке актуальности моментальных снимков.

1. Непосредственный. При каждом обновлении любых исходных переменных-отношений немедленно запускается соответствующая процедура обновления моментального снимка.

2. Отложенный. Моментальный снимок обновляется только по требованию пользователя.

3. Периодический. Моментальный снимок обновляется через указанные интервалы времени (например, каждый день).

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

9.7. Chamberlin D.D., Gray J.N., Traiger I.L. Views, Authorization, and Locking in a Relational Data Base System Proc. NCC 44. - Calif. Montvale, N.J.: AFIPS Press, May, 1975.

Содержит краткое логическое обоснование подхода, выбранного для организации обновления представлений в прототипе системы System R (и, следовательно, в системах SQL/DS и DB2, в стандарте SQL и т.п.). См. также [9.15], где можно найти аналогичное обоснование для прототипа системы INGRES.

9.8. Darwen И. Without Check Option. Relational Database Writings 1989-1991.- Reading, Mass.: Addison-Wesley, 1992.

9.9. Date C.J., McGoveran D. Updating Union, Intersection, and Difference Views, and Updating Joins and Other Views. Relational Database Writings 1989-1991. - Reading, Mass.: Addison-Wesley, 1995.

Замечание. Формальные версии этих статей на время написания настоящей книги находились в процессе подготовки.

9.10. Dayal U., Bernstein Р.А. On the Correct Translation of Update Operations on Relational Views ACM TODS. - September, 1982. - 7, № 3.

Это первое действительно формальное изложение правил обновления представлений (только для представлений, описанных с помощью операции выборки, проекций и соединения). Однако предикаты переменных-отношений здесь не рассматриваются.

9.11. Furtado A.L., Casanova M.A. Updating Relational Views Query Processing in Database Systems. - New York, N.Y.: Springer Verlag, 1985.

Здесь описаны два достаточно общих подхода к решению проблемы обновления представлений. Один из них (в книге детально изложен только один подход) является попыткой разработки общего механизма, работающего независимо от сложности структуры базы данных. В этом подходе используется исключительно определение исследуемого представления. Другой подход, менее амбициозный, требует, чтобы администратор базы данных явно указал для каждого представления, какие обновления для него допустимы и какова семантика соответствующих операций. Это выполняется посредством создания процедурного кода, реализующего обновления представлений в контексте исходных базовых переменных-отношений. Работа включает обзор показателей эффективности каждого из подходов (по состоянию на 1985 год). Кроме того, в книге представлен обширный список литературы, изданной до 1985 года.

9.12. Goodman N. View Update Is Practical InfoDB. - 1990. - 5, № 2.

Весьма неформальный прагматический обзор проблемы обновляемости представлений. Вот цитата из введения (несколько перефразированная): Дайал (Dayal) и Бернштейн (Bernstein) [9.10] доказали, что, по существу, все интересные представления не являются обновляемыми. Буфф (Buff) [9.4] доказал, что не существует алгоритма определения обновляемости произвольного представления. Но, кажется, есть небольшая надежда. [Однако] ничто не может быть дальше от истины. Обновления представлений возможны и реальны . И далее в статье приводится ряд методов обновления представлений. Однако ключевое понятие предикатов переменных-отношений не рассматривается.

9.13. Keller A.M. Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins Proc. 4th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. - Portland, Ore., March, 1985. Предложен набор из пяти критериев, которым должен удовлетворять алгоритм обновления представлений: отсутствие побочных эффектов, только одноэтапные изменения, отсутствие ненужных изменений, отсутствие возможности более простых замен и отсутствие пар операций DELETE-INSERT вместо операции UPDATE. В этой работе также представлены алгоритмы, которые удовлетворяют изложенным критериям. Кроме всего прочего, приведенные в книге алгоритмы позволяют реализовать обновления одного типа с помощью операций другого типа. Например, операция DELETE для представления может быть реализована посредством операции UPDATE в исходной базовой переменной-отношении (например, поставщик может быть удален из представления, описывающего лондонских поставщиков, посредством замены значения атрибута города CITY значением Paris). Другой пример (не вошедший в работу Келлера (Keller)): операция DELETE в представлении V (где V определено посредством операции вычитания А MINUS В) может быть реализована как вставка кортежа в переменную-отношение В, а не как удаление кортежа из переменной-отношения А. Заметьте, что в данной главе мы отбросили подобные способы реализации операций обновления на основании описанных в ней принципов.

9.14. Quass D. and Widom J. On-Line Warehouse View Maintenance Proc. ACM SIGMOD Int. Conf on Management of Data. -Tucson, Ariz., May, 1997.