Core Concepts
이중 범주 관계는 함수와 관계를 모두 포함하는 유연하고 표현력 있는 언어로, 관계대수 스타일의 데이터 쿼리를 이중 함수 의미론으로 포착할 수 있다.
Abstract
이 논문은 지식 표현과 데이터베이스 시스템을 위한 수학적 기반으로 범주 이론을 제시한다. 기존의 접근법은 데이터베이스 인스턴스를 집합과 함수의 범주로 모델링하거나 집합, 관계, 함의의 2-범주로 모델링했다. 이 논문에서는 함수와 관계를 통합한 이중 범주를 사용하여 지식을 표현하고 데이터를 쿼리하는 방법을 소개한다.
주요 내용은 다음과 같다:
이중 범주 관계를 사용하여 사실을 표현하는 방법을 설명한다. 개별 개체를 상수로 포함하고, 관계와 함께 진리값을 사용하여 사실을 표현할 수 있다.
확장과 테이블레이터를 사용하여 새로운 유형을 생성하는 방법을 보여준다. 이를 통해 부분 사상을 표현하고 명제를 유형으로 재화할 수 있다.
국소 곱을 사용하여 명제의 conjunction을 표현하는 방법을 설명한다. 이를 통해 전문성과 팀 배정 간의 관계를 모델링할 수 있다.
이중 범주 관계에서 제공되는 연산을 사용하여 선택, 필터링, 내부 조인과 같은 데이터 쿼리를 수행하는 방법을 보여준다. 이를 통해 쿼리가 이중 함수 의미론으로 포착됨을 보인다.
Stats
팀 SG1은 2-6-98, 7-31-98, 1-2-99, 10-22-99 날짜에 임무를 수행했다.
팀 SG3은 2-6-98, 8-6-2004 날짜에 임무를 수행했다.
팀 SG9는 8-6-2004 날짜에 임무를 수행했다.
팀 SG11은 8-6-2004 날짜에 임무를 수행했다.
코바체크는 법률 전문성을, 모리슨은 전투 전문성을, 오닐은 지휘 전문성을 가지고 있다.