Datalog is a logic programming lang

Datalog is a logic programming language designed for relational databases. We
translate each Datalog rule into a series of BDD operations, and then find the fixpoint
solution by applying the operations for each rule until the program converges on a final
set of relations. By using BDDs to represent relations, we can use BDD operations to
operate on entire relations at once, instead of iterating over individual tuples.

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

Datalog là một logic lập trình ngôn ngữ thiết kế cho các cơ sở dữ liệu quan hệ. Chúng tôiDịch từng quy tắc Datalog vào một loạt các BDD hoạt động, và sau đó có nhiều fixpointCác giải pháp bằng cách áp dụng các hoạt động cho mỗi quy tắc cho đến khi chương trình hội tụ trên một ngoàithiết lập các mối quan hệ. Bằng cách sử dụng BDDs để đại diện cho mối quan hệ, chúng tôi có thể sử dụng BDD hoạt động đểhoạt động trên toàn bộ quan hệ cùng một lúc, thay vì iterating hơn tuples cá nhân.

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

Datalog là một ngôn ngữ lập trình logic được thiết kế cho cơ sở dữ liệu quan hệ. Chúng tôi
dịch từng quy tắc Datalog vào một loạt các hoạt động BDD, và sau đó fi nd các xpoint fi
giải pháp bằng cách áp dụng các hoạt động cho từng quy tắc cho đến khi chương trình hội tụ trên một fi nal
tập các quan hệ. Bằng cách sử dụng BDDs để đại diện cho các mối quan hệ, chúng ta có thể sử dụng các hoạt động BDD để
hoạt động trên toàn bộ mối quan hệ cùng một lúc, thay vì lặp lại trên bộ dữ liệu cá nhân.