{ 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) 1:

{Một hạn chế tính toàn vẹn trên một lược đồ S là một công thức tôi qua cácHệ thống cơ bản với miễn phí biến f r (I) fC1; : : : ; CNG, nơi mỗi lớptên Ci được sử dụng như là một biến loại f (ident: I D; giá trị: TCi) g.{Một thể hiện D của một giản đồ được gọi là phù hợp tôi thay thế D (C) cho mỗilớp biến C trong mỗi hạn chế tính toàn vẹn I đánh giá thành true, khi giải thíchtheo cách thông thường.

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.