{ An integrity constraint on a sche

{ An integrity constraint on a schema S is a formula I over the
underlying type system with free variables f r(I ) fC1; : : : ; Cng, where each class
name Ci is used as a variable of type f(ident : I D; value : TCi)g.
{ An instance D of a schema is said to be consistent i substituting D(C ) for each
class variable C in each integrity constraint I evaluates to true, when interpreted
in the usual way.

Kết quả (Việt) 2:

{Một ràng buộc toàn vẹn trên một lược đồ S là một công thức tôi qua
hệ thống loại tiềm ẩn với các biến miễn phí fr (I) FC1; :::; Cng, nơi mỗi lớp
Ci tên được sử dụng như là một biến kiểu f (ident: ID; giá trị: TCI). g
{Một ví dụ D của một lược đồ được cho là phù hợp i thay thế D (C) cho mỗi
biến của lớp C trong mỗi vẹn buộc tôi để đánh giá đúng, khi được giải thích
theo cách thông thường.