The different steps of the simplific

The different steps of the simplification procedure are transformations that operate on pieces of database programs formulated in datalog¬, the extension of datalog with negation.

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

Different bước của thủ tục đơn giản hóa là biến đổi hoạt động trên các phần của cơ sở dữ liệu chương trình xây dựng ở datalog¬, phần mở rộng của datalog với phủ định.

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

Các bước di ff erent của thủ tục đơn giản hóa là biến đổi hoạt động trên mảnh chương trình cơ sở dữ liệu hình thành trong datalog¬, phần mở rộng của Datalog với phủ định.