Informational representability for contexts in Dedekind categories

MaRDI QIDQ2844206zbMATH OpenFDO

Authors Hitomi Okuma, Wendy MacCaull, Yasuo Kawahara

Publication date 28 August 2013

Published in Bulletin of Informatics and Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Special categories (18B99)

Recommendations

• scientific article; zbMATH DE number 1735903
• Armstrong's inference rules in Dedekind categories
• Representation of algebraic domains by formal association rule systems
• scientific article; zbMATH DE number 741005
• Formal \(\mathcal{F}\)-contexts and their induced implication rule systems

Cited in

(3)

• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• scientific article; zbMATH DE number 1735903 (Why is no real title available?)
• Axiomatic description of categories of information transformers

This page was built for publication: Informational representability for contexts in Dedekind categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844206)