Đăng ký

Đăng nhập

Hãy chọn một cách để đăng nhập

Facebook

Google

Zalo

Hoặc tiếp tục với email

Nhớ mật khẩu

Chưa có tài khoản? Đăng ký

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

61 1.1K 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

/ 61 trang

Thông tin tài liệu

. HỌC CÔNG NGHỆ NÔNG THỊ OANH 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 LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ. TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NÔNG THỊ OANH 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 Ngành: Công nghệ thông tin. trên, đƣợc sự định hƣớng và chỉ bảo của PGS.TS Trƣơng Ninh Thuận, tôi đã lựa chọn đề tài: 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” làm luận văn tốt nghiệp

Ngày đăng: 25/03/2015, 10:00

Xem thêm: 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, CHƯƠNG 1: TỔNG QUAN VỀ TRIGGER TRONG CƠ SỞ DỮ LIỆU, CHƯƠNG 2: NGÔN NGỮ EVENT – B, 4 Phân rã và kết hợp, CHƯƠNG 3: MÔ HÌNH HÓA VÀ KIỂM CHỨNG HỆ THỐNG TRIGGER BẰNG EVENT – B, CHƯƠNG 4: XÂY DỰNG CÔNG CỤ HỖ TRỢ MÔ HÌNH HÓA HỆ THỐNG TRIGGER BẰNG EVENT – B, TÀI LIỆU THAM KHẢO

Từ khóa liên quan

Mục lục

MỤC LỤC
DANH MỤC BẢNG BIỂU
DANH MỤC HÌNH VẼ
DANH MỤC TỪ VIẾT TẮT
MỞ ĐẦU
CHƯƠNG 1: TỔNG QUAN VỀ TRIGGER TRONG CƠ SỞ DỮ LIỆU
1.1. Khái niệm
1.2. Tạo trigger
1.3. Các thành phần của trigger
1.3.1. Sự kiện hoặc câu lệnh trigger
1.3.2. Điều kiện trigger
1.3.3. Hành động trigger
1.4. Phân loại trigger
1.5. Quản lý trigger
1.5.1. Phân biệt trigger cơ sở dữ liệu
1.5.2. Thay đổi trạng thái của trigger cơ sở dữ liệu
1.5.3. Hủy bỏ trigger
1.6. Khác nhau giữa các ràng buộc và triggers
CHƯƠNG 2: NGÔN NGỮ EVENT – B
2.1. Máy và Ngữ cảnh

Trích đoạn

Quá trình làm mịn

MÔ HÌNH HÓA HỆ THỐNG CƠ SỞ DỮ LIỆU

CÁC NGHIÊN CỨU LIÊN QUAN

THIẾT KẾ HỆ THỐNG

Tài liệu cùng người dùng

nghiên cứu tổng hợp các dẫn xuất của triterpenoit khung lupan ’’ thành “ nghiên cứu tổng hợp thuốc chữa bệnh tiểu đường glibenclamide và metformin hydrochloride nghiên cứu tổng hợp các dẫn xuất của triterpenoit khung lupan ’’ thành “ nghiên cứu tổng hợp thuốc chữa bệnh tiểu đường glibenclamide và metformin hydrochloride
50 610 1
Nghiên cứu đánh giá năng lực nghe tiếng Anh của sinh viên khối ngành không chuyên Anh (nghiên cứu trường hợp Trường Đại học Phương Đông Nghiên cứu đánh giá năng lực nghe tiếng Anh của sinh viên khối ngành không chuyên Anh (nghiên cứu trường hợp Trường Đại học Phương Đông
121 1.951 7
Nghiên cứu một số tác động của các yếu tố đến điểm tuyển sinh đại học ( Nghiên cứu tại trường ĐH Sài Gòn Nghiên cứu một số tác động của các yếu tố đến điểm tuyển sinh đại học ( Nghiên cứu tại trường ĐH Sài Gòn
133 295 0
Nghiên cứu thực trạng dạy tiếng Anh cho học sinh lớp 10 của Trường THPT Đồng Hỷ Nghiên cứu trường hợp điển hình Nghiên cứu thực trạng dạy tiếng Anh cho học sinh lớp 10 của Trường THPT Đồng Hỷ Nghiên cứu trường hợp điển hình
55 609 0
Nghiên cứu thực trạng dạy Tiếng anh theo đường hướng giao tiếp tại trường Cao đẳng Kinh tế-Tài chính Thái Nguyên Nghiên cứu trường hợp điển hình Nghiên cứu thực trạng dạy Tiếng anh theo đường hướng giao tiếp tại trường Cao đẳng Kinh tế-Tài chính Thái Nguyên Nghiên cứu trường hợp điển hình
63 615 0
Nghiên cứu dịch vụ chăm sóc khách hàng của Saigontourist (nghiên cứu trường hợp khách sạn Kim Đô Nghiên cứu dịch vụ chăm sóc khách hàng của Saigontourist (nghiên cứu trường hợp khách sạn Kim Đô
93 5.490 37

Tài liệu liên quan

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
61 1.078 0
DSpace at VNU: 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 DSpace at VNU: 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
3 150 0
Nghiên cứu và xây dựng công cụ hỗ trợ giáo viên trong giảng dạy trực tuyến Nghiên cứu và xây dựng công cụ hỗ trợ giáo viên trong giảng dạy trực tuyến
71 59 0
Nghiên cứu và xây dựng công cụ hỗ trợ học trực tuyến cho học sinh và sinh viên Nghiên cứu và xây dựng công cụ hỗ trợ học trực tuyến cho học sinh và sinh viên
69 23 0
Nghiên cứu và xây dựng công cụ hỗ trợ giáo viên trong giảng dạy trực tuyến Nghiên cứu và xây dựng công cụ hỗ trợ giáo viên trong giảng dạy trực tuyến
71 14 0
Nghiên cứu và xây dựng công cụ hỗ trợ học trực tuyến cho học sinh và sinh viên Nghiên cứu và xây dựng công cụ hỗ trợ học trực tuyến cho học sinh và sinh viên
69 24 0
Tìm hiểu và xây dựng công cụ hỗ trợ kiểm thử các hệ thống hướng dịch vụ Tìm hiểu và xây dựng công cụ hỗ trợ kiểm thử các hệ thống hướng dịch vụ
59 81 0
Tìm hiểu và xây dựng công cụ hỗ trợ kiểm thử các hệ thống hướng dịch vụ Tìm hiểu và xây dựng công cụ hỗ trợ kiểm thử các hệ thống hướng dịch vụ
56 97 0
SỰ CẦN THIẾT TIẾPTỤC ĐỔI MỚ - Đổi mới tổ chức và hoạt động Hội đồng dân tộc của Quốc Hội SỰ CẦN THIẾT TIẾPTỤC ĐỔI MỚ - Đổi mới tổ chức và hoạt động Hội đồng dân tộc của Quốc Hội
- 123
- 20.000
- 5.000
Hợp chất Typhotrilozi tA (RTtE3) - Nghiên cứu thành phần hóa học của cây bán hạ ba thùy (typhon Hợp chất Typhotrilozi tA (RTtE3) - Nghiên cứu thành phần hóa học của cây bán hạ ba thùy (typhon
- 123
- 20.000
- 5.000
Những giải phỏp về nguồn nhõn lực - Quy định rừ ràng hơn về thẩm quyền của cỏc cơ quan ban hành Những giải phỏp về nguồn nhõn lực - Quy định rừ ràng hơn về thẩm quyền của cỏc cơ quan ban hành
- 123
- 20.000
- 5.000

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

Thông tin tài liệu

Từ khóa liên quan

Mục lục

MỤC LỤC

DANH MỤC BẢNG BIỂU

DANH MỤC HÌNH VẼ

DANH MỤC TỪ VIẾT TẮT

MỞ ĐẦU

CHƯƠNG 1: TỔNG QUAN VỀ TRIGGER TRONG CƠ SỞ DỮ LIỆU

1.1. Khái niệm

1.2. Tạo trigger

1.3. Các thành phần của trigger

1.3.1. Sự kiện hoặc câu lệnh trigger

1.3.2. Điều kiện trigger

1.3.3. Hành động trigger

1.4. Phân loại trigger

1.5. Quản lý trigger

1.5.1. Phân biệt trigger cơ sở dữ liệu

1.5.2. Thay đổi trạng thái của trigger cơ sở dữ liệu

1.5.3. Hủy bỏ trigger

1.6. Khác nhau giữa các ràng buộc và triggers

CHƯƠNG 2: NGÔN NGỮ EVENT – B

2.1. Máy và Ngữ cảnh

Trích đoạn

Tài liệu cùng người dùng

Tài liệu liên quan