• Luận văn
  • Ký hiệu PL/XG: 005.74 Đ312L
    Nhan đề: Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối :

DDC 005.74
Tác giả CN Đinh, Thị Lực
Nhan đề Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối :Luận văn thạc sĩ Máy tính /Đinh Thị Lực ; Trịnh Đình Thắng (hướng dẫn khoa học)
Thông tin xuất bản H. :Trường Đại học Sư phạm Hà Nội 2 [phát hành],2014
Mô tả vật lý 62tr. ;29cm +
Phụ chú ĐTTS ghi: Bộ Giáo dục và Đào tạo. Trường Đại học Sư phạm Hà Nội 2
Tóm tắt Nghiên cứu về các phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối như suy dẫn theo tiên đề, suy dẫn theo quan hệ, định lí các phép suy dẫn tương đương
Từ khóa tự do Mô hình dữ liệu dạng khối
Từ khóa tự do Phép suy dẫn
Từ khóa tự do Phụ thuộc hàm
Tác giả(bs) CN Trịnh, Đình Thắng,
Địa chỉ 100Kho Luận văn(1): LV01404
00001020nam a2200265 4500
00123510
0022
004TVSP2150023583
008150909s2014 vm| vie
0091 0
039|a20210122202543|blibol55|y20150909092600|ztrangdt
041|avie
044|avm
08214|a005.74|bĐ312L
1001|aĐinh, Thị Lực
24510|aPhép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối :|bLuận văn thạc sĩ Máy tính /|cĐinh Thị Lực ; Trịnh Đình Thắng (hướng dẫn khoa học)
260|aH. :|bTrường Đại học Sư phạm Hà Nội 2 [phát hành],|c2014
300|a62tr. ;|c29cm +|e01 bản tóm tắt + 01 đĩa
500|aĐTTS ghi: Bộ Giáo dục và Đào tạo. Trường Đại học Sư phạm Hà Nội 2
520|aNghiên cứu về các phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối như suy dẫn theo tiên đề, suy dẫn theo quan hệ, định lí các phép suy dẫn tương đương
653|aMô hình dữ liệu dạng khối
653|aPhép suy dẫn
653|aPhụ thuộc hàm
70011|aTrịnh, Đình Thắng,|eHướng dẫn khoa học
852|a100|bKho Luận văn|j(1): LV01404
890|a1|b0|c1|d2
915|aKhoa học máy tính
Dòng Mã vạch Nơi lưu Chỉ số xếp giá Loại tài liệu Bản sao Tình trạng Thành phần Đặt mượn
1 LV01404 Kho Luận văn 005.74 Đ312L Luận án, luận văn 1