3. Bố cục của luận văn
3.3.2. Mô hình hệ thống
Tập dữ liệu thử nghiệm:
- 3 giao tác (trans1, trans2, trans3) khác nhau.
- 2 lịch (scheldule1, scheldule2) gồm nhiều giao tác và lịch khác nhau.
Kết quả thử nghiệm:
Mô hình thử nghiệm đã đáp ứng được yêu cầu ban đầu đề ra của luận văn. Thuật toán kiểm tra lịch/ giao tác cho kết quả nội dung chính xác
Một số giao diện của chương trình:
Hình 3.4: Giao diện lập lịch từ các giao tác LOCK/ UNLOCK
Chương trình trên được thực hiện như sau: +> Đếm số dòng trong giao tác
Hình 3.5: Giao diện xong lập lịch
Chương trình trên được thực hiện như sau: +> Vẽ các cung của đồ thị.
+> Đưa ra tiến trình của cung đồ thị.
Kịch bản 2: Dựa trên mô hình 2: Đọc và đọc & ghi, RLOCK/ WLOCK trước khi UNLOCK
Hình 3.11: Giao diện xong lập lịch
KẾT LUẬN
Hiện nay việc quản lí khóa chốt là một trong các chương trình ứng dụng đóng vai trò hết sức quan trọng trong hầu hết các ứng dụng trong cơ sở dữ liệu phân tán. Chính vì vậy mà thông qua việc nghiên cứu các thuật toán trên, luận văn phân tích đánh giá ưu nhược điểm của các kỹ thuật đã có, từ đó làm cơ sở để xây dựng thuật toán quản lý khóa chốt đơn giản dễ cài đặt và khắc phục được một số nhược điểm của các thuật toán trước đây và thiết kế mô hình quản lý khóa phục vụ tối đa nhu cầu người sử dụng.
Đồng thời luận văn cũng tìm hiều một số thuật toán phân tích lịch, lập lịch.
Trên cơ sở đó luận văn đã trình bày và đạt được các kết quả chính như sau:
1. Nghiên cứu tài liệu, hệ thống lại các vấn đề sau: - Kiểm tra tính hợp lệ, hai pha của giao tác và lịch - Phân tích lịch và lập lịch từ các giao tác và lịch 2. Đề xuất và trình bày các thuật toán sau: - Đề xuất thuật toán lập lịch là trộn 2 lịch một.
- Trình bày các thuật toán dựa trên các giao tác và lịch.
3. Thử nghiệm và cài đặt các thuật toán dựa trên các giao tác và lịch
Hướng phát triển của luận văn:
Luận văn đã trình bày thuật toán quản lý khóa chốt và đề xuất thuật toán lập lịch và phân tích lịch đơn giản, tuy nhiên, thuật toán đề xuất vẫn còn tồn tại một vài vấn đề chưa được giải quyết đó là:
Thứ nhất là kiểm tra giao tác hai pha vẫn còn bị hạn chế chưa khắc phục được hết. Thứ hai là lập lịch trước khi phân tích lịch
Vì thời gian nghiên cứu có hạn, trình độ hiểu biết của bản thân học viên còn nhiều hạn chế nên bài luận văn của học viên không tránh khỏi những thiếu sót, học viên rất mong nhận được sự góp ý quý báu của tất cả các thầy cô giáo để học viên có thể hoàn chỉnh hơn nữa luận văn.
TÀI LIỆU THAM KHẢO Tiếng Việt
[1] Vũ Đức Thi, Cơ sở dữ liệu: Kiến thức và thực hành, NXB Thống Kê, Hà Nội, 2011.
[2] Lê Tiến Vương, Nhập môn cơ sở dữ liệu quan hệ, Tái bản lần thứ 4, NXB Thống Kê, Hà Nội, 2010.
[3] Nguyễn Bá Tường, Nhập môn cơ sở dữ liệu phân tán NXB Khoa học và kỹ thuật, Hà Nội, 2010.
Tiếng Anh
[4] Garcia-Molina H., Ullman J., Widom J., Database System: The Complete Book, Prentice Hall, 2012.
[5] Maier D., The Theory of Relational Database, Computer Science Press, Rockville, Md, 2009.
[6] M. Tamer Ozsu and Patricle Valduriez, “Pirinciples of Distributed Database System”, Second Edition, New Jersy, USA, 2009.
[7] Ullman, J., Principles of Data-base and Knowledge-base Systems, (Second Edition), Computer Science Press, Potomac, Md., 2011, (Có bản dịch tiếng Việt của Trần Đức Quang).