D (specifikace datového jazyka) - D (data language specification) - Wikipedia
D je sada receptů na co Christopher J. Date a Hugh Darwen věřit a systém správy relačních databází by měl být jako. Navrhuje se to v jejich příspěvku Třetí manifest, poprvé publikováno v roce 1994 a od té doby rozpracováno v několika knihách.
Přehled
D je samo o sobě specifikací abstraktního jazyka. Nezadává syntaxi jazyka. Místo toho specifikuje žádoucí a nežádoucí jazykové vlastnosti, pokud jde o recepty a proskripce. D tedy není jazyk, ale rodina implementovaných i budoucích jazyků. „Platný D“ musí mít určitou sadu funkcí a vylučovat jinou sadu funkcí, které Date a Darwen považují za nerozumné a v rozporu s relační model navrhl E. F. Codd v roce 1970. Platný D může mít další funkce, které jsou mimo rozsah relační databáze.
Výukový program D
Výukový program D je specifický D, který je definován a používán pro ilustraci v Třetí manifest. Implementace D nemusí mít stejnou syntaxi jako Tutorial D. Účel Tutoriálu D je jak vzdělávací, tak ukázat, jak by D mohl vypadat. Rel je implementace výukového programu D.
Implementace
Existuje řada implementací D s různým stupněm zralosti a shody.
- První implementace D je D4, napsáno v C#. D4 je vlajkovou lodí jazyka Alphora je Dataphor.
- Rel je nejúplnější implementace výukového programu D (včetně modelu dědičnosti) a je hojně využívána ve výuce.
- Andl je relační programovací jazyk s SQLite nebo PostgreSQL backend a Šetrnost rozhraní.
- Alf - Relační algebra na dosah ruky, a Rubín implementace relační algebry inspirované tutoriálem D.
- Projekt: M36 - napsaný matematicky koherentní systém správy databáze relační algebry Haskell.
- Dee dělá Krajta relační.
- Duro - systém správy relační databáze
- SIRA_PRISE znamená přímou implementaci relační algebry - prototyp motoru pro ukládání relačních informací.
- TclRal - Tcl relační knihovna algebry, TclRal je implementace relační algebry založené na koncepcích v Třetí manifest, jako rozšíření Tcl Jazyk.
Reference
- C. J. Datum a Hugh Darwen (2007, Addison-Wesley) Databáze, typy a relační model: Třetí manifest, třetí vydání nahrazuje první a druhé vydání, což jsou dvě knihy uvedené níže. ISBN 0-321-39942-0
- Date, C. J .; Darwen, Hugh (1998). Nadace pro objektové / relační databáze: Třetí manifest: podrobná studie dopadu předměty a teorie typů na relační model dat včetně komplexního návrhu na typ dědičnosti (1. vyd.). Čtení, MA: Addison-Wesley. xxi, 496. ISBN 0-201-30978-5. LCCN 98010364. OCLC 38431501. LCC QA76.9.D3 D15994 1998.
- Date, C. J .; Darwen, Hugh (2000). Nadace pro budoucí databázové systémy: Třetí manifest: podrobná studie dopadu teorie typů o relačním modelu dat, včetně komplexního modelu typ dědičnosti (2. vyd.). Čtení, MA: Addison-Wesley Professional. xxiii, 547. ISBN 0-201-70928-7. LCCN 00035527. OCLC 43662285. LCC QA76.9.D3 D3683 2000.