Shougo Shimizu
生駒 : 奈良先端科学技術大学院大学, 2001.3
この資料には他にも巻号があります。
他の巻号を見る
1
R001707
2
禁帯出
2001
オブジェクト指向データベースにおける型検査問題の計算量
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2001年3月
学位記番号: 博第171号
報告番号: 甲第171号
授与年月日: 2001/03/23
学位の種類: 博士(工学)
英語 (eng)
清水, 將吾 (シミズ, ショウゴ)
complexity
type-consistency problem
object-oriented database
runtime type error
update schema
acyclic schema
complexitytype-consistency problemobject-oriented databaseruntime type errorupdate schemaacyclic schema
