Luận án Phó tiến sĩ khoa học Toán lý

Viện Tin học

Luận án trình bày các kết quả nghiên cứu về một số tính chất khoá của lược đồ. Khi đưa lược đồ về dạng chuẩn, việc xác định tất cả các thuộc tính khoá của lược đồ là việc không thể thiếu được, song đó là bài toán NP đầy đủ trên tập các thuộc tính. Vì vậy trong luận án này tác giả tập trung nghiên cứu các tính chất của khoá, đồng thời chỉ ra rằng đối với mối lược đồ quan hệ ta đều có thể xác định được một lược đồ tương đương khoá mà tập thuộc tính nhỏ hơn hoặc bằng tập các thuộc tính của lược đồ đã cho. Thuật toán mới để xác định một khoá của lược đò quan hệ cũng được đề xuất