2015年9月15日
リレーショナルデータベースの仕組み (1/3)
(2015-08-19)by Christophe Kalenzaga
本記事は、原著者の許諾のもとに翻訳・掲載しております。
リレーショナルデータベースが話題に挙がるとき、私は何かが足りないと思わずにはいられません。データベースはあらゆるところで使われており、その種類も、小規模で便利なSQLiteからパワフルなTeradataまで様々です。しかし、それがどういう仕組みで機能しているかを説明したものとなると、その数はごくわずかではないでしょうか。例えば「リレーショナルデータベース 仕組み」などで検索してみてください。ヒット数の少なさを実感できると思います。さらにそれらの記事は短いものがほとんどです。逆に、近年流行している技術(ビッグデータ、NoSQL、JavaScriptなど)を検索した場合、それらの機能を詳しく説明した記事はたくさん見つかると思います。
リレーショナルデータベースは、もはや大学の授業や研究論文、専門書などでしか扱われないような古くて退屈な技術なのでしょうか?
私は開発者として、理解していないものを使うのは好きではありません。データベースが40年もの間使われ続けてきたのには、それ相応の理由があるはずで、毎日使っているこの不可思議なブラックボックスを本当に理解するために、私は長年にわたって多くの時間を費やしてきました。 リレーショナルデータベースは、便利で再利用可能な構想に基づいており 、非常に興味深いものです。これをお読みの皆さんが、データベースを理解したいと思いつつも時間がなかったり、どこから手を付けていいか分からずに手をこまねいていたりするような場合には、きっとこの記事に興味を持っていただけると思います。
記事のタイトルをご覧いただければ分かるように、 この記事の目的はデータベースの使い方を理解することではありません 。そのため、記事の内容を理解するには、 単純なJoinクエリや基本的なCRUDクエリを書けるくらいの知識は必要です 。ただし、 それさえ知っていれば 、あとは私の方で説明します。
最初に触れるのは、時間計算量といったコンピュータ科学に関するものです。こういった概念はちょっと…という人がいるのは分かっていますが、これをやっておかないと、データベースの明晰さは理解できません。なお、テーマが大きいので、不可欠と思われるもの、つまり、 データベースによるSQLクエリの処理方法に焦点を絞って進めます。データベースの背後にある基本の概念 を紹介するので、記事を最後までお読みいただければ、 実際に内部で何が起こっているのか、おおよその見当が付く ようになるでしょう。
この記事はとても長く、多くのアルゴリズムやデータ構造に関する技術的な内容が含まれているので、最後まで読むにはある程度の時間が必要です。一部の概念については理解するのが難しいかもしれません。その場合、そこはスキップしてください。それでも大枠は理解していただけると思います。
内容についてもう少し具体的に説明しますね。大まかに分けて記事には3つのパートがあります。
- 低レベルと高レベルのデータベースコンポーネントの概要
- クエリ最適化プロセスの概要
- トランザクションおよびバッファプール管理の概要
目次
基本から
ずっと(遙か彼方の)以前には、開発者はコード内の処理数をしっかりと把握する必要がありました。CPUやメモリの無駄遣いでコンピュータの動作を遅くしないよう、アルゴリズムやデータ構造を頭に入れていたのです。
このパートでは、アルゴリズムやデータ構造の概念のいくつかについて話していきたいと思います。データベースを理解する上で不可欠な要素ですからね。また、 データベースインデックス の考えについても触れるつもりです。
O(1)) vs O(n2)
今日、多くの開発者は時間計算量なんてものを気にしませんし、それはそれで間違ってはいません。しかし、大量のデータ(数千という話ではありません)を扱う場合やミリ秒を争うような場合、この概念を理解することは非常に重要です。そして、データベースというのは、上記の両方の状況を扱わなくてはなりません。話が長くなると退屈してしまうと思われるので、手短にその要旨をお伝えしますね。これは、後ほど出てくる コストベース最適化 の概念を理解するのに役立ちます。
時間計算量の概念
時間計算量は、所定のデータに対してどの程度の時間をアルゴリズムが要するかを見るために使われています。 この計算量を説明するためにコンピュータ科学者たちが使うのが、数学のO記法です。この表記は、所定の入力データに対してアルゴリズムに必要な処理数を説明する関数と共に使われます。
例えば、「このアルゴリズムはO(some_function())」と言う場合、それは所定のデータに対してアルゴリズムが完了するのに、some_function(所定データ量)の回数だけ処理が必要だということを意味します。
重要なのは データの量ではなく、 データが増えた時の処理数の増加の仕方です。 時間計算量は確実な処理数を出すものではありませんが、大体の見当は与えてくれます。
この図は、異なる時間計算量の漸次的変化を示しています。グラフ表示には対数目盛りを使っているので、データの数は1から10億まで急速に増加しています。ここで分かるのは以下のことです。
- O(1) または一定の計算量の場合は、一定のまま(そうでないなら、一定の計算量ではない)。
- O(log(n)) は、10億のデータ数でも低いまま。
- 最悪の計算量は O(n ² ) で、処理数は爆発的に上昇。
- その他、 2 つ の 計 算 量も急激に上昇。
時間計算量の例
データ量が少ない場合、O(1)とO(n ² )の違いはほんのわずかです。では、仮に2000要素の処理が必要なアルゴリズムがあるとしましょう。
- O(1)アルゴリズムは1回の処理が必要
- O(log(n))アルゴリズムは7回の処理が必要
- O(n)アルゴリズムは2000回の処理が必要
- O(n*log(n))アルゴリズムは14000回の処理が必要
- O(n ² )アルゴリズムは4000000回の処理が必要
O(1)とO(n ² )の差は大きい(4000000倍)ですが、最大でも2ミリ秒ほど余分にかかるだけで、瞬き程度の時間差と言えなくはありません。実際のところ、現在のプロセッサは 1秒で数百万の命令を処理 できます。パフォーマンスや最適化が多くのITプロジェクトでそれほど問題にならないのは、これが理由です。
それでもやはり、前述の通り膨大な量のデータがある場合、この概念を知ることは重要です。例えば先のアルゴリズムが、今回は1000000の要素(データベースとしてはさほどの大きさではありません)を処理するとしましょう。
- O(1)アルゴリズムは1回の処理が必要
- O(log(n))アルゴリズムは14回の処理が必要
- O(n)アルゴリズムは1000000回の処理が必要
- O(n*log(n))アルゴリズムは14000000回の処理が必要
- O(n ² )アルゴリズムは1000000000000回の処理が必要
私は数学専攻ではありませんが、O(n ² )アルゴリズムなら、1杯(ひょっとしたら2杯)のコーヒーブレイクは取れるでしょう。仮にデータ量があと1桁増えたら、長めの昼寝だって可能かもしれません。
踏み込んだ考察
参考までに。
- 優れたハッシュテーブル内の検索はO(1)で要素を取り出せる
- バランスのとれたツリー内の検索は、O(log(n))で結果が取り出せる
- 配列内の検索は、O(n)で結果が取り出せる
- 最良のソートアルゴリズムはO(n*log(n))の計算量を有する
- 悪いソートアルゴリズムはO(n ² )の計算量を有する
注:次のパートでは、これらのアルゴリズムやデータ構造を見ていきます。
時間計算量には複数のタイプがあります。
- 平均の場合のシナリオ
- 最良の場合のシナリオ
- 最悪の場合のシナリオ
時間計算量は往々にして、最悪の場合のシナリオであることが多いですね。
時間計算量についてのみ話していますが、計算量は以下の場合でも有効です。
- アルゴリズムのメモリ使用量
- アルゴリズムのディスクI/O使用量
もちろん、例えば次のようにn ² よりもひどい計算量もあります。
- n ⁴ :これはひどいです。以降で話すアルゴリズムの一部はこの計算量を有しています。
- 3 ^(n) :さらいひどいです。記事の中頃に出てくるアルゴリズムの1つは、この計算量を有しています(そして、これは本当に多くのデータベースで使われています)。
- nの階乗:データ量がどんなに少なくても、結果を得ることはできないでしょう。
- n ^(n) :この計算量に行き着いた場合、ご自身がITに向いているかどうか考えてみるべきかもしれません…
注:ここで提供したのはO記法の実際の定義ではなく、大枠のアイデアのみです。実際の定義については Wikipedia に詳しいので、そちらをご覧ください。
マージソート
集合をソートする必要がある場合、あなたなら何をしますか。sort()関数を呼び出す? 確かに、それもいいですね。でも、データベースの場合、そのsort()関数がどのように作用するかを理解していなければなりません。
優れたソートアルゴリズムはいくつかありますが、中でも特に重要なものを1つ取り上げてみます。それが マージソート です。今の時点ではなぜデータのソートが役に立つのか分からないかもしれませんが、クエリ最適化に関するパートを読めば理解できるようになるはずです。また、マージソートについて理解することは、後ほど出てくる マージ結合 と呼ばれるデータベースの一般的な結合処理を理解する上でも助けになるでしょう。
マージ
多くの便利なアルゴリズムと同様、マージソートもちょっとした仕掛けに基づいています。N/2のサイズのソート済み配列2つをN要素のソート済み配列にマージしても、N回の処理しか行われないのです。これが マージ と呼ばれます。
どういうことか、簡単な例で確認してみましょう。
上の図を見ると、最終的に8要素がソートされた配列を構築するには、4要素の2つの配列を1回反復すればいいことが分かります。4要素の2つの配列が既にソートされているからです。
- 1)2つの配列の現状の要素を比較します(最初は1番目から)
- 2)次に、最小の要素を取り、8要素の配列に置きます
- 3)最小の要素を取った配列の、次の要素に移ります
- 一方の配列の最後の要素に到達するまで1、2、3を繰り返します。
- もう一方の配列にある残りの要素を取り、8要素の配列に置きます。
これでうまくいくのは、4要素の2つの配列がソートされているため、これらの配列を「戻る」必要がないからです。
この仕掛けが分かったところで、マージソートの疑似コードを以下に示します。
array mergeSort(array a)
if(length(a)==1)
return a[0];
end if
//recursive calls
[left_array right_array] := split_into_2_equally_sized_arrays(a);
array new_left_array := mergeSort(left_array);
array new_right_array := mergeSort(right_array);
//merging the 2 small ordered arrays into a big one
array result := merge(new_left_array,new_right_array);
return result;
マージソートは問題を小さな問題に分解してからその結果を求めることで、最初の問題の結果を得ます(注:このようなアルゴリズムは分割統治法と呼ばれます)。このアルゴリズムが理解できなくても心配いりません。私も最初は理解できませんでしたから。少しでも理解の助けになるように、このアルゴリズムを2段階のアルゴリズムと考えてみましょう。
- 配列を小さい配列に分割する分割段階
- 小さい配列を(マージを使って)より大きな配列にまとめるソート段階
分割段階
分割段階では、配列が3段階で単一要素の配列に分割されます。何段階になるかはlog(N)で求められます(上の図の場合N=8、log(N)=3)。
どうしてそんなことが分かるのでしょうか。
私が天才だからです…というのは冗談で、数学のおかげです。各段階で、最初の配列のサイズが2で分割されていきます。つまり、配列を2で割れる回数が段階の数になります。これは対数の定義と完全に一致します(基数は2)。
ソート段階
ソート段階は、単一要素の配列から始まります。各段階でマージを複数回適用し、処理はN=8回になります。
- ステップ1ではそれぞれ2回の処理を要するマージが4回発生します
- ステップ2ではそれぞれ4回の処理を要するマージが2回発生します
- ステップ3では8回の処理を要するマージが1回発生します
log(N)段階あるため、 全体で必要な処理はN * log(N)回 です。
マージソートの威力
このアルゴリズムはなぜそんなに威力があるのでしょうか。
理由:
- 新しい配列を作成するのではなく入力配列を直接修正する方法で、メモリの使用量を削減することができる。
注:このようなアルゴリズムは in-placeアルゴリズム と呼ばれます。
- 大きなディスクI/Oペナルティを発生させることなく、ディスク領域と少量のメモリを同時に使用するための修正ができる。この場合、現在処理されている部分のみがメモリにロードされます。これは、100MB程度のメモリバッファでギガバイト単位のテーブルをソートしなければならない場合に重要です。
注:このようなアルゴリズムは 外部ソート と呼ばれます。
- 複数のプロセス/スレッド/サーバで実行するように修正できる。
例えば、分散マージソートは Hadoop (ビッグデータの代表的なフレームワーク)の重要な構成要素です。
- このアルゴリズムが「金の鉱脈」に変わる可能性がある(これは事実です)。
このソートアルゴリズムはほとんど全てのデータベースで使用されていますが、唯一のアルゴリズムではありません。より詳しく知りたい方は、データベースの一般的なソートアルゴリズムについて様々な考察が掲載されているこちらの 研究論文 をご覧ください。
配列、ツリー、ハッシュテーブル
時間計算量とソートの背景にある考え方について理解できたところで、3つのデータ構造について説明したいと思います。これらの構造は、 モダンなデータベースの根幹 となるので、理解しておきましょう。併せて、 データベースインデックス の概念についても紹介していきます。
配列
2次元配列はシンプルなデータ構造で、テーブルは配列として見ることができます。例えば以下のようなテーブルです。
この2次元配列は行と列からなるテーブルです。
- 各行は、対象者を表している。
- 列はその対象者の特徴を表している。
- 各欄には、ある型のデータが保存される(整数や文字列、日付など)。
データを保存し、視覚化できたのは素晴らしいことですが、特定の値を探すには不便です。
例えば、 UKで働く男性全員を探す場合 、UKと記述されている行がないか、全ての行を確認しなければなりません。つまり、 N回の処理 (Nは行の数) が必要になる ということです。これは悪いことではありませんが、他に速く処理できる方法はないのでしょうか? そこでツリーの登場です。
補足:最近のほとんどのデータベースでは、ヒープ表や索引構成表のように、効率的にテーブルを保存するための高度な配列が提供されています。しかし、列のグループ内にある特定の条件を素早く探し出すという問題については、何も解決していません。
ツリーとデータベースインデックス
バイナリサーチツリーは、特殊なプロパティを持つバイナリツリーで、各ノードのキーは以下の条件でなければいけません。
- 左側のサブツリーに保存されているどのキーよりも大きい。
- 右側のサブツリーに保存されているどのキーよりも小さい。
視覚的に見ていきましょう。
例題
注釈:全てのノードには、結びついたテーブル内の行に向かってポインタがある。
このツリーには、N=15個の要素があります。例えば、208を探し出したいとしましょう。
- まず、キーが136である根ノードから始めます。136は208より小さいので、ノード136の右側のサブツリーを見ます。
- 398は208より大きいので、ノード398の左側のサブツリーを見ます。
- 250は208より大きいので、ノード250の左側のサブツリーを見ます。
- 200は208より小さいので、ノード200の右側のサブツリーを見ます。ですが、200の右側にはサブツリーがありません。つまり 値が存在しないのです (値が存在するなら、200の右側にサブツリーがあるはずです)。
では次に、40を探してみましょう。
- 同様に、キーが136である根ノードから始めます。136は40より大きいので、ノード136の左側のサブツリーを見ます。
- 80は40より大きいので、ノード80の左側のサブツリーを見ます。
- 40は、私が探している40と等しいので、 ノードが存在している ことになります。このノードにある行ID(図には記載していません)を取り出し、その行IDのテーブルを確認します。
- 行IDが分かれば、テーブル上のどこにデータがあるのか正しい位置を知ることができ、簡単にデータを取り出すことができます。
結局、この2つの探索では、ツリー内で数回のレベルを踏むことになりました。
マージソートのパートを注意深く読んでいただければ、ここにlog(N)レベルがあることに気づくはずです。つまり、 探索のコストはlog(N)となります 。悪くないですね!
本来の問題へ
上記の探索は抽象的すぎるので、本来の問題に戻って考えてみましょう。退屈な整数はやめにして、前のテーブルで国名を表していた文字列を思い浮かべてください。テーブルに”国名”という列が含まれているツリーだと仮定します。
- UKで働く人は誰なのかを知りたいとします。
- その場合、UKを表すノードを得るためにツリーを見ます。
- そうすれば、”UKノード”の中にあるUK労働者の行の位置を探すことができます。
配列を直接使えば、この探索はN回の処理ではなく、log(N)回の処理で済むことになります。今、あなたが思い描いたことこそが データベースインデックス です。
キー(例えば列のグループ)を比較する関数があれば、列がどんなグループ(1つの文字列、1つの整数、2つの文字列、整数と文字列、日付など)であろうと、ツリーのインデックスを構築することが可能です。つまり、 キー間の順序 を決めることができるのです(これは、データベースのどんな基本的な型にも該当します)。
B+ツリーのインデックス
特定の値を1つ得るには、バイナリサーチツリーでも問題ありませんが、 2つの値の間にある複数の要素を得たい 場合は、 大きな 問題が生じます。この場合、ツリーにある各ノードを見なくてはならず、さらに、それが2つの値の間(例えば、ツリーの間順走査)なのかを確認しなくてはならないので、コストはO(N)となります。その上、ツリー全体を読み込まなければならないので、この処理はディスクI/Oに優しくありません。ですから、レンジクエリを効率的に行う方法を見つける必要があります。この問題を解決してくれるのが、B+ツリーです。最近のデータベースは従来のツリーから、修正版であるB+ツリーを使っており、以下の特徴を持っています。
- 最下層のノード(葉ノード)にのみ 情報 (結びついたテーブル上の行の場所) が保存される 。
- その他のノードは、 探索の間 、正しいノードに ルートする ためだけにある。
注釈:ノードには、結びついたテーブル内の行に向かってポインタがある。
また、各ノードはB+ツリー上の次の要素へのリンクも持っている。
見てお分かりの通り、さらに多くのノード(2倍)があります。追加されたノードである”ディシジョンノード”は、正しいノード(結びついたテーブル内の行の位置情報を保存する)を見つけてくれます。しかし、探索の時間計算量は依然としてO(log(N))です(階層は1つだけ増えます)。大きな違いは、 最下層のノードは、それぞれ次の要素にリンクしているということです 。
40と100の間の値を探すのであれば、B+ツリーでは以下のようになります。
- バイナリサーチツリーと同じように、40の値を探します(40が存在しない場合は、40以上の値で近いものを探します)。
- 100になるまで、次要素への直リンクを辿ることを繰り返して、要素を集めていきます。
例えば、M個の次要素が見つかり、ツリーにはN個のノードがあるとしましょう。バイナリサーチツリーと同じように、特定のノードを探索するコストは、log(N)です。ですが、このノードが得られれば、次要素の直リンクを使ってM回の処理を行い、M個の要素を得られます。 この場合の探索のコストは、M + log(N)回の処理 対 バイナリサーチでのN回の処理となります。また、ツリー全体を読み込む必要はありません(M + log(N)のノードだけでいいです)ので、ディスクの使用量が少なくて済みます。Mの値が小さくて(200行など)Nの値が大きい(100万行)場合、これは 大きな 違いになってきます。
しかし、ここで新たな問題があります(またです!)。データベース(ひいては、B+ツリーのインデックスに紐づいたデータベース)の行を追加したり削除したりする場合、以下のことに注意しなくてはいけません。
- B+ツリーにあるノード間の順序を保つ。そうしないと、ごちゃごちゃしたデータベースの中からノードを見つけることはできません。
- B+ツリーで、極力少ない数のレベルを保つ。そうしないと、時間計算量O(log(N))がO(N)になってしまいます。
言い換えると、B+ツリーは、それ自身で順序を保ち、バランスを取らなくてはいけないということです。有り難いことに、これは高性能な削除、または挿入の処理で可能となります。しかし、これにはコストが伴います。B+ツリーの挿入と削除は、O(log(N))です。 必要以上に多くのインデックスを使用することは賢明ではない 、と聞いたことがある人もいるかもしれませんが、これがその理由です。データベースは、インデックス毎のO(log(N))回の処理と併せて、テーブルのインデックスを更新する必要があるため、テーブル上での 行の挿入や更新、削除の速度が低下してしまう のです。それだけでなく、インデックスを追加するということは、 トランザクションマネージャ (この記事の最後のパートで説明します)に対する負荷が増すことにもなります。
詳細については、Wikipediaの 「B+木(ツリー)」 を参照してください。データベースへのB+ツリーの実装例は、MySQLのメイン開発者が投稿している こちらの記事 と こちらの記事 を読んでみるといいでしょう。どちらもinnoDB(MySQLのデータベースエンジン)がどのようにインデックスを扱うかについて言及しています。
補足:読者の方から教えていただいたのですが、低水準の最適化なので、B+ツリーは完全に平衡化されている必要があるそうです。
ハッシュテーブル
重要なデータ構造の最後は、ハッシュテーブルです。すぐに値を確認したいときなどにとても役立ちます。さらに、ハッシュテーブルを理解すれば、 ハッシュ結合 と呼ばれる一般的なデータベースの結合を理解するのが楽になります。このデータ構造は、また、内部のものを保存するデータベースとしても使われます( ロックテーブルやバッファプール など。こちらの概念については、後でご紹介します)。
ハッシュテーブルとは、キーを利用して要素を素早く探すデータ構造の1つです。ハッシュテーブルを構築するためには、次に挙げる項目を定義する必要があります。
- 要素に対応する キー 。
- キーに対応する ハッシュ関数 。キーに対して算出されたハッシュが、要素の位置情報(いわゆるバケット)を示します。
- キーを比較する関数。 適切なバケットが決まり次第、この比較を利用して、バケット内で探索している要素を見つけ出す必要があります。
簡単な事例
次のような図で例を見てみましょう。
このハッシュテーブルにはバケットが10個あります。面倒なので図には5個しか表しませんでしたが、実際はもう5個加わっている図を思い描いてください。ここで使ったハッシュ関数は、各キーのmodulo10、となります。分かりやすく言うと、各要素が分類されるバケットを決めるために、要素の下1桁の数値だけをキーとして使うことにします。
- 下1桁が0の場合、その要素はバケット0に分類する。
- 下1桁が1の場合、その要素はバケット1に分類する。
- 下1桁が2の場合、その要素はバケット2に分類する。
- 以下同様。
この例では、単純に2つの整数間の等しさを比べる比較関数を使います。
では、78という要素を探すとしましょう。
- ハッシュテーブルは、78に対するハッシュコードを8と算出。
- 比較関数がバケット8を探索。最初に見つかった要素は78。
- 78という要素を結果として返却。
- 探索にかかった処理数は2回のみ (ハッシュ値の算出に1回、バケット内で要素を探索するために1回)。
次は、59という要素を探してみましょう。
- ハッシュテーブルは、59に対するハッシュコードを9と算出。
- 比較関数がバケット9を探索。最初に見つかった要素は99。この数値は探している要素59と異なるので、要素99は正しい結果ではない。
- 同じ論理で探索を継続。2番目の要素は9、3番目の要素は79と続き、最後は29。
- 探索した要素は存在しないことが判明。
- 探索にかかった処理数は7回。
ハッシュ関数の利点
お分かりの通り、探索したい値によって処理数が変わります
仮にここでハッシュ関数を、キーのmodulo1000000(すなわち、下6桁)に変えてみます。この結果、バケット000059内には要素が何も含まれなくなるので、次の探索にかかる処理数は1回のみとなります。 優れたハッシュ関数は、含まれる要素数が最小となるバケットを生成します。こうした関数を見出すことこそが、まさに取り組むべき挑戦です。
今まで見てきた例は単純なものなので、簡単に優れたハッシュ関数を見出すことができます。しかし、キーが次に挙げるようなものである場合だと、適切なハッシュ関数を見つけることはより難しくなります。
- 1つの文字列(人物の名字、など)。
- 2つの文字列(人物の名字と名前、など)。
- 2つの文字列と1つの日付(人物の名字と名前、生年月日、など)。
- などなど
優れたハッシュ関数があれば、ハッシュテーブル内での探索にかかる処理はO(1)で完了します。
配列かハッシュテーブルか
では、なぜ配列を使わないのでしょうか。
大変良い質問です。
- ハッシュテーブルを使えば、バケット部分がディスク上に留まるので、探索の際に メモリにかかる負荷が半分となる。
- 配列には、メモリ上の連続した空き領域を使う必要がある。大きなテーブルを読み込む場合、 十分な連続領域を確保するのが大変難しくなる。
- ハッシュテーブルの場合、 使いたいキーを自分で選ぶことができる (国名に 加えて 人物の名字、など)。
より詳しい情報については、以前投稿した Java HashMap という記事をご参照ください。効率的なハッシュテーブルの実装について書いています。Javaの知識がなくても記事の概念は理解できると思います。
全体の概要
ここまでデータベース内部における基本的な構成要素について確認してきました。次は、一歩下がって全体像を見ていきましょう。
データベースとは、容易にアクセスし修正することができる情報の集合体です。ファイルの単純な固まりでも実は同じことができます。実際、SQLiteといったシンプルなデータベースなどは、ファイルの寄せ集め以外の何ものでもありません。とはいえ、SQLiteはよく考えて作り上げられたファイルの一群であり、次に挙げるようなことが可能になります。
- データの安全性と一貫性を確保するトランザクションの実行。
- 何百万というデータを扱う場面であっても迅速にデータを処理。
より一般的に見てみましょう。データベースとは、次のような図で表現できます。
このパートを書くために、書籍や論文をいくつか読んでみましたが、どれもデータベースをきちんと説明するには物足りないものでした。私自身も、この記事を構成するにあたって割り切った部分があります。ですから、データベースの組織付けや手順の名称についてはあまりフォーカスしないでください。重要なのは、ここに様々な構成要素がある、ということです。すなわち全体から見ると、 データベースは互いに作用する複数の構成要素に分割できる のです。
主要な構成要素:
- プロセスマネージャ :多くのデータベースは、管理が必要な プロセスやスレッドを共同で利用している 。さらに最近では、ナノ秒単位の処理を実現するために、オペレーティングシステム(OS)のスレッドではなく独自のスレッドを利用しているデータベースもある。
- ネットワークマネージャ :ネットワークI/Oは、特に分散データベースにおいて大きな課題である。そのために、いくつかのデータベースでは独自のマネージャを有している。
- ファイルシステムマネージャ:ディスクI/Oは、データベースにとっての最初のボトルネックである。 したがって、OSファイルシステムを完璧に操ることができ、場合によってはその代用にさえなるようなマネージャを有することが重要である。
- メモリマネージャ :ディスクI/Oにおけるペナルティを回避するために、大容量のRAMが必要となる。大容量のメモリを扱う場合には、有能なメモリマネージャが必要である。特に、同時にメモリを消費する大量のクエリがある場合には必須である。
- セキュリティマネージャ :ユーザの認証と権限を管理する。
- クライアントマネージャ :クライアント接続を管理する。
- その他
ツール:
- バックアップマネージャ :データベースを保存、復元する。
- リカバリマネージャ :クラッシュの後でも、 一貫性を保ったまま データベースを再起動する。
- モニタマネージャ :データベースのアクティビティログを記録し、またデータベースを監視するツールを提供する。
- アドミニストレーションマネージャ :メタデータ(テーブルの名前や構造など)を保存し、データベースやスキーマ、テーブルスペースといったものを管理するツールを提供する。
- その他
クエリマネージャ
- クエリパーサ :クエリが有効かどうかを確認する。
- クエリリライタ :クエリを事前に最適化する。
- クエリオプティマイザ :クエリを最適化する。
- クエリエグゼキュータ :クエリをコンパイルし実行する。
データマネージャ
- トランザクションマネージャ :トランザクションを処理する。
- キャッシュマネージャ :データを利用する前、またはディスクに書き込む前に、そのデータをメモリに格納する
- データアクセスマネージャ :ディスク上のデータにアクセスする。
この記事ではこれから、どのようにデータベースがSQLクエリを管理しているのか、次に挙げるプロセスの解説を通じて詳しく見ていきます。
- クライアントマネージャ
- クエリマネージャ
- データマネージャ(リカバリマネージャについても同時に取り上げます)。
株式会社リクルート プロダクト統括本部 プロダクト開発統括室 グループマネジャー 株式会社ニジボックス デベロップメント室 室長 Node.js 日本ユーザーグループ代表
- Twitter: @yosuke_furukawa
- Github: yosuke-furukawa