Đặ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

LATS Toán học: 1.01.10

Hồ Văn Hương

Hà Nội

Đại học Khoa học Tự nhiên

2004

103tr.

Tiếng Việt

Cơ sở dữ liệu, Ứng dụng, Toán tin

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