A formalization of the Codd algebra operations in logic SHOIN(D)

MaRDI QIDQ446180zbMATH OpenFDO

Authors Ilya Anatol'evich Kazakov

Publication date 5 September 2012

Published in The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

zbMATH Keywords

databasedescription logicLibrettoobject theoryontology

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Databases as ontologies
• A logical-functional approach to data bases
• The relational model of data and cylindric algebras
• scientific article; zbMATH DE number 125213
• scientific article; zbMATH DE number 3874667

Cited in

(2)

• Databases as ontologies
• Formal Concept Analysis

This page was built for publication: A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)

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