Luận Văn Thạc Sĩ Nghiên Cứu Và Xây Dựng Công Cụ Hỗ Trợ Mô Hình Hóa Hệ Thống Triggers Bằng Event -B

Nghiên Cứu Và Xây Dựng Công Cụ Hỗ Trợ Mô Hình Hóa Hệ Thống Triggers Bằng Event -B​

Triggers là các luật hoạt động trong hệ thống cơ sở dữ liệu thương mại như Orcacle, SyBase,…được hình thành trong cấu trúc Event - Condition -Action (ECA). Triggers được sử dụng thường xuyên và rộng rãi trong hệ thống cơ sở dữ liệu của nhiều ứng dụng để thực hiện các thao tác tự động và đảm bảo tính ràng buộc toàn vẹn. Trong một số cơ sở dữ liệu thương mại, triggers có hai loại: triggers DML và triggers hệ thống. Triggers DML được kích hoạt khi các sự kiện DELETING, UPDATING, INSERTING xuất hiện, còn triggers hệ thống giống như thủ tục lưu trữ có chứa các đoạn mã PL/SQL. Các đoạn mã này con người có thể đọc được và không có ngữ nghĩa hình thức. Vì vậy, chúng ta chỉ có thể kiểm chứng nếu trigger kết thúc hoặc xung đột với tính ràng buộc toàn vẹn sau khi thi hành nó hoặc kiểm tra từng bước một. Do đó mô hình hoá triggers bằng các phương pháp hình thức là hết sức cần thiết. Một số công trình đã cố gắng giải quyết vấn đề này bằng cách áp dụng các giải thuật tìm kiếm tính dừng hoặc kiểm chứng mô hình [4], [5]. Tuy nhiên, hầu hết các kết quả đều tập trung vào tính chất dừng, trong khi một số ít giải quyết cả hai tính dừng và ràng buộc toàn vẹn của hệ thống cơ sở dữ liệu. Hơn nữa, các phương pháp tiếp cận dường như rất phức tạp mà chúng ta không thể áp dụng vào trong phát triển cơ sở dữ liệu.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Hệ thống thông tin
• Người hướng dẫn khoa học: PGS. TS. Trương Ninh Thuận
• Tác giả: Nông Thị Oanh
• Số trang: 61
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2013

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1046006
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1