2.4. Заключение

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

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

Многие вопросы поставлены и остались без ответа. Например, в разделе 1.4 упомянуты только наиболее важные свойства подъязыка данных. He обсуждаются ни чисто лингвистические детали такого языка, ни проблемы его реализации. Тем не менее, представленный материал может быть достаточным для опытных системных программистов при реализации некоторых подходов. Надеемся также, что эта статья будет способствовать повышению уровня точности при работе с системами форматированных данных.

Благодарности. C.T. Davis из IBM Poughkeepsie убедил автора в необходимости независимости данных в будущих информационных системах. Автор выражает благодарность ему и, также, F.P.Palermo, C.P.Wang, E.B.Altman и M.E.Senko из IBM San Jose Research Laboratory за полезные обсуждения.

Получена в сентябре 1969 г., пересмотрена в феврале 1970 г.

Литература

1. Childs, D.L. Feasibility of a set-theoretical data structure - a general structure based on a reconstituted definition of relation. proc. IFIP Cong., 1968, North Holland Pub. Co., Amsterdam, р. 162-172.

2. Levein, R.E., and Maron, M.E. A computer system for inference execution and data retrieval. Comm. ACM 10,11 (Nov. 1967), 715-721.

3. Bachman, C.W. Software for random access processing. Datamation (Apr. 1965), 36-41.

4. McGee, W.C. Generalized file processing. In Annual Review in Automatic Programming 5, 13, Pergamon Press, New York, 1969, рр. 77-149.

5. Information Management System/360, Application Description Manual H20-0524-1. IBM Corp., White plains, N.Y., July 1968.

6. GIS (Generalized Information System), Application Description Manual H20-0574. IBM Corp., White Plains, N.Y., 1965.

7. Bleier, R.E. Treating hierarchial data structures in the SDC time-shared data management system (TDMS). Proc. ACM 22nd Nat. Conf., 1967, MDI Publications, Wayne, pa., рр. 41-49.

8. IDS Reference Manual GE 625/635, GE Inform. Sys. Div., Pheonix, Ariz., CPB 1093B, Feb. 1968.

9. Church, A. An Introduction to Mathematical Logic I. Princeton U. Press, Princeton, N.J., 1956.

10. Feldman, J.A., and Rovner, P.D. An Algol-based associative language. Stanford Artificial Intelligence Rep. AI-66, Aug. 1, 1968.

^*)Переведено и опубликовано из Communications of the ACM, Volume 13, Number 6, June, 1970, с разрешения ACM.

(c) 1970 ACM

¹⁾ Более точно, R является подмножеством Декартова произведения S₁ x S₂ x ... x S_n.

²⁾Говоря математическим языком, связь - это класс эквивалентности отношений, эквивалентных относительно перестановки доменов (См. п.2.1.1).

³⁾Естественно, пользователь производит ввод данных в компьютерную систему и их выборку гораздо более эффективно, если он понимает смысл данных.

⁴⁾М.Е. Сенко из IBM, Сан-Хосе, независимо указывает на желательность устранения непростых доменов.

⁵⁾Работа с отношением включает запросы, обновление и удаление.

⁶⁾Поскольку каждое отношение в реальном банке данных является конечным в каждый момент времени, кванторы существования и всеобщности могут быть выражены в терминах функции, вычисляющей количество элементов в любом конечном множестве.

⁷⁾При работе со связями мы используем имена доменов (в случае необходимости уточненные именами ролей) вместо позиций доменов.

⁸⁾Функция - бинарное отношение "один-к-одному" или "многие-к-одному", но не "один-ко-многим".

⁹⁾Другие авторы склоняются к игнорированию композиций, отличных от естественной, и, соответственно, называют композицией именно этот частный случай - см., например, "Общую топологию" Келли.

¹⁰⁾Бинарное отношение является сложным, если ни оно само, ни обратное к нему не являются функциями.

25