Informational representability for contexts in Dedekind categories

zbMATH Open1270.68104MaRDI QIDQ2844206FDOQ2844206

Authors: Hitomi Okuma, Wendy MacCaull, Yasuo Kawahara 

Publication date: 28 August 2013

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• Title not available (Why is that?)
• 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)