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

Đặ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. "Bất kỳ hệ vật chất nào nếu không tiếp nhận thêm năng lượng từ bên ngoài môi trường thì chiều biến đổi nó là tăng liên tục entropi (thông tin cấu trúc giảm dần) cho đến khi trình độ tổ chức suy giảm và tiến tới mất cấu trúc, thành một thứ đồng nhất rất ít biến đổi và vận động.". | Tạp chí Tin học và Đĩêu khiền học T. 20 s. 1 2004 263-273 A FORMAL SPECIFICATION OF THE CORRECTNESS CRITERIA FOR CONCURRENT EXECUTIONS OF A TRANSACTION SYSTEM IN REAL TIME DATABASES DOAN VAN BAN1 NGUYEN HUU NGU2 HO VAN HUONG3 1 Institute of Information Technology 2 Vietnam National University Hanoi 3 Governmental Cipher Department Hanoi Abstract. In this paper we present the correctness criteria for concurrent executions of a transaction system and a formal specification of the temporal consistency in Real Time Databases using Duration Calculus DC . We also give a formal verification of some conditions for maintaining the temporal consistency of the data. Tóm tắt. Trong bài báo chúng tôi 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. 1. INTRODUCTION In the past two decades the research in RTDBS has received a lot of attention 6 11 . It consists of two different important areas in computer science real time systems and database systems. Similar to conventional real time systems transactions in RTDBS are usually associated with time constraint . deadline. On the other hand RTDBS must maintain a database for useful information support the manipulation of database and process transactions 11 . RTDBS are used in a wide range of applications such as avionic and space air traffic control systems robotics nuclear power plants integrated manufacturing systems programmed stock trading systems and network management systems. The main goal of this paper is to formalise some aspects of RTDBS in particular the correctness criteria for concurrent executions of a transaction system using DC. This will allow us to verify the some conditions for maintaining the temporal consistency of the data using the proof system of the DC. The results of this paper is a part in our work. We .

• Tự động hoá
• hệ thống giao tác
• khoa học điều khiển
• hệ thống kỹ thuật
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• Hệ thống canh tác
• Giáo trình Hệ thống canh tác
• Hệ thống canh tác Phần 1
• Khái niệm hệ thống canh tác
• Yêu cầu của hệ thống canh tác
• Tài liệu nông nghiệp
• Bảo vệ thực vật
• Phương Pháp nghiên cứu hệ thống canh tác
• Chọn điểm nghiên cứu hệ thống canh tác
• Hệ thống canh tác Phần 2
• Khảo sát đặc điểm của vùng nghiên cứu
• Kỹ thuật canh tác
• Khoa học cây trồng
• Chọn nông dân hợp tác
• Nghiên cứu hệ thống canh tác
• Bài giảng Hệ thống canh tác
• đề cương Hệ thống canh tác
• Tiêu chuẩn chọn lựa giải pháp kỹ thuật
• Công nghệ thông tin
• Hệ thống truyền thông và máy tính
• Hệ thống chỉ huy tác chiến
• Hệ thống hỗ trợ chỉ huy tác chiến
• Giao thức IP
• Giáo trình Hệ thông canh tác bền vững
• Hệ thông canh tác bền vững
• Phát triển nông thôn
• Bài giảng Thiết kế và phát triển giao diện
• Phát triển giao diện
• Thiết kế giao diện
• Lỗi thiết kế hệ thống tương tác
• Thiết kế hệ thống tương tác
• Nguyên lý thiết kế hệ thống
• Tạp chí Khoa học
• Hệ thống chatbot
• Công tác học vụ
• Hệ thống hỗ trợ tư vấn
• Hệ thống giao tiếp với con người
• giáo trình hệ thống thông tin địa lý
• bài giảng hệ thống thông tin địa lý
• đề cương hệ thống thông tin địa lý
• tài liệu hệ thống thông tin địa lý
• hệ thống thông tin địa lý GIS
• kỹ thuật viễn thám
• xử lý ảnh
• quy hoạch đô thị
• Tóm tắt Luận văn Thạc sĩ
• Khoa học máy tính
• Mạng lưới giao thông có biến cố
• Hệ thống đa tác tử
• Ứng dụng của hệ đa tác tử
• Mô phỏng hệ thống giao thông
• Hoạt động sao chụp tác phẩm
• Hệ thống giáo dục
• Cấp phép sao chụp
• quyền tác giả
• Sao chép tác phẩm
• Quản lý tập thể quyền tác giả
• Thiết kế đối thoại
• Tương tác hệ thống
• Phân tích hệ thống thông tin
• Thiết kế hệ thống thông tin
• Bài giảng hệ thống thông tin
• Phân vùng chiến lược ra tiểu vùng sinh thái
• Tác động cách mạng công nghiệp
• Hệ thống giáo dục nghề nghiệp
• Ứng phó của hệ thống giáo dục nghề nghiệp
• Giáo dục nghề nghiệp
• Chất lượng đào tạo nghề nghiệp
• Hệ thống quản lý giám sát
• Hệ thống cảnh báo sớm sụt trượt
• Hệ số ổn định mái taluy
• Mô hình SEEP/W
• Hiện tượng sạt trượt đất
• Hệ thống giáo dục Australia
• Tăng cường hợp tác quốc tế
• Hợp tác quốc tế bậc phổ thông
• Chương trình đào tạo Australia
• Hợp tác giáo dục Việt Nam và Australia
• Giao thông đô thị
• Mô phỏng giao thông
• Quản lý giao thông
• Mô hình xe bám xe
• Hệ thống truyền lực
• Giáo trình kỹ thuật
• Kỹ thuật xúc tác
• Thiết kế cơ khí
• Hệ thống ma sát
• Hệ thống bôi trơn
• Ăn mòn kim loại
• Phản ứng xúc tác đồng thể
• Giáo trình Bảo dưỡng gầm máy lu
• Thiết bị công tác máy lu
• Cấu tạo máy lu
• Hệ thống di chuyển máy lu
• Bảo dưỡng thiết bị công tác máy lu
• Bảo dưỡng hệ thống lái máy lu
• Hệ thống truyền lực máy lu