無閉路オブジェクト指向データベーススキーマに対する型検査問題の計算量

無閉路オブジェクト指向データベーススキーマに対する型検査問題の計算量

ムヘイロ オブジェクト シコウ データベース スキーマ ニ タイスル カタケンサ モンダイ ノ ケイサンリョウ

横内淳史

生駒 : 奈良先端科学技術大学院大学, 2000.3

学位論文

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R001329

2

  • [IS]2000(12)

禁帯出

詳細情報

刊年

2000

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2000年3月

注記

学位記番号: 修第1342号

授与年月日: 2000/03/24

学位の種類: 修士(工学)

学生番号: 9851125

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

横内, 淳史 (ヨコウチ, ジュンジ)

件名

オブジェクト指向データベース

無閉路スキーマ

型検査問題

計算量