타우루스

F = { AB → D, B → CD, A → BC } 의 최소 커버(Minimal Cover, Canonical Cover)를 구하는 과정 [Step 1] 우변(피결정자)의 속성 분해 (Decomposition)먼저, 모든 함수적 종속성의 우변(Right-Hand Side)에 하나의 속성만 오도록 분해합니다.(암스트롱의 분해 규칙 적용)AB → D (변경 없음)B → CD ▶ B → C, B → DA → BC ▶ A → B, A → C현재 집합 F_1: { AB → D, B → C, B → D, A → B, A → C }[Step 2] 좌변(결정자)의 불필요한 속성 제거 (LHS Simplification)좌변에 두 개 이상의 속성이 있는 경우(여기서는 $AB \rightarrow D$), 일부 속성을..

암스트롱 추론 규칙(Armstrong's Axioms)은 관계형 데이터베이스에서 함수적 종속성(Functional Dependency, FD)을 유도하기 위한 논리적 규칙의 집합입니다. 이 규칙들은 건전성(Soundness)과 완전성(Completeness)을 동시에 만족하므로, 주어진 FD 집합으로부터 도출 가능한 모든 종속성을 찾아낼 수 있는 강력한 도구입니다. 1. 기본 규칙 (Core Axioms)가장 기본이 되는 3가지 규칙입니다. 이 규칙들만으로도 모든 종속성을 유도할 수 있습니다.① 재귀성 규칙 (Axiom of Reflexivity)속성 집합의 부분집합은 그 집합에 의해 결정됩니다.정의: Y ⊆ X 이면 X → Y 이다.의미: 예를 들어 {학번, 이름}을 알면 당연히 {이름}을 알 수 있습..

1. Source-Based Tree (최단 경로 트리, SPT)"각 송신원(Source)을 뿌리(Root)로 하여 수신자까지 뻗어 나가는 개별 트리"동작 원리: 멀티캐스트 데이터를 전송하는 각 송신원의 IP 주소를 기준으로 수신자까지의 최단 경로를 계산하여 트리를 구성합니다.상태 정보(Notation): 라우터는 송신원($S$)과 멀티캐스트 그룹($G$)의 쌍으로 이루어진 $(S, G)$ 상태 정보를 유지합니다.장점 (최적 경로): 송신원과 수신자 간의 경로가 최단 경로(Shortest Path)이므로 전송 지연(Latency)이 최소화됩니다.단점 (메모리 부하): 동일한 그룹($G$)에 데이터를 보내는 송신원($S$)이 100개라면, 네트워크 내 라우터들은 100개의 $(S, G)$ 라우팅 엔트리를 ..

1. ASM (Any-Source Multicast)"송신자를 구분하지 않고 그룹에만 가입하는 방식" 개념: 수신자가 특정 멀티캐스트 그룹($G$)에 가입하면, 해당 그룹으로 전송하는 **모든 소스($S$)**의 트래픽을 수신하는 모델입니다. 표기: $(* , G)$ 모델 (모든 소스 $*$, 특정 그룹 $G$) 특징: 랑데부 포인트(RP, Rendezvous Point) 필수: 소스와 수신자 간의 트리를 형성하기 위해 중앙의 RP를 거쳐야 합니다. (PIM-SM의 경우) 복잡성: 공유 트리(Shared Tree, RPT)를 먼저 생성 후, 최단 경로 트리(SPT)로 전환하는 과정이 있어 경로 관리가 복잡합니다. 프로토콜: IGMPv1, IGMPv2 사용. 문제점: 악의적..