大隈ひとみ (Hitomi Okuma) - マイポータル

基本情報

Demonic orders and quasi-totality in Dedekind categories

京都大学数理解析研究所講究録 1318 102-112 2003年
A completeness theorem for extended order dependencies on relational attribute models in dedekind categories

H Okuma, Y Kawahara

RELATIONAL METHODS IN COMPUTER SCIENCE 2561 152-170 2002年
Informational representability for contexts in Dedekind categories

Okuma Hitomi, MacCaull Wendy, Kawahara Yasuo

Bulletin of Informatics and Cybernetics 34(1) 1-12 2002年
A completeness theorem for extended order dependencies on relational attribute models in dedekind categories

H Okuma, Y Kawahara

RELATIONAL METHODS IN COMPUTER SCIENCE 2561 152-170 2002年
INFORMATIONAL REPRESENTABILITY FOR CONTEXTS IN DEDEKIND CATEGORIES

Okuma Hitomi, MacCaull Wendy, Kawahara Yasuo

Bulletin of informatics and cybernetics 34(1) 1-12 2002年
Relational aspects of relational database dependencies

Okuma Hitomi, Kawahara Yasuo

Bulletin of Informatics and Cybernetics 32(2) 91-104 2000年
Relational aspects of relational database dependencies

Bulletin of Informatics and Cybernetics 32(2) 91-104 2000年