Note that the conditions for an ins

Note that the conditions for an instance in Denition 6 correspond to model inher-
ent integrity constraints. We refer to these constraints as implicit identier , IsA and

referential constraints on the schema S . Other constraints that are already given im-
plicitly 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 trường hợp trong Denition 6 tương ứng với mô hình inher-hạn chế tính toàn vẹn ent. Chúng tôi đề cập đến những hạn chế như tiềm ẩn identier, IsA và referential những hạn chế trên lược đồ S. Những hạn chế khác đã được đưa ra mụcplicitly nhờ cấu trúc giản đồ phát sinh từ điều khoản nơi trong 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 ví dụ trong Denition 6 tương ứng với mô hình inher-
ràng buộc toàn vẹn ent. 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 đưa ra trọng plicitly bởi cấu trúc của các lược đồ 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 các khoản như 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).