Một trạng thái CSDL được gọi là nhất quán:

Nếu nó thỏa một tập các ràng buộc toàn vẹn ngữ nghĩa

Nêu nó đảm bảo tính nhất quán của CSDL,

Nếu nó thỏa một tập các phụ thuộc hàm.

Nếu nó loại bỏ các ràng buộc dư thừa