Đặ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
Phụ đề
LATS Toán học: 1.01.10
Tác giả
Hồ Văn Hương
Khu vực
Hà Nội
Nơi xuất bản
Đại học Khoa học Tự nhiên
Năm xuất bản
2004
Số trang
103tr.
Ngôn ngữ
Tiếng Việt
Từ khóa
Cơ sở dữ liệu, Ứng dụng, Toán tin
Tóm tắt
Xây dựng mô hình hình thức cơ sở dữ liệu thời gian thực. Đặc tả hình thức điều kiện đúng cho thực hiện song song của hệ thống giao tác trong cơ sở dữ liệu thời gian thực. Kiểm chứng hình thức một số điều kiện để duy trì tính nhất quán của dữ liệu và những
Bánh xe lăn, phím mũi tên, PgUp, PgDn, Home, End để di chuyển trang. Phím +, ‒ trên bàn phím số để phóng to/thu nhỏ trang.