データの整合性が保証されるデータベース

抄録

IRでは様々な形式のデータを扱っており、データベースのデータ整合性を担保することが難しいが、この問題は圏論的データベースを使うことで解決される。データベースが圏を構成するように作られた圏論的データベースでは、圏の性質からデータ整合性が保証されている。圏論を理解するのは難しいが、圏論的データベースは自然言語を用いて直観的に作成できる。圏論的データベースの簡便な作り方を紹介する。