Thiết kế lôgic là một khái niệm trừu tượng trong lập trình máy tính mà theo đó người lập trình sắp xếp dữ liệu trong một chuỗi các mối quan hệ lôgic được gọi là thuộc tính hoặc thực thể. Thực thể đề cập đến một phần thông tin, trong khi một thuộc tính xác định thuộc tính duy nhất của một thực thể.
Ví dụ: thiết kế hợp lý cho cơ sở dữ liệu về giày bao gồm chất liệu, nhà thiết kế, kích thước, màu sắc và giá cả. Những thông tin đó có thể được tổ chức thành các cột, danh sách, đồ thị và hàng. Các thực thể dữ liệu có thể được sắp xếp thêm theo các thuộc tính khác nhau, chẳng hạn như tất cả giày màu xanh lá cây hoặc tất cả các loại giày có giá hơn 100 đô la một đôi.
Thiết kế logic tập trung vào việc lưu trữ thông tin theo lý thuyết. Ngược lại, thiết kế vật lý là cách hiệu quả nhất để lưu trữ và truy xuất các đối tượng trong chương trình máy tính.
