Các phương pháp biến đổi hệ tuần tự thành hệ song song và ứng dụng trong kỹ thuật phần mềm và truyền tin bằng máy vi tính. Một vài vấn đề về phụ thuộc logic trong cơ sở dữ liệu quan hệ và độ phức tạp otomat của biến thức chính quy suy rộng
/ Đặng Huy Ruận, PTS, PTS (chủ nhiệm đề tài)
, Hoàng Chí Thành, PTS; Lê Đức Minh; Vũ Ngọc Loan.
- Hà nội :
Trường ĐH Tổng hợp Hà Nội, 90 Nguyễn Trãi, Đống Đa, Hà nội
, 1995.
- 50
|
Đối với các phương pháp biến đổi hệ tuần tự thành hệ song song đề tài đã xây dựng được phương pháp biến đổi hệ tuần tự thành hệ song song, để biến đổi việc xử lý thông tin từ đơn lẻ tại mỗi thời điểm chuyển sang khả năng xử lý thông tin nhiều chiều về vấn đề phụ thuộc logic trong cơ sở dữ liệu, đề tài đã khẳng định được đối với một tập các quan hệ phụ thuộc Boolean tổng quát cho trước có tồn tại quan hệ arcmstrong hay không. Đối với các siêu ngôn ngữ đề tài đã xây dựng được các dãy biểu thức chưc chính suy rộng, mà các otomat đơn định đoán nhận các siêu ngôn ngữ do các biểu thức này xác định đòi hỏi một số trạng thái đủ lớn
|