Đang tải... (xem toàn văn)
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
Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
Thông tin tài liệu
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
Từ khóa liên quan
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
CHƯƠNG 1: TỔNG QUAN VỀ TRIGGER TRONG CƠ SỞ DỮ LIỆU
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.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.6. Khác nhau giữa các ràng buộc và triggers
CHƯƠNG 2: NGÔN NGỮ EVENT – B
Trích đoạn
Tài liệu cùng người dùng
Tài liệu liên quan