\begin{abstract}

Haskellは純粋関数型プログラミング言語である。
モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。
また、Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。
これは、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。

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

実装した並列データベースの読み込みと書き込みについて性能を計測し、読み込みに関して 98.96 \% という高い並列化率が確認でき、マルチコアプロセッサの性能を引き出すことができた。
また、掲示板ウェブアプリケーションを開発し、既存の Java の非破壊的木構造データベースとの比較をおこない、Java のおよそ 2倍の性能を確認することができた。


\end{abstract}