Dự án / Đề tài

[1] Tên đề tài: “Bao đóng, khóa và phụ thuộc hàm trong mô hình dữ liệu dạng khối”, mã số  B2001-41-03, nghiệm thu: 2005.

[2] Tên đề tài: “Các dạng chuẩn trong mô hình dữ liệu dạng khối”, mã số  B2003-41-34, nghiệm thu: 2007.

[3] Tên đề tài: “Các dạng chuẩn, tựa chuẩn và vấn đề chuẩn hóa trong mô hình dữ liệu dạng khối”, mã số  B2007-18-25, nghiệm thu: 2011. 

[4] Tên đề tài: “Nghiên cứu ngữ nghĩa của các mô hình dữ liệu đa tạp”, nghiệm thu: 2000.

[5] Tên đề tài: “ Khóa và tập các thuộc tính khóa với phép dịch chuyển lược đồ khối”, mã số: C2012-18-16, nghiệm thu: 2012.

 

Sách / Bài báo xuất bản

[1]  Nguyễn Xuân Huy, Trịnh Đình Thắng, Mô hình cơ sở dữ liệu dạng khối, Kỷ yếu các báo cáo khoa học của Hội thảo một số vấn đề chọn lọc của Công nghệ Thông tin, (14-19),1997.

[2]  Nguyễn Xuân Huy, Trịnh Đình Thắng ,  Mô hình cơ sở dữ liệu dạng khối , Tạp  chí Tin học và  Điều khiển học, T.14, S.3 (52-60), 1998.

[3]  Nguyễn Xuân Huy, Trịnh Đình Thắng , Một số kết quả về khoá trong mô hình cơ sở dữ liệu dạng khối, Kỷ yếu Hội thảo quốc gia về Tin học ứng dụng , (36-41), 1998.

[4]  Nguyễn Xuân Huy, Trịnh Đình Thắng , Một vài thuật toán cài đặt các phép toán của đại số quan hệ trong mô hình dữ liệu dạng khối, Tạp chí Tin học và Điều khiển học, T.15, S.3 (8-17), 1999.

[5] Trịnh Đình Thắng, Đánh giá độ phức tạp thời gian của một vài thuật toán trong mô hình cơ sở dữ liệu dạng khối, Thông báo khoa học, trường Đại học Sư phạm Hà Nội 2, (27-37), S.1, 1999.

[6]  Trịnh Đình Thắng, Một số kết quả về bao đóng, khoá và phụ thuộc hàm trong mô hình dữ liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ 4 “Một số vấn đề chọn lọc của Công nghệ Thông tin”, (245-251), 2001.

[7] Trịnh Đình Thắng, Một số kết quả về phụ thuộc hàm, phủ của các phụ thuộc hàm và các dạng chuẩn trong mô hình dữ liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ 8 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (580-586), 2005.

[8] Trịnh Đình Thắng, Trịnh Đình Vinh, Phụ thuộc đa trị trong mô hình dữ liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ 11 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (321-328), 2008.

[9] Trịnh Đình Thắng, Trịnh Đình Vinh, Phủ của tập phụ thuộc hàm và vấn đề tựa chuẩn hóa trong mô hỡnh dữ liệu dạng khối, Tạp chí khoa học của trường Đại học Sư phạm Hà Nội 2, S.5, (46-58), 2008.

[10] Trịnh Đình Thắng, Một số kết quả về phụ thuộc đa trị trong mô hỡnh dữ liệu dạng khối, Tạp chí khoa học của trường Đại học Sư phạm Hà Nội 2, S.3, (39-45), 2008.

[11] Trịnh Đình Thắng, Trần Minh Tuyến, Phép dịch chuyển lược đồ khối và vấn đề biểu diễn bao đóng, khóa trong mô hỡnh dữ liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ 12 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (277-286), 2010.

[12] Trịnh Đình Thắng, Trần Minh Tuyến, Khóa và các tập thuộc tính nguyên thủy, phi nguyên thủy với phép dịch chuyển lược đồ khối, Kỷ yếu Hội thảo quốc gia lần thứ 13 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (159-170), 2011.

[13] Trịnh Đình Thắng, Trần Minh Tuyến, Key and key attributes set, non-key attributes set with translation of block schemes, International Journal of Advanced Research in Computer Science, (335-339), Vol.3, No.3, India, 2012.

[14] Trịnh Đình Thắng, Khóa và các tập thuộc tính khóa với phép dịch chuyển lược đồ khối, Tạp chí khoa học của trường Đại học Sư phạm Hà Nội 2, S.19, (204-212), 2012.

[15] Trịnh Đình Thắng, Trần Minh Tuyến, Lược đồ cân bằng, vế trái cực tiểu và khóa  với phép dịch chuyển lược đồ khối, Kỷ yếu Hội thảo quốc gia lần thứ XV "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (174-179), 2012.

[16] Trịnh Đình Thắng, Trần Minh Tuyến, Ánh xạ đóng và phép dịch chuyển lược đồ khối, Kỷ yếu Hội nghị quốc gia lần thứ VI về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR), (174-179), 2013.

[17] Trịnh Đình Thắng, Trịnh Ngọc Trúc, Mô hình dữ liệu dạng khối mờ, Tạp chí khoa học của trường Đại học Sư phạm Hà Nội 2, S.28, (132-142), 2013.

[18] Trần Minh Tuyến, Trịnh Đình Thắng, Phụ thuộc Boole dương tổng quát trong mô hình dữ liệu dạng khối, Kỷ yếu  Hội thảo quốc gia lần thứ XVII "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông",  tr. 274-279, 2014.

[19] Trịnh Đình Thắng, Đỗ Thị Lan Anh, “Khai phá luật kết hợp trên mô hình dữ liệu dạng khối”, Tạp chí Khoa học trường ĐHSP Hà Nội 2, số 32, tr. 12-16, 2014.

[20] Tran Minh Tuyen, Trinh Dinh Thang, Nguyen Xuan Huy, Some properties of the positive boolean dependencies in the database model of block form,  Journal of Computer Science and  Cybernetics, V.31, N.2, Viet Nam, pp. 159-169, 2015.

[21] Trịnh Đình Thắng, Nguyễn Năng An, Mô hình dữ liệu dạng khối theo cách tiếp cận của lí thuyết tập thô, Tạp chí Khoa học trường ĐHSP Hà Nội 2, số 35, tr. 11-19, 2015.

[22] Trịnh Đình Thắng, Trần Minh Tuyến, Trịnh Ngọc Trúc, Công thức suy dẫn trong mô hình dữ liệu dạng khối, Kỷ yếu Hội nghị quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR), (103-110), 2015.

[23] Trịnh Đình Thắng, Trần Kim Hoàn, “Phụ thuộc đối ngẫu trong mô hình dữ liệu dạng khối”, Tạp chí Khoa học trường ĐHSP Hà Nội 2, số 41, tr. 3-10, 2016.

[24] Trịnh Đình Thắng, Trần Minh Tuyến, Trịnh Ngọc Trúc, Phụ thuộc Boolean dương đa trị trong mô hình dữ liệu dạng khối, Kỷ yếu Hội nghị FAIR IX, Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin, (602-609), 2016.

[25] Trịnh Đình Thắng, Trần Minh Tuyến, Đỗ Thị Lan Anh, Khai phá luật quyết định trên khối dữ liệu có giá trị thuộc tính thay đổi, Kỉ yếu Hội thảo quốc gia lần thứ XIX:"Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", (163-169), 2016.

[26] Trịnh Đình Thắng, Some Properties of the Balance Schemes and Key with the Translation of Block Schemes, International Journal of Emerging Research in Management &Technology, ISSN: 2278-9359 (Volume-5, Issue-11), 2016.
 
[27] Trịnh Đình Thắng, Mạng Internet - Intranet cho người mới bắt đầu, Giáo trình ĐHSP Hà Nội 2, Hà Nội, 2003.

[28] Đào Thái Lai, Trịnh Đình Thắng, Chu Vĩnh Quyên, Trịnh Đình Vinh, Phương tiện kĩ thuật dạy học và ứng dụng công nghệ thông tin trong dạy học ở tiểu học, tập 1, NXB Giáo dục, 2006.

[29] Đào Thái Lai, Trịnh Đình Thắng, Chu Vĩnh Quyên, Trịnh Đình Vinh, Phương tiện kĩ thuật dạy học và ứng dụng công nghệ thông tin trong dạy học ở tiểu học, tập 2, NXB Giáo dục, 2006.

[30] Trịnh Đình Thắng, Mô hình dữ liệu dạng khối, NXB Lao động, 2011.
 

Báo cáo tại các hội thảo

[1]  Nguyễn Xuân Huy, Trịnh Đình Thắng, On a database model  of block form, Báo cáo tại Hội nghị Toán học toàn Việt Nam lần thứ 5, 1997. 

[2]  Nguyễn Xuân Huy, Trịnh Đình Thắng, Khoá và đại số quan hệ trong mô hình cơ sở dữ liệu dạng khối, Báo cáo tại Hội nghị khoa học ngành Toán - Cơ - Tin học, trường Đại học khoa học tự nhiên, Đại học quốc gia Hà Nội, 1998.

[3]  Nguyễn Xuân Huy, Trịnh Đình Thắng, On functional dependencies in the database model of  block form, Báo cáo tại International Conference Mathematical Foundation of  Informatics, 1999.

[4]  Trịnh Đình Thắng, Khoá và phụ thuộc hàm trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 3 “Một số vấn đề chọn lọc của Công nghệ Thông tin”, 2000..

[5]  Trịnh Đình Thắng, Các dạng chuẩn trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 5 “Một số vấn đề chọn lọc của Công nghệ Thông tin”, 2002,

[6]  Trịnh Đình Thắng, Một số kết quả về các dạng chuẩn trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông”, 2004.

[7] Trịnh Đình Thắng, Phủ của tập phụ thuộc hàm và vấn đề chuẩn hóa trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 10 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2007.

[8] Trịnh Đình Thắng, Trịnh Đình Vinh, Phụ thuộc đa trị trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 11 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2008.

[9] Trịnh Đình Thắng, Trần Minh Tuyến, Phép dịch chuyển lược đồ khối và vấn đề biểu diễn bao đóng, khóa trong mô hỡnh dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 12 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2010.

[10] Trịnh Đình Thắng, Trần Minh Tuyến, Khóa và các tập thuộc tính nguyên thủy, phi nguyên thủy với phép dịch chuyển lược đồ khối, Báo cáo tại Hội thảo quốc gia lần thứ 13 "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", Cần Thơ 07-08/10/2011.

[11] Trịnh Đình Thắng, Trần Minh Tuyến, Lược đồ cân bằng, vế trái cực tiểu và khóa  với phép dịch chuyển lược đồ khối, Báo cáo tại Hội thảo quốc gia lần thứ XV "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2012.

[12] Trịnh Đình Thắng, Trần Minh Tuyến, Ánh xạ đóng và phép dịch chuyển lược đồ khối, Báo cáo tại Hội nghị quốc gia lần thứ VI về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR), 2013.

[13] Trần Minh Tuyến, Trịnh Đình Thắng, Phụ thuộc Boole dương tổng quát trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ XVII "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2014.

[14] Trịnh Đình Thắng, Trần Minh Tuyến, Trịnh Ngọc Trúc, Công thức suy dẫn trong mô hình dữ liệu dạng khối, Báo cáo tại Hội nghị quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR), 2015.

[15] Trịnh Đình Thắng, Trần Minh Tuyến, Trịnh Ngọc Trúc, Phụ thuộc boolean dương đa trị trong mô hình dữ liệu dạng khối, Báo cáo tại Hội nghị khoa học quốc gia lần thứ IX (FAIR), Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin, 2016.

[16] Trịnh Đình Thắng, Trần Minh Tuyến, Đỗ Thị Lan Anh, Khai phá luật quyết định trên khối dữ liệu có giá trị thuộc tính thay đổi, Báo cáo tại Hội thảo quốc gia lần thứ XIX "Một số vấn đề chọn lọc của Công nghệ Thông tin và Truyền thông", 2016.

[17] Trịnh Đình Thắng, Trần Minh Tuyến, Đỗ Thị Lan Anh, Nguyễn Thị Quyên, Một số kết quả về khai phá luật quyết định trên khối dữ liệu có giá trị thuộc tính thay đổi, Báo cáo tại Hội nghị khoa học quốc gia lần thứ X về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR), 2017.


 

Các môn giảng dạy

- Mạng máy tính
- Ngôn ngữ hình thức
- Toán rời rạc
- Hệ quản trị cơ sở dữ liệu
- Hệ chuyên gia
- Tính toán song song