BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ

Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  17,553,035
  • Kết quả thực hiện nhiệm vụ

96-0229

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

Trường ĐH Tổng hợp Hà Nội, 90 Nguyễn Trãi, Đống Đa, Hà nội

Bộ Giáo dục và Đào tạo

Bộ

Đặng Huy Ruận, PTS, PTS

Hoàng Chí Thành, PTS, Lê Đức Minh, Vũ Ngọc Loan

Kỹ thuật điện, kỹ thuật điện tử, kỹ thuật thông tin

1993

1995

1995

Hà nội

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

Phần mềm, Kỹ thuật phần mềm, Máy vi tính, Biến thức chính quy suy rộng

24 Lý Thường Kiệt, Hà Nội

2038