\begin{abstract}

Haskellは純粋関数型プログラミング言語である。
モダンな型システムを持ち、型推論と型安全により信頼性の高いプログラムを書くことが可能である。
Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。

本研究では、Haskell を用いて並列に読み書き可能なデータベースの実装を行う。
並列にデータへアクセスする手法として、元となる木構造を変更することなく編集できる非破壊的木構造を用いる。
非破壊的木構造は、破壊的代入が存在しない Haskell と相性がよい。

実装した並列データベースの読み込みと書き込みについて性能を計測し、
読み込みに関して 12 コアで実行した場合、 1 コアで実行した場合と比較して、10.77 倍 という性能向上率が確認でき、
マルチコアプロセッサの性能を引き出すことができた。

また、実用的な用途で利用できるか示すために、Web 掲示板サービスを開発した。
既存の Java の非破壊的木構造データベースを用いた掲示板実装との比較をおこない、読み込みで 1.87 倍、書き込みで 2.3 倍の性能が確認できた。

\end{abstract}