Note that the conditions for an ins

Note that the conditions for an instance in Definition 6 correspond to model inherent integrity constraints. We refer to these constraints as implicit identier , IsA and referential constraints on the schema S . Other constraints that are already given implicitly by the structure of the schema arise from Where-clauses in predicative types.
Indeed, we may replace such types by the underlying ground type |just omit the Where-
clause| and add the clause as a constraint. From the designer's point of view this is
not necessary, but it will be as soon as constraint maintenance comes into play (see
below).

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

Lưu ý rằng các điều kiện cho một thể hiện trong định nghĩa 6 tương ứng với mô hình tính chính trực vốn có khó khăn. Chúng tôi đề cập đến những hạn chế như là tiềm ẩn identier, IsA và referential những hạn chế trên lược đồ S. Các hạn chế đã được ngầm nhờ cấu trúc giản đồ phát sinh từ điều khoản nơi ở vị loại. Thật vậy, chúng tôi có thể thay thế các loại bởi các nằm dưới mặt đất kiểu |just bỏ qua nơi -clause| và thêm các khoản là một hạn chế. Từ góc độ của nhà thiết kế này là không cần thiết, nhưng nó sẽ ngay sau khi bảo trì hạn chế đi vào chơi (xem dưới đây).

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

Lưu ý rằng các điều kiện cho một thể hiện trong định nghĩa 6 tương ứng với mô hình ràng buộc toàn vẹn vốn có. Chúng tôi đề cập đến những khó khăn như identier ngầm, ISA và ràng buộc tham chiếu trên lược đồ S. Những khó khăn khác mà đã được mặc nhiên do cấu trúc của sơ đồ phát sinh từ đâu, các điều khoản trong các loại vị ngữ.
Thật vậy, chúng ta có thể thay thế các loại như vậy của các loại nằm dưới mặt đất | thể bỏ qua Where-
khoản | và thêm mệnh đề là một hạn chế. Từ quan điểm của nhà thiết kế của quan điểm này là
không cần thiết, nhưng nó sẽ được càng sớm càng duy trì hạn chế đi vào chơi (xem
bên dưới).