<テクニカルレポート>
Informational representability for contexts in Dedekind categories

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 This paper presents a categorical formulation for association rules in information systems. MacCaull developed a tableaux style calculus that is sound and complete for the implication problem for asso...ciation rules. The proof of the completeness required an informational representability result, to go from frames to contexts with 1. To show the completeness for the implication problem for association rules in our categorical framework, we prove an informational representability result in Dedekind categories.続きを見る

本文情報を非表示

trcs208.ps gz 139 KB 25  
trcs208 pdf 190 KB 42  

詳細

レコードID
査読有無
関連情報
タイプ
登録日 2009.04.22
更新日 2018.08.31