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