D (спецификация языка данных) - D (data language specification)
D это набор рецептов для чего Кристофер Дж. Дат и Хью Дарвен верю система управления реляционной базой данных должно быть похоже. Предлагается в их статье Третий манифест, впервые опубликовано в 1994 году и с тех пор подробно описано в нескольких книгах.
Обзор
D сам по себе является спецификацией абстрактного языка. Он не определяет синтаксис языка. Вместо этого он определяет желательные и нежелательные языковые характеристики в виде предписаний и запретов. Таким образом, D - это не язык, а семейство как реализованных, так и будущих языков. «Действительный D» должен иметь определенный набор функций и исключать другой набор функций, которые Дейт и Дарвен считают неразумными и противоречащими реляционная модель предложено Э. Ф. Кодд в 1970 году. Действительный D может иметь дополнительные особенности, которые выходят за рамки реляционные базы данных.
Учебник D
Учебник D - это конкретный D, который определен и используется для иллюстрации в Третий манифест. Реализации D не обязательно должны иметь тот же синтаксис, что и Учебник D. Целью Учебника D является как образовательная, так и показывающая, на что может быть похожа D. Rel является реализацией Учебника D.
Реализации
Существует множество реализаций D с разной степенью зрелости и соответствия.
- Первая реализация D - D4, написано в C #. D4 - флагманский язык Альфора с Датафора.
- Rel является наиболее полной реализацией Учебника D (включая модель наследования) и широко используется в обучении.
- И я это реляционный язык программирования с SQLite или же PostgreSQL бэкэнд и Бережливость интерфейсы.
- Альф - реляционная алгебра на кончиках ваших пальцев, а Рубин реализация реляционной алгебры, вдохновленная учебником D.
- Проект: М36 - математически согласованная система управления базами данных реляционной алгебры, написанная на Haskell.
- Ди делает Python реляционный.
- Duro - система управления реляционными базами данных
- SIRA_PRISE расшифровывается как Прямая реализация реляционной алгебры - прототип механизма хранения реляционной информации.
- TclRal - библиотека реляционной алгебры Tcl, TclRal - это реализация реляционной алгебры, основанная на концепциях в Третий манифест, как продолжение Tcl язык.
Рекомендации
- C. J. Date и Хью Дарвен (2007, Эддисон-Уэсли) Базы данных, типы и реляционная модель: третий манифест, третье издание заменяет первое и второе издания двух книг, перечисленных ниже. ISBN 0-321-39942-0
- Date, C.J .; Дарвен, Хью (1998). Фундамент для объектные / реляционные базы данных: Третий манифест: подробное исследование влияния объекты и теория типов на реляционная модель данных, включая комплексное предложение по наследование типов (1-е изд.). Чтение, MA: Эддисон-Уэсли. XXI, 496. ISBN 0-201-30978-5. LCCN 98010364. OCLC 38431501. LCC QA76.9.D3 D15994 1998 г..
- Date, C.J .; Дарвен, Хью (2000). Фонд для будущих систем баз данных: третий манифест: подробное исследование влияния теория типов на реляционной модели данных, включая комплексную модель наследование типов (2-е изд.). Чтение, MA: Addison-Wesley Professional. XXIII, 547. ISBN 0-201-70928-7. LCCN 00035527. OCLC 43662285. LCC QA76.9.D3 D3683 2000 г..