Về quan hệ Armstrong đối với phụ thuộc mạnh

Chỉ số đề mục

27.47

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

Toán học và thống kê

Dạng tài liệu

Tác giả

Vũ Đức Thi, Nguyễn Hoàng Sơn, Trịnh Văn Chiến⁽¹⁾

Nhan đề

Về quan hệ Armstrong đối với phụ thuộc mạnh

Nhan đề tiếng anh

Nguồn trích

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

Năm xuất bản

2005

Số

1

Trang

75-83

ISSN

1813-9663

Từ khóa

Quan hệ Amstrong, Phụ thuộc mạch, Sơ đồ mạch

Từ khóa tiếng anh

Tóm tắt

Đưa ra điều kiện cần và đủ để một quan hệ bất kỳ là quan hệ Armstrong của một sơ đồ mạnh. Một thuật toán hữu hiệu tìm một quan hệ Armstrong của một sơ đồ mạnh cho trước G=(U, S) cũng được đưa ra (nghĩa là Sr= S+, ở đây Sr là họ đầy đủ của các phụ thuộc mạnh của r, cả S+ là tập tất cả các phụ thuộc mạnh được suy dẫn từ S bởi hệ tiên đề, tiếp đó đánh giá thuật toán này. Độ phức tạp của thuật toán này là đa thức theo /U/ và /S/.

Tóm tắt tiếng anh

Kí hiệu kho

TTKHCNQG, CVv 127

File toàn văn

Xem toàn văn