2.1 Terminologybddbddb is an implem

2.1 Terminology
bddbddb is an implementation of Datalog with stratified negation, totally-ordered finite
domains, and comparison operators. A Datalog program P consists of a set of domains
D, a set of relations R, and a set of rules Q. The variables, types, code locations, func-
tion names, etc. in the input program are mapped to integer values in their respective
domains. Statements in the program are broken down into basic program operations.
Each type of basic operation is represented by a relation; operations in a program are
represented as tuples in corresponding input relations. A program analysis can declare
additional domains and relations. Datalog rules define how the new domains and rela-
tions are computed.

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

2.1 thuật ngữbddbddb là một thực hiện Datalog với phủ định stratified, đã ra lệnh hoàn toàn finitetên miền, và nhà khai thác so sánh. Một chương trình Datalog P bao gồm một tập hợp các tên miềnD, một tập hợp các quan hệ R và một bộ quy tắc Q. Các biến, các loại, vị trí mã, func-tion tên, vv trong các chương trình đầu vào được ánh xạ giá trị số nguyên trong tương ứng của họtên miền. Phát biểu trong chương trình được chia thành cơ bản chương trình hoạt động.Mỗi loại hoạt động cơ bản được đại diện bởi một mối quan hệ; Các hoạt động trong một chương trìnhđại diện là tuples trong mối quan hệ đầu vào tương ứng. Phân tích chương trình có thể tuyên bốThêm tên miền và mối quan hệ. Datalog quy tắc define làm thế nào tên miền mới và rela -tions được tính.

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

2.1 Thuật ngữ
bddbddb là một thực hiện Datalog với strati phủ fi ed, hoàn toàn theo lệnh fi nite
lĩnh vực, và toán tử so sánh. Một chương trình Datalog P bao gồm một tập hợp các lĩnh vực
D, một tập hợp các quan hệ R, và một bộ quy tắc Q. Các biến, kiểu, địa điểm mã, hàm
tên tion, vv trong các chương trình đầu vào được ánh xạ tới các giá trị số nguyên trong tương ứng của họ
, lĩnh vực. Câu lệnh trong chương trình được chia thành các chương trình hoạt động cơ bản.
Mỗi loại hoạt động cơ bản được đại diện bởi một mối quan hệ; hoạt động trong một chương trình được
biểu diễn như là bản ghi trong tương ứng với quan hệ đầu vào. Một phân tích chương trình có thể khai báo
các lĩnh vực bổ sung và các mối quan hệ. Datalog cai de fi ne cách các lĩnh vực mới và quan hệ
tions được tính.