D (спецификация языка данных) - D (data language specification)
D - это набор предписаний того, на что, по мнению Кристофера Дж. Дейта и Хью Дарвена, должна быть похожа система управления реляционными базами данных . Это предлагается в их статье «Третий манифест» , впервые опубликованной в 1994 году и с тех пор подробно изложенной в нескольких книгах.
Обзор
D сам по себе является спецификацией абстрактного языка. Он не определяет синтаксис языка. Вместо этого он определяет желательные и нежелательные языковые характеристики в виде предписаний и запретов. Таким образом, D - это не язык, а семейство как реализованных, так и будущих языков. «Действительный D» должен иметь определенный набор функций и исключать другой набор функций, которые Дейт и Дарвен считают неразумными и противоречащими реляционной модели, предложенной EF Codd в 1970 году. Допустимый D может иметь дополнительные функции, которые выходят за рамки область применения реляционных баз данных .
Учебник D
Учебник D - это особый D, который определен и используется для иллюстрации в Третьем манифесте . Реализации D не обязательно должны иметь тот же синтаксис, что и Учебник D. Целью Учебника D является как образовательная, так и показывающая, на что может быть похожа D. Rel - это реализация учебника D.
Реализации
Существует множество реализаций D с разной степенью зрелости и соответствия.
- Первая реализация D - D4 , написанная на C # . D4 - это флагманский язык Dataphor от Alphora .
- Rel - это наиболее полная реализация Учебника D (включая модель наследования), которая активно используется в обучении.
- Andl - это реляционный язык программирования с бэкэндом SQLite или PostgreSQL и интерфейсами Thrift .
- Alf - Relational Algebra at your Fingertips , реализация реляционной алгебры на Ruby, вдохновленная учебником D.
- Проект: M36 - математически связная система управления базами данных реляционной алгебры, написанная на Haskell .
- Ди делает Python реляционным.
- Duro - система управления реляционными базами данных
- SIRA_PRISE означает прямую реализацию реляционной алгебры - прототип механизма хранения реляционной информации.
- TclRal - библиотека реляционной алгебры Tcl , TclRal - это реализация реляционной алгебры, основанная на концепциях Третьего манифеста , как расширение языка Tcl .
Рекомендации
- CJ Date и Hugh Darwen (2007, Addison-Wesley) Базы данных, типы и реляционная модель: третий манифест , третье издание, заменяющее первое и второе издания, которые представляют собой две книги, перечисленные ниже. ISBN 0-321-39942-0
- Дата, CJ; Дарвен, Хью (1998). Основа для объектных / реляционных баз данных : Третий манифест: подробное исследование влияния объектов и теории типов на реляционную модель данных, включая всестороннее предложение по наследованию типов (1-е изд.). Ридинг , Массачусетс : Эддисон-Уэсли . xxi, 496. ISBN 0-201-30978-5 . LCCN 98010364 . OCLC 38431501 . LCC QA76.9.D3 D15994 1998 .
- Дата, CJ; Дарвен, Хью (2000). Основа для будущих систем баз данных: третий манифест: подробное исследование влияния теории типов на реляционную модель данных, включая комплексную модель наследования типов (2-е изд.). Ридинг , Массачусетс : Аддисон-Уэсли Профессионал. xxiii, 547. ISBN 0-201-70928-7 . LCCN 00035527 . OCLC 43662285 . LCC QA76.9.D3 D3683 2000 .