A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases

Chỉ số đề mục

50.05

Lĩnh vực nghiên cứu

Người máy và điều khiển tự động

Dạng tài liệu

Tác giả

Nhan đề

A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases

Nhan đề tiếng anh

Nguồn trích

TC Tin học và điều khiển học

Năm xuất bản

2003

Số

3

Trang

263-273

ISSN

Từ khóa

Hệ thống giao tác

Từ khóa tiếng anh

Tóm tắt

Sử dụng logic tính toán khoảng để đặc tả hình thức cá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. Sau đó, đặc tả và kiểm chứng hình thức một số điều kiện duy trì nhất quán thời gian của dữ liệu

Tóm tắt tiếng anh

Kí hiệu kho

TTTTKHCNQG, CVv 127

File toàn văn

Xem toàn văn