-The data model supports strongly t

-The data model supports strongly typed methods, hence the problem to check type
correctness. A more general problem is the verication of consistency for constraints
that evade from enforcement.

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

-Mô hình dữ liệu hỗ trợ phương pháp mạnh mẽ đánh máy, do đó vấn đề để kiểm tra xem loại đúng đắn. Một vấn đề tổng quát hơn là verication thống nhất cho những hạn chế mà trốn tránh từ thực thi pháp luật.

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

-Các Mô hình dữ liệu hỗ trợ mạnh mẽ gõ phương pháp, do đó các vấn đề để kiểm tra loại
đúng đắn. Một vấn đề tổng quát hơn là verication nhất quán cho các ràng buộc
mà né tránh từ thực thi.