Đang tải... (xem toàn văn)
HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO PHÂN TÍCH BÁO CÁO PHÂN TÍCH HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU d BÁO CÁO ĐỒ ÁN THỰC HÀNH MÔN HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU GVHD MỤC LỤC HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO ĐỒ ÁN BÁO[.]
d BÁO CÁO ĐỒ ÁN THỰC HÀNH MÔN HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU GVHD: ……… BÁO CÁO ĐÔ ÁN HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU MỤC LỤC Đại học Khoa học Tự nhiên | Khoa Công nghệ Thông tin HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO ĐỒ ÁN THƠNG TIN NHĨM STT MSSV HỌ TÊN Đại học Khoa học Tự nhiên | Khoa Công nghệ Thông tin BÁO CÁO ĐỒ ÁN HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BẢNG THIẾT KẾ THỰC THỂ KẾT HỢP I Lược đồ thực thể kết hợp II Ràng buộc liệu bổ sung III Các điểm đặt biệt mơ hình thực thể kết hợp [Với thuộc tính tình trạng – ghi có tình trạng gì? Hoặc thuộc tính gây khó hiểu cần giải thích chi tiết đây] Đại học Khoa học Tự nhiên | Khoa Công nghệ Thông tin HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO ĐỒ ÁN XÁC ĐỊNH CHỨC NĂNG HỆ THỐNG VÀ THỦ TỤC STORE PROCEDURE I Các chức hệ thống Chức cho toàn phân hệ STT ALL1 Chức Đăng nhập Mô tả hoạt động Đăng nhập vào hệ thống … dựa vào tài khoản mật Phân hệ quản trị viên (admin) STT AD1 Chức Mô tả hoạt động Tạo tài khoản đăng Admin tạo tài khoản đăng nhập sẵn cho … theo … quy nhập tắc dành cho mật khởi tạo Phân hệ … STT Chức Mô tả hoạt động Phân hệ … STT Chức Mô tả hoạt động Đại học Khoa học Tự nhiên | Khoa Công nghệ Thông tin BÁO CÁO ĐỒ ÁN II HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU Thủ tục store procedure STT Tên thủ tục sp_DangNhap Input User matkhau Output True or false III Nội dung thực Kiểm tra thông tin User matkhau, sau xác thực thơng báo lỗi Chức ALL1 Xác định tình tranh chấp Danh sách tình tranh chấp đồng thời STT Chức Người dùng Thủ tục tham gia Đại học Khoa học Tự nhiên | Khoa Công nghệ Thông tin Chức Người dùng Thủ tục tham gia Lỗi tranh chấp Ghi HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO PHÂN TÍCH Tình tranh chấp đồng thời - Sinh viên thực hiện: … ERR01: Dirty read T1 (User = quản lý): thực thêm thông tin chuyến xe vào ngày A T2 (User = tổ trưởng): thực thống kê số chuyến xe thực ngày A Input: … Output: …… sp_Them1ChuyenXe SET TRANSACTION ISOLATION LEVEL ………………………… BEGIN TRAN B1: Kiểm tra thông tin (1) …… IF EXISTS (SELECT * FROM A WHERE A.a=@a) BEGIN … END B2: Kiểm tra thông tin (2) …… IF EXISTS (SELECT * FROM ChuyenDi WHERE A.a=@a) BEGIN … END B3: Thêm thông tin vào bảng Chuyến Đi …… INSERT INTO A … B4: Thêm thông tin vào bảng A…… INSERT INTO A… WAITFOR DELAY '00:00:20' Khóa sp_ThongKeChuyenXe-CoDieuKien Input: Output: SET TRANSACTION ISOLATION LEVEL UNREPEATEABLE READ R(A) //Xin khoá đọc bảng A với đk… R(ChuyenDi) //Xin khoá đọc bảng A với đk… X(ChuyenDi) X(A) BEGIN TRAN B1: Kiểm tra thông tin (1) …… IF EXISTS (SELECT * FROM A WHERE A.a=@a) BEGIN Khóa R(A) //Khơng cần xin khoá Đại học Khoa học Tự nhiên | Khoa Cơng nghệ Thơng tin BÁO CÁO PHÂN TÍCH HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU END … B2: Thống kê Chuyến Xe SELECT… FROM ChuyenXe, A WHERE IF @error … //Khi insert đến bảng A: liệu bị lỗi, insert vào bảng A Điều dẫn đến toàn liệu bị ROLLBACK //Gợi ý: Khi exec store, đưa liệu cho insert bảng A bị lỗi: trùng khố chính, hay bị đụng ràng buộc trigger //Phải đưa tình ROLLBACK thực tế, muốn cho ROLLBACK tuỳ ý ROLLBACK Đại học Khoa học Tự nhiên | Khoa Cơng nghệ Thơng tin R(ChuyenDi) //Khơng cần xin khố COMMIT HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU BÁO CÁO PHÂN TÍCH Giải pháp khắc phục lỗi tranh chấp đồng thời - Sinh viên thực hiện: ………… ERR01: Dirty read T1 (User = quản lý): thực thêm thông tin chuyến xe vào ngày A T2 (User = tổ trưởng): thực thống kê số chuyến xe thực ngày A //Nêu rõ cách khắc phục… //Cụ thể khắc phục chỗ nào???? sp_Them1ChuyenXe sp_ThongKeChuyenXe-CoDieuKien Khóa Input: … Input: Output: …… Output: SET TRANSACTION ISOLATION LEVEL ………………………… BEGIN TRAN B1: Kiểm tra thông tin (1) …… IF EXISTS (SELECT * FROM A WHERE A.a=@a) BEGIN … END B2: Kiểm tra thông tin (2) …… IF EXISTS (SELECT * FROM ChuyenDi WHERE A.a=@a) BEGIN … END B3: Thêm thông tin vào bảng Chuyến Đi …… INSERT INTO A … B4: Thêm thông tin vào bảng A…… INSERT INTO A… WAITFOR DELAY '00:00:20' SET TRANSACTION ISOLATION LEVEL REPEATEABLE READ R(A) //Xin khoá đọc bảng A với đk… R(ChuyenDi) //Xin khoá đọc bảng A với đk… X(ChuyenDi) X(A) BEGIN TRAN B1: Kiểm tra thông tin (1) …… IF EXISTS (SELECT * FROM A WHERE Khóa R(A) //Không cần Đại học Khoa học Tự nhiên | Khoa Cơng nghệ Thơng tin BÁO CÁO PHÂN TÍCH HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU A.a=@a) BEGIN … END B2: Thống kê Chuyến Xe SELECT… FROM ChuyenXe, A WHERE IF @error … ROLLBACK Đại học Khoa học Tự nhiên | Khoa Cơng nghệ Thơng tin xin khố R(ChuyenDi) //Khơng cần xin khoá COMMIT