WEKO3
アイテム
リレーショナルデータモデル演習システムのための正規化問題生成機能の開発と運用評価
https://ipsj.ixsq.nii.ac.jp/records/177101
https://ipsj.ixsq.nii.ac.jp/records/177101701160d2-7f67-475a-9100-17106e42a226
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-CE17138017.pdf (803.8 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-02-04 | |||||||||||
| タイトル | ||||||||||||
| タイトル | リレーショナルデータモデル演習システムのための正規化問題生成機能の開発と運用評価 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 現在，茨城大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 現在，株式会社システムズ | ||||||||||||
| 著者所属 | ||||||||||||
| 現在，北茨城市 | ||||||||||||
| 著者名 |
岡田, 信一郎
× 岡田, 信一郎
× 阿部, 孝昭
× 山縣, 大輔
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 現在，情報分野を専門とする大学生にとってリレーショナルデータベースの基礎理論となるリレーショナルデータモデルの習得は必須といえる．しかし，この理論，とくに正規化を苦手とする学生は多い．そこで筆者らは演習を数多く行うことでリレーショナルデータモデルを習得するための 「リレーショナルデータモデル演習システム」 を開発し，運用評価を行ってきた．このシステムはリレーショナル代数および正規化に関する問題を自動生成し，学習者解の正誤を判定する機能を備えており，学習者は多数の問題による演習を行うことができる．今回はこのシステムの開発 ・ 改良と 3 年間の運用評価の結果，とくに正規化問題生成機能に対する (1) 関数従属性の厳密化と (2) 正規形を問う問題の追加の2点の改良とその結果について報告する． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10096193 | |||||||||||
| 書誌情報 |
研究報告コンピュータと教育（CE） 巻 2017-CE-138, 号 17, p. 1-7, 発行日 2017-02-04 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8930 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
