Chỉ yếu tố chính có thể được tuyên bố: xem hướng dẫn tham khảo phù hợp với
thông tin về các yếu tố chính trong mỗi mô-đun. Cho DBS được kiểm soát, tuyên bố dựa
trên tên phần tử; có nghĩa là, cho đến khi một phần tử được đặt tên, không có hạn chế tồn tại. Tuy nhiên, khi một
yếu tố chính được đặt tên, hệ thống bên ngoài kiểm tra xem tên tồn tại, và trong
tương lai tên luôn được sử dụng để yêu cầu bồi thường đến yếu tố.
Lời khẳng định trên chỉ được thực hiện lần đầu tiên một phần tử được cập nhật. Các yếu tố vẫn khẳng định
cho đến khi nó được phát hành một cách rõ ràng.
đang được dịch, vui lòng đợi..