Назад к будущему
Мы ищем прочные основы для будущего управления данными. При этом мы не считаем, что такие основы способен обеспечить язык баз данных SQL. Вместо этого мы полагаем, что любые такие основы должны твердо корениться в реляционной модели данных, впервые представленной миру Э.Ф.Коддом в 1969 году в [6].
Мы в полной мере сознаем желательность поддержки некоторых возможностей, активно обсуждавшихся в последнее время, в частности, ряда таких возможностей, которые обычно считаются присущими объектной ориентации. Мы полагаем, что такие возможности являются ортогональными реляционной модели. И в силу этого, следовательно, реляционная модель не нуждается в каких-либо расширении, коррекции или категоризации, а самое главное, в каких-либо искажениях для того, чтобы внедрить указанные возможности в какой-либо язык баз данных, способный представлять те основы, которые мы ищем.
Допустим, что такой язык имеется и называется D.
Язык D будет предметом определенных предписаний и запретов. Некоторые из этих предписаний проистекают из реляционной модели данных, и мы будем называть их предписаниями реляционной модели, или для краткости – РМ-предписаниями. Предписания, которые не происходят из реляционной модели, назовем остальными ортогональными предписаниями, или для краткости – ОО-предписаниями. Подобным же образом мы категоризируем запреты для языка D.
Перейдем теперь к более подробному обсуждению предписаний и запретов языка D. Следует заметить, что РМ-предписания и запрещеты не могут быть предметом компромисса. К сожалению, этого совсем нельзя сказать по поводу ОО-предписаний и запрещетов, поскольку не существует (во время написания этой работы) ясной и общепринятой модели, на которой они могли бы базироваться. На самом деле мы полагаем, что ОО может внести значительный вклад в области типов данных, определяемых пользователями, и наследования. Однако пока не достигнут какой-либо консенсус относительно абстрактной модели даже относительно этих важных предметов.
Поэтому мы вынуждены дать наши собственные определения в этих областях. И лишь справедливо будет предупредить читателя, что наследование, по меньшей мере, порождает ряд вопросов, на которые, как нам представляется, пока еще нет удовлетворительных ответов в доступной литературе. В результате в настоящее время наши предложения в этой области должны по необходимости быть в некотором роде предварительными (см. ОО-предписания 2 и 3).
Наряду с предписаниями и запретами этот манифест включает также некоторые весьма настоятельные предложения, также подразделяющиеся на РМ- и ОО-категории.
Три последние предварительные замечания.
- Если говорить совсем точно, то версия реляционной модели, которую мы поддерживаем, – это версия, впервые описанная в [16] (глава 15) и позже уточненная (в небольшой степени) в [11] (часть II). Заметим, однако, что определения кортежа и отношения в данной работе представляют собой немного улучшенные варианты определений, приведенных в указанных ранних публикациях.
- В следующих разделах этой работы мы преднамеренно не вдаемся в многочисленные подробности различных предписаний, запретов и предложений. (В действительности, иногда мы предоставляем некоторые пояснительные комментарии по определенным вопросам, однако все такие комментарии можно было бы удалить, не затрагивая техническое существо нашего предложения). Намерение авторов состоит в том, чтобы представить вслед за этим манифестом ряд специальных статей, в которых различные аспекты нашего предложения были бы описаны более глубоко.
- В тех случаях, когда это недостаточно очевидно, мы хотели бы, чтобы было предельно ясно, что главная сфера наших интересов – это абстрактная модель, а не вопросы реализации (хотя в целях обеспчения ясности пояснительные комментарии касаются иногда и таких вопросов).