đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán

101 681 1
đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán

Đ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

Từ khóa liên quan

Mục lục

  • MỤC LỤC

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

  • DANH SÁCH HÌNH

  • MỞ ĐẦU

  • CHƯƠNG 1: CƠ SỞ DỮ LIỆU THỜI GIAN THỰC

  • 1.1 Cơ sở dữ liệu

  • 1.2 Điều khiển tương tranh trong CSDL

  • 1.3 Các đặc điểm dữ liệu và giao tác của CSDL thời gian thực

  • 1.4 Điều khiển tương tranh thời gian thực

  • 1.4.1 Giao thức R/ WPCP

  • 1.4.2 Giao thức BAP

  • 1.4.3 Giao thức PCP-DA

  • 1.5 Kết luận

  • CHƯƠNG 2: LOGIC TÍNH TOÁN KHOẢNG

  • 2.1 Logic khoảng

  • 2.1.1 Cú pháp

  • 2.1.2 Ngữ nghĩa

  • 2.1.3 Hệ thống chứng minh

  • 2.2 Logic tính toán khoảng

  • 2.2.1 Cú pháp

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

  • Đang cập nhật ...

Tài liệu liên quan