Phụ thuộc Boole dương theo nhóm bộ

Chỉ số đề mục

28.15

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

Khoa học máy tính và thông tin

Dạng tài liệu

Tác giả

Nguyễn Xuân Huy, Tống Sĩ Sơn⁽¹⁾

Nhan đề

Phụ thuộc Boole dương theo nhóm bộ

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

2002

Số

3

Trang

222-225

ISSN

Từ khóa

Cơ sở dữ liệu quan hệ, Phụ thuộc Boole dương, Cặp bộ

Từ khóa tiếng anh

Tóm tắt

Giới thiệu khái niệm phụ thuộc Boole dương theo nhóm bộ như là một mở rộng tự nhiên của lớp phụ thuộc Boole dương tổng quát, trong đó thay vì xét các cặp bộ trong mỗi quan hệ ta xét một nhóm k bộ. Chứng minh rằng đối với phụ thuộc Boole dương theo nhóm bộ, ba loại suy dẫn sau đây là tương đương: suy dẫn theo các quan hệ, suy dẫn theo các quan hệ có không quá k bộ và suy dẫn theo logic mệnh đề

Tóm tắt tiếng anh

Kí hiệu kho

TTTTKHCNQG, CVv 127

File toàn văn

Xem toàn văn