
Một số phụ thuộc logic mở rộng trong mô hình dữ liệu dạng khối: LATS Máy tính: 9.48.01.01/ Trịnh Ngọc Trúc
Tác giả : Trịnh Ngọc Trúc
Năm xuất bản : 2022
Nơi xuất bản : H.
Mô tả vật lý : vii, 103 tr.: minh hoạ; 30 cm 2 tt
Số phân loại : 005.74
Chủ đề : 1. $2Bộ TK TVQGCơ sở dữ liệu. 2. $2Bộ TK TVQGLogic. 3. $2Bộ TK TVQGMô hình dữ liệu. 4. Dữ liệu dạng khối.
Thông tin chi tiết
Tóm tắt : | Nghiên cứu Hội suy dẫn của các công thức Boolean dương trong mô hình dữ liệu dạng khối; phụ thuộc Boolean dương đa trị, phụ thuộc Boolean dương theo nhóm bộ, phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối. Tìm ra các mệnh đề, định lý, tính chất liên đến các khái niệm được nghiên cứu |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
LA22.0099.1, LA22.0099.2, LA22.0099.3, LA22.0099.4 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-853512.html |