In fact, ideal simplification is po

In fact, ideal simplification is possible in a class of databases if and only if query containment is decidable in that class.

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

Trong thực tế, đơn giản hóa lý tưởng là có thể có trong một lớp học của cơ sở dữ liệu nếu và chỉ nếu truy vấn ngăn chặn decidable trong lớp học đó.

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

Trong thực tế, đơn giản hóa lý tưởng là có thể có trong một lớp học của cơ sở dữ liệu khi và chỉ khi ngăn chặn truy vấn là decidable trong lớp đó.