[자료구조] B Tree
B 트리는 이진트리에서 발전되어 모든 리프 노드들이 같은 레벨을 가질 수 있도록 자동으로 밸린스를 맞추는 트리입니다. 정렬된 순서를 보장하고, 멀티레벨 인덱싱을 통한 빠른 검색을 할 수 있기 때문에 DB에서 사용하는 자료구조중 한 종류입니다.
B트리는 하나의 노드에 다수의 정보를 저장할 수 있습니다. 최대 M개의 자식을 가질 수 있는 트리를 M차 B트리라고 하며, 다음과 같은 특징을 갖습니다.
- 노드는 최대 M개부터 M/2개 까지의 자식을 가질 수 있습니다.
- 노드에는 최대 M-1개부터 M/2 -1 개의 키가 포함될 수 있습니다.
- 노드의 키가 x개 라면 자식의 수는 x + 1개입니다.
- 최소 차수는 자식수의 하한 값을 의미하며, 최소 차수가 t 라면 M=2t-1을 만족합니다.
(최소 차수가 2라면 3차 B트리 이며, key의 하한은 1개 입니다.)
이진 검색 트리처럼 각 key들의 왼쪽 자식들은 항상 key보다 작은 값을 오른쪽은 큰 값을 갖습니다.
Key 검색과정
: 루트노드에서 시작하여 하향식으로 검색을 수행합니다.
- 루트노드에서 시작하여 key들을 순회하면서 검사합니다.
1-1. 만일 k와 같은 key를 찾았다면 검색을 종료합니다.
1-2. 검색하는 k값을 찾지 못했다면 key들과의 대소관계를 비교합니다. key들 사이에 k가 들어간다면 해당 key들 사이의 자식 노드로 내려갑니다. - 해당 과정을 리프노드에 도달할 때까지 반복합니다. 만일 리프노드에서 k와 같은 key가 없다면 검색을 실패합니다.
Key 삽입과정
: Key를 삽입하기 위해서는 요소 삽입에 적절한 리프 노드를 검색하고, 필요한 경우 노드를 분할해야 합니다. 상향식으로 이루어 진다고 볼 수 있습니다.
- 트리가 비어있으면 루트 노드를 할당하고 k를 삽입합니다. 만일 루트노드가 가득 찼다면, 노드를 분할하고 리프노드가 생성됩니다.
- 삽입하기에 적절한 리프노드를 찾아 k를 삽입합니다. 삽입 위치는 노드의 key값과 k값을 검색 연산과 동일한 방법으로 비교하면서 찾습니다.
이후 두가지 케이스로 나뉘게 됩니다.
Case 1. 분할이 일어나지 않는 경우
: 리프노드가 가득차지 않았다면, 오름차순으로 k를 삽입합니다.
Case2. 분할이 일어나는 경우
: 리프노드에 key노드가 가득 찬 경우, 노드를 분할해야 합니다.
- 오름차순으로 요소를 삽입합니다. 노드가 담을 수 있는 최대 key 개수를 초과하게 됩니다.
- 중앙값에서 분할을 수행합니다. 중앙값은 부모 노드로 병합하거나 새로 생성됩니다. 왼쪽 키들은 왼쪽 자식으로, 오른쪽 키들은 오른쪽 자식으로 분할됩니다.
- 부모노드를 검사해서 또 다시 가득 찼다면, 다시 부모노드에서 위 과정을 반복합니다.
Key 삭제 과정
: 요소를 삭제하기 위해선 1. 삭제할 키가 있는 노드 검색, 2. 키 삭제, 3. 필요한 경우 트리 균형 조정을 해야합니다.
- inroder predecessor : 노드의 왼쪽 자손에서 가장 큰 key
- inorder successor : 노드의 오른쪽 자손에서 가장 작은 key
- parent key : 부모 노드의 key들 중 왼쪽 자식으로 본인 노드를 가지고 있는 key 값입니다. 단, 마지막 자식노드의 경우에는 부모의 마지막 key 입니다.
Case 1. 삭제할 key k가 리프에 있는경우
1-1) 현재 노드의 key 개수가 최소 key 개수보다 크다면, 다른 노드들에 영향없이 해당 k를 단순 삭제
1-2) 왼쪽 또는 오른쪽 형제 노드의 key가 최소 key 개수 이상이라면
1. 부모 key 값으로 k를 대체합니다
2. 최소키 개수 이상의 키를 가진 형제 노드가 왼쪽 형제라면 가장 큰 값을, 오른쪽 형제라면 가장 작은 값을 부모key로 대체합니다.
1-3) 왼쪽, 오른쪽 형제 노드의 key가 최소 key 개수이고, 부모노드의 key의 최소 개수 이상이면
1. k를 삭제한 후, 부모key를 형제 노드와 병합합니다.
2. 부모 노드의 key 개수를 하나 줄이고, 자식 수 역시 하나를 줄여 B-Tree를 유지합니다.
1-4) 자신과 형제, 부모 노드의 key 개수가 모드 최소 key 개수라면, 부모 노드를 루트노드로 한 부분 트리의 높이가 줄어드는 경우이기 때문에 재 구조화의 과정이 일어난다. case 3의 2번 과정으로 이동.
Case 2. 삭제할 key k가 내부 노드에 있고, 노드나 자식에 키가 최소 키수 보다 많을 경우
- 현재 노드의 inorder predecessor 또는 inorder successor와 k의 자리를 바꿉니다.
- 리프노드의 k를 삭제하게 되면, 리프노드가 삭제 되었을 때의 조건으로 변합니다. 삭제한 리프 노드에 대해서 case 1 조건으로 이동합니다.
Case3. 삭제할 key k가 내부 노드에 있고, 노드에 key 개수가 최소 key 개수만큼, 노드의 자식 key 개수도 모두 최소 key 개수인 경우
삭제할 key k가 있는 노드도 최소, 자식 노드들도 최소의 key 개수를 가지므로, k를 삭제하면 트리의 높이가 줄어들어 재구조화가 일어나는 케이스입니다. 재구조화의 과정은 다음과 같습니다.
- k를 삭제하고, k의 양쪽 자식을 병합하여 하나의 노드로 만듭니다.
- k의 부모 key를 인접한 형제 노드에 붙입니다. 이후, 이전에 병합했던 노드를 자식 노드로 설정합니다.
- 해당 과정을 수행하였을 때 부모노드의 개수에 따라 이후 수행과정이 달라집니다.
3-1. 만일 새로 구성된 인접 형제노드의 key가 최대 key 개수를 넘어갔다면, 삽입연산의 노드 분할 과정을 수행합니다.
3-2. 만일 인접 형제노드가 새로 구성되더라도 원래 k의 부모 노드가 최소 key의 개수보다 작아진다면, 부모 노드에 대하여 2번 과정부터 다시 수행합니다.