データベースからデータウェアハウスを正しく構成するた めの考え方について ― 関手的データモデルのデータウェアハウ

関手的データモデルのデータウェアハウスへの応用

抄録

業務データベースからデータウェアハウスを構成するとき、所望するデータウェアハウスのテーブルの一意性制約などの整合性制約をどう担保するかというのはよく知られた問題である。また、データウェアハウスの多次元モデルが元のデータベースを正しく反映しているかを判別する方法については、まだわかっていないことが多い。この報告では、このような問題に対処するため、関手的データモデル（圏論的データベース理論）を活用した検証法の可能性について議論する。