Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog tháng 4 02, 2019 Cơ sở dữ liệu Cơ sở dữ liệu suy diễn Ngôn ngữ datalog +