| 本科 | 選択・必修 | 開設時期 | 単位数 | 授業形態 | 担 当 | |||
| 情報電子 | 必修 | 4年 | 2 | 講義 | 義永常宏 | |||
| 【授業の概要】 情報技術の基盤の一つであるデータベース技術について、現在、主流となっているリレーショナルデータベースを中心に学習する。データベースシステムの内容は多岐・広範に渡るため、そのすべてを網羅することはできないが、特に、後にデータベースを使う、あるいは、設計するという立場からの必要となる基本・基礎事項を中心に学んでいく。 | ||||||||
| 【授業の進め方】 講義が主体であるので、理解を助けるために、各単元のはじめに配布する学習シートの重要項目を確認しながら、授業を進める。 | ||||||||
| 【授業計画】 | 【授業項目】 | 【内 容】 | ||||||
| 1 回 | データベースの基本概念（１） データベースとは何か |
データベースとは何か及びデータベースシステムにおけるデータ管理について学ぶ。（学習シート） | ||||||
| 2 回 | データベースの基本概念（２） データベース管理システム |
データを管理・運用するためのソフトウェアであるデータベース管理システムの主機能について学ぶ。 | ||||||
| 3 回 | データベースの基本概念（３） スキーマとインスタンス |
データベースにおけるスキーマとインスタンスについて学習する。また、データベースシステムの構成と利用についても触れる。 | ||||||
| 4 回 | リレーショナルデータモデル(1) データモデルとデータ構造 |
代表的なデータモデルを概説した後、現在、主流であるリレーショナルデータモデルについて説明する。特に、このモデルには、３年の「情報数学」での“関係（リレーション）”の概念が用いられていることに注意して欲しい。（学習シート） | ||||||
| 5 回 | リレーショナルデータモデル(2) 整合性制約 |
リレーショナルデータモデルにおける整合性制約について学ぶ。特に、“キー”の正しい理解が必要である。 | ||||||
| 6 回 | リレーショナル代数（１） 集合演算 |
リレーショナル代数の説明の後、その中の集合演算について学ぶ。（学習シート） | ||||||
| 7 回 | リレーショナル代数（２） 関係演算・関係完備 |
前回に続き、リレーショナル代数特有の関係演算について学んだ後、リレーショナル代数式及びリレーショナル完備について説明する。 | ||||||
| 8 回 | 中間試験 | 第１～７回に関する理解度をチェックする。 | ||||||
| 9 回 | 前期中間試験の解説及び ＳＱＬ（１） 背景、基本概念、データ定義 |
試験問題の解説の後、データベース言語ＳＱＬの背景や基本概念について述べ、さらに、ＳＱＬによるスキーマ定義について説明する。（学習シート） | ||||||
| 10 回 | ＳＱＬ（２） 問合せの基本形 |
ＳＱＬにおける問合せの基本形について学ぶ。 （学習シート） |
||||||
| 11 回 | ＳＱＬ（３） 集計関数・副問合せ |
集計関数を用いた問合せ及び副問合せについて学ぶ。 | ||||||
| 12 回 | ＳＱＬ（４） 副問合せ・集合演算 |
前回の続きとしての副問合せ及び集合演算について学習する。 | ||||||
| 13 回 | ＳＱＬ（５） データ更新・ビュー |
ＳＱＬにおけるデータ更新及びビューの概念とビューの更新問題について学習する。 | ||||||
| 14 回 | ＳＱＬ（６） 埋め込みＳＱＬ |
埋め込みＳＱＬについて学ぶ。 | ||||||
| 期末試験 | 第９～１４回についての理解をチェックする。 | |||||||
| 15 回 | 答案返却など | 前期末試験の解説を行う。 | ||||||
| 16 回 | データベース設計論（１） 実体関連モデル |
データベース設計の概略とその概念設計によく用いられる実体関連モデルについて解説する。（学習シート） | ||||||
| 17 回 | データベース設計論（２） 実体関連モデル・論理設計 |
前回に続き、実体関連モデルについて学んだ後、データベース設計における論理設計について学ぶ。 | ||||||
| 18 回 | データベース設計論（３） 更新不整合・無損失分解結合 |
更新不整合の問題とこれを回避するための無損失結合分解について学ぶ。（学習シート） | ||||||
| 19 回 | データベース設計論（４） 関数従属性 |
これから学ぶ高次正規化理論において、大変重要な意味を持つ関数従属性について定義する。 | ||||||
| 20 回 | データベース設計論（５） 分解 |
無損失結合分解可能であるための必要十分条件等について学習し、さらに従属性保存分解について学ぶ。 | ||||||
| 21 回 | データベース設計論（６） 正規形 |
最も基本である第３正規形について学び、その中間的存在である第２正規形について学ぶ。（学習シート） | ||||||
| 22 回 | データベース設計論（７） 高次正規形 |
ボイス･コッド正規形について学び、さらに高次の正規形を紹介すると共に正規化の考え方についてまとめる。 | ||||||
| 23 回 | 中間試験 | 第１６～２２回についての理解度をチェックする。 | ||||||
| 24 回 | 後期中間試験の解説及び データベースの障害回復（１） トランザクション |
後期中間試験問題を解説した後、データベースシステムにおけるトランザクションとは何かについて述べる。（学習シート） | ||||||
| 25 回 | データベースの障害回復（２） ＡＣＩＤ特性・状態 |
トランザクション処理において保障されるべきACID特性及びトランザクションの各状態について説明する。 | ||||||
| 26 回 | データベースの障害回復（３） 障害の分類 |
データベースにおける障害の分類とバッファを介したディスクへの読み書きについて確認する。（学習シート） | ||||||
| 27 回 | データベースの障害回復（４） 障害回復の基本・ログ |
データベースにおける障害回復の基本及びその回復によく用いられるログについて述べる。 | ||||||
| 28 回 | データベースの障害回復（５） ログ法 |
ログを用いた具体的な回復法について学習する。（学習シート） | ||||||
| 29 回 | データベースの障害回復（６） チェックポイント法 メディア障害回復法 |
ログ法を効率よく実行するためのチェックポイント法およびメディア障害における回復法を学ぶ。 | ||||||
| 期末試験 | 第２４～２９回についての理解度をチェックする。 | |||||||
| 30 回 | 答案返却など | 後期末試験問題の解説を行う。 | ||||||
| 【到達目標】 | 以下の正しい理解を到達目標とする：①リレーショナルデータベースにおける諸定義、②リレーショナルデータモデルとリレーショナル代数、③ＳＱＬによる基本操作、④設計論の流れと正規化の基本、及び⑤障害回復の基本的考え方と手法。 | 【徳山高専学習・教育目標】 | Ｃ１ | 【JABEE基準1(1)】 | ｄ-２a | |||
| 【評価法】 | 4回の試験で評価する。即ち、学年末の成績＝（前期中間＋前期末＋後期中間＋後期末）／４。 | |||||||
| 【テキスト】 | データベースシステム（北川博之著）昭晃堂 参考図書：リレーショナルデータベース入門（増永良文著）サイエンス社 データベース（西尾章次郎他共編）オーム社 | |||||||
| 【関連科目】 | 本 科：集合と論理（2年）、情報数学（3年）、 専攻科：知識データベース（2年） | |||||||