Nghiên cứu cấu trúc lôgic và bản chất toán học của phụ thuộc lôgic để phục vụ cho quá trình thiết kế các hệ CSDL theo các phụ thuộc này. Xây dựng các hệ tiên đề mới cho các phụ thuộc hàm, phụ thuộc đối ngẫu, phụ thuộc mạnh, phụ thuộc yếu. Xây dựng các thu
Bánh xe lăn, phím mũi tên, PgUp, PgDn, Home, End để di chuyển trang. Phím +, ‒ trên bàn phím số để phóng to/thu nhỏ trang.