Tối ưu hóa câu truy vấn trong cơ sở dữ liệu suy diễn bằng phép biến đổi ma tập

Tạp Chí Tin Học Và Điều Khiển Học. , 2003
Lĩnh vực: KHOA HỌC TỰ NHIÊN
Danh mục: Khác
Tác giả: Lê Mạnh Thạnh, Trương Công Tuấn

Ngữ nghĩa chương trình Datalog có chứa phủ định dựa trên logic ba giá trị

Kỷ Yếu Hội Thảo Khoa Học Quốc Gia -nghiên Cứu Phát Triển Và Ứng Dụng Công Nghệ Thông Tin Và Truyền Thông - (ict.rda), 2003
Lĩnh vực: KHOA HỌC TỰ NHIÊN
Danh mục: Khác
Tác giả: Hồ Thuần, Lê Mạnh Thạnh, Trương Công Tuấn

Tối ưu hoá câu truy vấn trong CSDL suy diễn bằng phép biến đổi ma tập.

Tạp chí Tin học và Điều khiển học, tập 19, số 3, 233-242, 2003., 2003
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: Khác
Tác giả: Hồ Thuần, Lê Mạnh Thạnh, Trương Công Tuấn

Thuật toán ma tập cải tiến để ước lượng câu truy vấn đối với lớp con của chương trình Datalog.

Chuyên san Tạp chí Bưu chính Viễn thông, số 8, 78-84, 2002., 2002
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: Khác
Tác giả: Lê Mạnh Thạnh, Trương Công Tuấn

Một số phương pháp ước lượng câu truy vấn trong cơ sở dữ liệu suy diễn

Tạp Chí Khoa Học Đại Học Huế. , 2001
Lĩnh vực:
Danh mục: Khác
Tác giả: Trương Công Tuấn

Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình Datalog

Tạp Chí Tin Học Và Điều Khiển Học, 2001
Lĩnh vực: KHOA HỌC TỰ NHIÊN
Danh mục: Khác
Tác giả: Hồ Thuần, Lê Mạnh Thạnh, Trương Công Tuấn

Một số phương pháp xác định mô hình của chương trình Datalog và mở rộng của nó

Kỷ Yếu Hội Thảo Quốc Gia Về Tin Học Ứng Dụng, 1998
Lĩnh vực:
Danh mục: Khác
Tác giả: Trương Công Tuấn