Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\) - MaRDI portal

A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)

From MaRDI portal

Publication:446180

Jump to:navigation, search

zbMath1255.68151MaRDI QIDQ446180

Il'ya Anatol'evich Kazakov

Publication date: 5 September 2012

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

zbMATH Keywords

database description logic ontology Libretto object theory

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:446180&oldid=12321507"