D(데이터 언어 사양)
D (data language specification)D는 Christopher J. Date와 Hugh Darwen이 생각하는 관계형 데이터베이스 관리 시스템의 처방전이다.그것은 1994년에 처음 출판되었고 그 이후 여러 책에서 상세히 기술된 그들의 논문 "The Third Manifesto"에서 제안되었다.null
개요
D 자체가 추상적인 언어 명세서다.그것은 언어 구문을 명시하지 않는다.그 대신 처방과 금지라는 관점에서 바람직하고 바람직하지 않은 언어 특성을 명시한다.따라서 D는 언어가 아니라 구현된 언어와 미래 언어 모두의 가족이다."유효한 D"는 특정한 특징 집합을 가져야 하며, 다테와 다웬이 1970년에 E. F. Codd가 제안한 관계형 모델과 반대로 현명하지 못하고 고려하는 다른 특징 집합을 제외한다.유효한 D는 관계형 데이터베이스의 범위를 벗어나는 추가 기능을 가질 수 있다.null
자습서 D
자습서 D는 제3차 매니페스토의 삽화에 정의되고 사용되는 특정 D이다.D 구현은 자습서 D와 동일한 구문을 가질 필요가 없다.자습서 D의 목적은 교육적이면서도 D가 어떤 것인지 보여주기 위함이다.Rel은 자습서 D의 구현이다.null
구현
성숙도와 준수의 정도가 다양한 D의 구현이 있다.null
- D의 첫 실행은 D4로, C#에 기록되어 있다.D4는 알포라의 데이타포어의 대표 언어다.
- Rel은 Tutorial D(상속 모델 포함)의 가장 완전한 구현이며, 강의에 많이 사용된다.
- 앤들(Andl)은 SQLite 또는 Postgre를 포함하는 관계형 프로그래밍 언어SQL 백엔드 및 절약형 인터페이스.
- 자습서 D에서 영감을 받은 관계 대수 루비를 구현한 Alf - Relative 대수학(Alf - Relative Agebra at your Finder)
- 프로젝트:M36 - Haskell에 작성된 수학적으로 일관성 있는 관계 대수 데이터베이스 관리 시스템.
- 디는 파이톤을 관계적으로 만든다.
- Duro - 관계형 데이터베이스 관리 시스템
- SIRA_PRISE는 관계형 대수학의 직접적인 구현 - 관계형 정보 저장 엔진의 프로토타입을 의미한다.
- TclRal - Tcl 관계 대수 라이브러리, TclRal은 Tcl 언어의 확장으로서 The Third Manifesto의 개념에 기초하여 관계 대수학의 구현이다.
참조
- C. J. Date 및 Hugh Darwen(2007, Addison-Wesley) 데이터베이스, 유형 및 관계 모델: 제3판 매니페스토는 아래에 열거된 두 권의 책인 초판과 초판을 초월한 제3판이다.null ISBN0-321-39942-0
- Date, C. J.; Darwen, Hugh (1998). Foundation for object/relational databases: The Third Manifesto: a detailed study of the impact of objects and type theory on the relational model of data including a comprehensive proposal for type inheritance (1st ed.). Reading, 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). Foundation for Future Database Systems: The Third Manifesto: a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type inheritance (2nd ed.). Reading, MA: Addison-Wesley Professional. xxiii, 547. ISBN 0-201-70928-7. LCCN 00035527. OCLC 43662285. LCC QA76.9.D3 D3683 2000.