데이터베이스 이론

Database theory

데이터베이스 이론은 데이터베이스 및 데이터베이스 관리 시스템의 이론적 영역에 대한 연구와 연구와 관련된 광범위한 주제를 요약합니다.

데이터 관리의 이론적인 측면에는 특히 쿼리 언어의 기초, 계산 복잡성 및 쿼리의 표현력, 유한 모델 이론, 데이터베이스 설계 이론, 의존성 이론, 동시 제어 및 데이터베이스 복구의 기초, 연역 데이터베이스, 시간 및 공간 데이터베이스, 실시간 데이터가 포함됩니다.불확실한 데이터와 확률론적 데이터베이스, 웹 데이터 관리.

대부분의 연구는 전통적으로 관계형 모델에 기초하고 있다. 왜냐하면 이 모델은 일반적으로 가장 단순하고 가장 근본적인 관심 모델로 간주되기 때문이다.객체 지향 또는 반구조화 모델, 또는 최근에는 그래프 데이터 모델 및 XML과 같은 다른 데이터 모델에 대한 대응 결과는 관계형 [1]모델에 대한 결과에서 파생되는 경우가 많습니다.

데이터베이스 이론의 중심 초점은 질의 언어의 복잡성과 힘, 그리고 논리와의 연관성을 이해하는 것입니다.관계대수 및 1차 논리(Codd의 정리에 상당)에서 시작하여 그래프 도달 가능성 등의 중요한 쿼리가 이 언어로 표현될 수 없다는 통찰력을 바탕으로 논리 프로그래밍과 데이터로그와 같은 고정점 논리에 기초한 보다 강력한 언어를 연구하였다.또 다른 초점은 쿼리 최적화와 데이터 통합의 기반에 있었습니다.여기서 대부분의 작업은 추적 알고리즘을 사용하여 제약 조건 하에서도 쿼리 최적화를 허용하는 결합 쿼리를 연구한다.

이 분야의 주요 연구 컨퍼런스는 ACM POD(데이터베이스 시스템 원리) 심포지엄과 ICDT(International Conference on Database Theory)입니다.

「 」를 참조해 주세요.

주요 카테고리: 데이터베이스 이론

레퍼런스

  1. ^ "A website on the Theoretical Foundations of Data Management".

일반 참고 자료

외부 링크