Классика баз данных - статьи
Литература
1. C.W. Bachman, "Software for Random Access Processing", Datamation, April 1965.
2. W.C. McGee, "Generalized File Processing", Annual Review in Automatic Programming 5, 13, pp. 77-149, Pergamon Press, 1969.
3. G.H. Mealy, "Another Look at Data", Proceedings Fall Joint Computer Conference, 1967.
4. A. Church, "An Introduction to Mathematical Logic I", Princeton, 1956.
1) Здесь требуется исчисление предикатов второго порядка (а не первого), поскольку домены, на которых определяются отношения, могут сами содержать в качестве своих элементов отношения (см. разд. 1).
2) Если пользователь знает, что в банке данных сохраняется некоторое отношение, для него будет естественно ожидать возможности доступа к этому отношению с использованием любой комбинации его атрибутов как "известных", а оставшихся атрибутов – как "неизвестных", поскольку именно в них содержится интересующая его информация. Эту возможность (отсутствующую во многих современных информационных системах) мы (логически) будем называть симметричным использованием отношений.
3) Функция – это бинарное отношение "многие-к-одному".
4) Мы можем опустить в списке операций естественную композицию, поскольку она является комбинацией соединения и проекции.
5) Бинарное отношение является сложным, если ни оно само, ни обратное к нему отношение не является функцией.
