«relational-structures» 태그된 질문

나는 관계형 데이터베이스를 이해하기위한 적어도 두 가지 다른 이론적 접근법, 즉 Codd의 관계형 대수 / 미적분학 및 범주 이론을 알고 있습니다. 이 두 접근법 사이에 어떤 관계가 있습니까? 그것들은 어떤 의미에서 동등합니까? 이 두 프레임 워크가 관계형 데이터베이스를 설명하는 방법을 설명하는 입문 작업이 있습니까? 배경 : 얼마 전에 나는 데이비드 …

17 reference-request  ct.category-theory  db.databases  relational-structures 

유전 적 부류의 구조 (예 : 그래프)는 유도 된 하부 구조에서 닫히거나 정점 제거에서 닫히는 구조입니다. 미성년자를 배제하는 그래프 클래스에는 제외 된 특정 미성년자에 의존하지 않는 훌륭한 속성이 있습니다. 마틴 그로 헤 (Martin Grohe)는 마이너를 제외한 그래프 클래스에는 동형에 대한 다항식 알고리즘이 있으며, 카운트가있는 고정 소수점 논리는 이러한 그래프 클래스에 …

15 cc.complexity-theory  graph-theory  relational-structures 

관계형 데이터베이스 이론 및 관련 영역에서 최근의 발전이 무엇인지 궁금합니다. 저는 새로운 접근 방식, 쿼리 언어 (SQL 및 / 또는 그 대안), 제품 (독점 및 오픈 소스, 오픈 소스에 훨씬 더 관심이 있지만) 및 지난 몇 년 동안 개발 된 연구 프로젝트에 관심이 있습니다.

12 db.databases  relational-structures 

유한 한 구조로 하자 . 1 차 이론 T : = T H ( A ) 는 q r ( φ ) > q를 갖는 모든 φ ∈ T 에 대해 φ ′ ∈ T 가 있도록 q ∈ N 이 있다는 의미에서 수량 자 순위를 제한했습니다 와 Q의 R …

11 co.combinatorics  lo.logic  relational-structures