Not surprisingly, our results indic

Not surprisingly, our results indicate that recursion and negation in the view definition lead to undecidability

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

Không ngạc nhiên, kết quả của chúng tôi cho thấy rằng đệ quy và phủ định trong định nghĩa xem dẫn đến undecidability

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

Không ngạc nhiên, kết quả của chúng tôi chỉ ra rằng đệ quy và phủ định dẫn trước xem định nghĩa để undecidability