D (dataspecifikation for data) - D (data language specification)
D er et sæt recepter for, hvordan Christopher J. Date og Hugh Darwen mener, at et relationsdatabasehåndteringssystem burde være. Det foreslås i deres papir Det tredje manifest , der først blev offentliggjort i 1994 og uddybet i flere bøger siden da.
Oversigt
D i sig selv er en abstrakt sprogspecifikation. Det specificerer ikke sprogsyntaks. I stedet specificerer det ønskelige og uønskede sproglige egenskaber med hensyn til recepter og forskrifter. D er således ikke et sprog, men en familie af både implementerede og fremtidige sprog. En "gyldig D" skal have et bestemt sæt funktioner og udelukke et andet sæt funktioner, som Date og Darwen anser for uklogt og i modstrid med den relationelle model , som EF Codd foreslog i 1970. En gyldig D kan have yderligere funktioner, der er uden for omfanget af relationsdatabaser .
Vejledning D
Tutorial D er en specifik D, der er defineret og brugt til illustration i The Third Manifesto . Implementeringer af D behøver ikke have den samme syntaks som tutorial D. Formålet med tutorial D er både uddannelsesmæssigt og at vise, hvordan en D kan være. Rel er en implementering af tutorial D.
Implementeringer
Der er adskillige implementeringer af D med varierende grad af modenhed og overholdelse.
- D's første implementering er D4 , skrevet i C # . D4 er flagskibet sprog Alphora 's Dataphor .
- Rel er den mest komplette implementering af tutorial D (inklusive arvsmodellen) og bruges meget i undervisningen.
- Andl er et relationelt programmeringssprog med SQLite- eller PostgreSQL- backend- og Thrift- grænseflader.
- Alf - Relational Algebra at Your Fingertips , en Ruby implementering af relationel algebra inspireret af Tutorial D.
- Projekt: M36 - et matematisk sammenhængende relationsalgebra databasestyringssystem skrevet i Haskell .
- Dee gør Python relationel.
- Duro - et relationsdatabasesystem
- SIRA_PRISE står for Straightforward Implementation of a Relational Algebra - Prototype of a Relational Information Storage Engine.
- TclRal - Tcl Relational Algebra Library , TclRal er en implementering af relationel algebra, baseret på begreber i The Third Manifesto , som en udvidelse af Tcl- sproget.
Referencer
- CJ Date og Hugh Darwen (2007, Addison-Wesley) Databaser, typer og relationsmodellen: The Third Manifesto , en tredje udgave, der erstatter første og anden udgave, der er de to bøger, der er anført nedenfor. ISBN 0-321-39942-0
- Dato, CJ; Darwen, Hugh (1998). Grundlag for objekt / relationsdatabaser : Det tredje manifest: en detaljeret undersøgelse af objekternes indflydelse og typeteori på den relationelle datamodel inklusive et omfattende forslag til typearv (1. udgave). Reading , MA : Addison-Wesley . xxi, 496. ISBN 0-201-30978-5 . LCCN 98010364 . OCLC 38431501 . LCC QA76.9.D3 D15994 1998 .
- Dato, CJ; Darwen, Hugh (2000). Foundation for Future Database Systems: The Third Manifesto: en detaljeret undersøgelse af virkningen af typeteori på den relationsmodel af data, herunder en omfattende model for typearv (2. udgave). Reading , MA : Addison-Wesley Professional. xxiii, 547. ISBN 0-201-70928-7 . LCCN 00035527 . OCLC 43662285 . LCC QA76.9.D3 D3683 2000 .
