原创 數據庫系統概論基礎篇——第4講 數據庫安全性
在第一講中已經講到，數據庫的特點之一是由數據庫管理系統提供統一的數據保護功能來保證數據的安全可靠和正確有效。數據庫的數據保護主要包括數據的安全性和完整性。本講主要介紹數據庫的安全性，第5講將討論數據庫的完整性。 4.1 數據庫安全
2020-06-23 02:30:30
原创 數據庫系統概論之系統篇——第10章 數據庫恢復技術
10.1 事務的基本概念 事務 所謂事務是用戶定義的一個數據庫操作序列，這些操作要麼全做，要麼全不做，是一個不可分割的工作單位。 事務的ACID特性 事務具有4個特性：原子性（Atomicity）、一致性（Consiste
2020-05-09 01:09:08
原创 SSM框架開發應用（三）——MyBatis環境搭建
MyBatis環境搭建 在MyEclipse中新建工程後，要使用MyBatis，需要做一下準備工作，如下圖所示： 一、下載所需的jar文件 MyBatis的官方網站是http://mybatis.org ，可以下載到最新Rele
2020-05-09 01:09:08
原创 SSM框架開發應用（五）——MyBatis-核心對象
MyBatis-核心對象 基於前面的學習，我們對MyBatis有了初步認識。 下面正式介紹一下MyBatis的三個基本要素： 核心接口和類； MyBatis核心配置文件（mybatis-config.xml）； SQL映射文件（
2020-05-09 01:09:08
原创 數據庫系統概論之系統篇——第11章 併發控制（鎖）
11.1 併發控制概述 把事務讀數據x記爲R(x)，寫數據x記爲W(x)。 併發操作帶來的數據不一致性包括丟失修改、不可重複讀和讀“髒”數據。 1. 丟失修改（lost update） 兩個事務T1和T2讀入同一數據並修改，T2提
2020-05-09 01:09:08
原创 數據庫系統概論之設計與應用開發篇——第6章 關係數據理論（範式理論）
本篇講解在開發應用系統時如何在已經選定的數據庫管理系統基礎上設計數據庫，以及如何基於數據庫系統編程。 本篇包括三章。 第6章關係數據理論，詳細講解關係規範化理論，它既是關係數據庫的重要理論基礎，也是數據庫設計的有力工具。規範化理論
2020-05-09 01:09:08
原创 SSM框架開發應用（二）——MyBatis框架介紹
MyBatis框架介紹 一、數據持久化概念 數據持久化是將內存中的數據模型轉換爲存儲模型，以及將存儲模型轉換爲內存中的數據模型的過程。 例如，文件的存儲、數據的讀取等都是數據持久化操作。 數據模型可以是任何數據結構或對象模型，存儲
2020-05-09 01:09:08
原创 SSM框架開發應用（六）——MyBatis-核心配置文件
MyBatis- 核心配置文件 在學習完MyBatis的核心對象之後，接下來我們學習它的核心配置文件（mybatis-config.xml）。 該文件配置了MyBatis的一些全局信息，包含數據庫鏈接信息和MyBatis運行時所需
2020-05-09 01:09:08
原创 離散數學之數理邏輯——第1章 命題邏輯基本概念
1.1 命題與聯結詞 命題與真值 可以判斷真假的陳述句稱爲命題。作爲命題的陳述句所表達的判斷結果稱爲命題的真值。真值爲真的命題稱爲真命題；真值爲假的命題稱爲假命題。任何命題的真值都是唯一的。 判斷給定句子是否爲命題，應該
2020-05-09 01:09:08
原创 離散數學之數理邏輯——第2章 命題邏輯等值演算
1. 等值式 定義2.1 設A,B是兩個命題公式，若A，B構成的等價式A<->B爲重言式，則稱A與B是等值的，記作A<=>B. <=>不是連接符，它是用來說明A與B等值的一種記法，因而它是元語言符號。 本書給出16組重要的等值式，
2020-05-09 01:09:08
原创 SSM框架開發應用（一）——框架技術
框架技術 一、爲什麼學習框架技術 使用框架構建項目與使用PPT模板製作PPT的原因一樣。當確定使用哪個技術框架後，就已經有了一個“半成品”，然後在這個半成品裏填上內容，工作就完成了。 框架技術的優勢如下： 1）不用再考慮公共問題，
2020-05-09 01:09:08
原创 SSM框架開發應用（四）——MyBatis框架的優缺點及其使用場合
通過前面的學習，瞭解了MyBatis框架，並學習瞭如何搭建MyBatis環境。接下來就根據上面的示例來對比JDBC，介紹一下MyBatis框架的優缺點。 MyBatis框架的優缺點及其使用場合 回顧DAO層代碼，以查詢用戶表記錄數
2020-05-09 01:09:08
原创 數據庫系統概論之系統篇——第9章關係查詢處理和查詢優化
9.1 關係數據庫系統的查詢處理 關係數據庫管理系統查詢處理可以分爲4個階段：查詢分析、查詢檢查、查詢優化和查詢執行。 查詢分析 對查詢語句進行掃描、詞法分析和語法分析。識別出語言符號，進行語法檢查和語法分析，判斷是否符合SQL
2020-05-09 01:09:08
原创 HTML 5(五)——HTML 5的多媒體支持
一、使用audio和video元素 二、使用JavaScript腳本控制媒體播放 1. HTMLAudioElement與HTMLVideoElement支持的方法 2. HTMLAudioElement與HTMLVideoEle
2020-05-01 18:12:17
原创 數據庫系統概論基礎篇——第5講 數據庫完整性
5.1 實體完整性 5.1.1 定義實體完整性 關係模型的實體完整性在CREATE TABLE中用PRIMARY KEY定義。對單屬性構成的碼有兩種說明方法，一種是定義爲列級約束條件，另一種是定義爲表級約束條件。對多個屬性構成的碼
2020-05-01 18:12:17