[논문 리뷰] Cobweb Posets and KoDAG Digraphs are Representing Natural Join of Relations, their diBigraphs and the Corresponding Adjacency Matrices

A. K. Kwaśniewski|arXiv (Cornell University)|2008. 12. 21.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 3

한 줄 요약

이 논문은 다항 관계를 표현하기 위한 새로운 대수적 프레임워크를 제안하며, 코브웹 포스셋(Cobweb posets)과 그에 연관된 KoDAG(Ko-ordered Directed Acyclic Graph) 방향그래프를 사용한다. 이 KoDAG는 이진 관계로 표현된 이중이분그래프(di-bicliques)의 자연스러운 조인($Π\!\to$)을 통해 구성된다. 주요 기여는 모든 다항 관계가 이러한 이진 구성요소의 자연스러운 조인으로 나타남을 증명하고, KoDAG가 완전 이분그래프 $Π\!\to_{\scriptstyle\rightarrow}{K_{k,k+1}}$를 연결하여 형성된 페로르스 방향그래프(Ferrers digraphs)임을 보이며, 임의의 관계에 대한 보편적이고 체인 완비 표현을 제공한다는 것이다.

ABSTRACT

Natural join of $di-bigraphs$ that is directed biparted graphs and their corresponding adjacency matrices is defined and then applied to investigate the so called cobweb posets and their $Hasse$ digraphs called $KoDAGs$. $KoDAGs$ are special orderable directed acyclic graphs which are cover relation digraphs of cobweb posets introduced by the author few years ago. $KoDAGs$ appear to be distinguished family of $Ferrers$ digraphs which are natural join of a corresponding ordering chain of one direction directed cliques called $di-bicliques$. These digraphs serve to represent faithfully corresponding relations of arbitrary arity so that all relations of arbitrary arity are their subrelations. Being this $chain -way$ complete if compared with kompletne $Kuratowski$ bipartite graphs their $DAG$ denotation is accompanied with the letter $K$ in front of descriptive abbreviation $oDAG$. The way to join bipartite digraphs of binary into $multi-ary$ relations is the natural join operation either on relations or their digraph representatives. This natural join operation is denoted here by $\os$ symbol deliberately referring to the direct sum $\oplus$ of adjacency matrices as it becomes the case for disjoint $di-bigraphs$.

연구 동기 및 목표

• 자연스러운 조인 연산에서 유도된 계층적 방향그래프를 사용하여 임의의 어조를 가진 관계를 형식화하는 것.
• 자연스러운 조인의 전이 감소(transitive reduction)로부터 유래된 페로르스 방향그래프의 특별한 클래스로 KoDAG를 특성화하는 것.
• 모든 다항 관계가 보편적 $K$-관계(KoDAG)의 부분관계임을 확립하여 관계 표현의 완전성을 보장하는 것.
• 직접 합과 유사하지만 겹치는 도메인에 적응된 $\oplus\!\to$ 연산자를 사용하여 인접행렬과 방향그래프를 통합하는 관계 표현 방식을 수립하는 것.

제안 방법

• 두 이진 관계의 자연스러운 조인 $\oplus\!\to$를 정의하여, 도메인-코도메인 쌍이 일치하는 관계를 결합함으로써 다항 관계를 생성하는 이진 연산으로서의 기능을 부여한다.
• 각 이진 관계 $E_k \subseteq \Phi_k \times \Phi_{k+1}$를 방향 이분그래프 $\stackrel{\scriptstyle\rightarrow}{K_{k,k+1}}$로 표현하며, 이를 이중이분그래프(di-biclique)라 칭한다.
• 이러한 이중이분그래프들의 체인을 기반으로 KoDAG를 구성하며, 이는 유한 폭을 지닌 계층적이고 비순환적인 방향그래프이다.
• 이중그래프의 인접행렬에 자연스러운 조인 연산을 적용하여 전체 다항 관계의 인접행렬을 구축한다.
• 인접행렬에 대한 페로르스 조건을 검증하여 결과 방향그래프가 페로르스 방향그래프임을 증명한다.
• 이중 관계 $E_k \subseteq \Phi_k \times \Phi_{k+1}$의 자연스러운 조인을 통해 $n$-항 관계와 KoDAG 사이의 전단사 대응을 설정한다.

실험 결과

연구 질문

• RQ1 어떤 보편적인 대수적 연산을 통해 다항 관계를 이진 관계에서 체계적으로 구성할 수 있는가?
• RQ2 결과로 얻어진 방향그래프(KoDAG)는 어떤 구조적 성질을 가지며, 페로르스 방향그래프와 같은 알려진 방향그래프 클래스와 어떻게 관련되어 있는가?
• RQ3 모든 $n$-항 관계는 이중이분그래프의 자연스러운 조인을 통해 구성된 단일 보편적 $K$-관계의 부분관계로 충실하게 표현될 수 있는가?
• RQ4 $\oplus\!\to$ 연산자는 관계대수학과 방향그래프 및 행렬 표현 간의 관계에서 어떤 역할을 하는가?
• RQ5 결과로 얻어진 KoDAG의 페로르스 차원은 기저가 되는 $n$-항 관계의 구조와 어떻게 관련되어 있는가?

주요 결과

• 모든 $n$-항 관계는 $n$개의 이진 관계 $E_k \subseteq \Phi_k \times \Phi_{k+1}$의 자연스러운 조인으로 나타나며, $E = \oplus\!\to_{k=0}^{n-1} E_k \subset \times_{k=0}^n \Phi_k$로 표현되어 구성의 완전성을 입증한다.
• KoDAG는 이중이분그래프 $\stackrel{\scriptstyle\rightarrow}{K_{k,k+1}}$의 자연스러운 조인으로 형성되며, 따라서 인접행렬에 대한 페로르스 조건을 만족한다.
• 코브웹 포스셋의 하세 다이어그램은 KoDAG와 동형이며, 이 포스셋은 이 방향그래프의 전이적이고 반사적인 폐쇄이다.
• 방향그래프에서의 자연스러운 조인 $\oplus\!\to$ 연산은 관계들이 서로 겹치지 않을 경우 그 이중인접행렬의 직접합과 대응되며, 이는 행렬의 직접합을 일반화한다.
• 피보나치 코브웹 포스셋 $P(D_{\text{Fib}})$는 전체 코브웹 포스셋의 부분포스셋이며, 그 페로르스 차원은 1을 초과하므로 비트리비얼한 구조를 지닌다.
• $K$-관계와 $K$-oDAG에서의 $K$-표기법은 $K_{m,n}$ 유형의 완전 이분그래프 방향그래프의 사용을 반영하며, 쿠라토프스키(Kuratowski)를 기리고 완전성을 강조한다.