1.1 Datalog using BDDsWe have devel

1.1 Datalog using BDDs
We have developed a system called bddbddb, which stands for BDD-Based Deductive
DataBase. bddbddb is a solver for Datalog with stratified negation, totally-ordered
finite domains and comparison operators. bddbddb represents relations using binary
decision diagrams, or BDDs. BDDs are a novel data structure that were traditionally
used for hardware verification and model checking, but have since spread to other areas.
The original paper on BDDs is one of the most cited papers in computer science [8].

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

1.1 Datalog bằng cách sử dụng BDDsChúng tôi đã phát triển một hệ thống được gọi là bddbddb, đó là viết tắt của BDD-Based suyCơ sở dữ liệu. bddbddb là một người giải quyết cho Datalog với stratified phủ định, hoàn toàn ra lệnhTên miền finite và nhà khai thác so sánh. bddbddb đại diện cho các mối quan hệ bằng cách sử dụng nhị phânquyết định biểu đồ hoặc BDDs. BDDs có một cấu trúc dữ liệu tiểu thuyết đã truyền thốngsử dụng phần cứng verification và mô hình kiểm tra, nhưng có kể từ khi lây lan sang các khu vực khác.Bản gốc giấy trên BDDs là một trong các giấy tờ nhất trích dẫn trong khoa học máy tính [8].

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

1.1 Datalog sử dụng BDDs
Chúng tôi đã phát triển một hệ thống gọi là bddbddb, viết tắt của BDD-Dựa suy
DataBase. bddbddb là một người giải quyết cho Datalog với strati phủ fi ed, hoàn toàn theo lệnh
lĩnh đêm fi và toán tử so sánh. bddbddb đại diện cho quan hệ sử dụng hệ nhị phân
sơ đồ quyết định, hoặc BDDs. BDDs là một cấu trúc dữ liệu mới mà theo truyền thống được
sử dụng cho phần cứng veri cation fi và kiểm tra mô hình, nhưng kể từ đó lan sang các khu vực khác.
Các giấy bản gốc trên BDDs là một trong những giấy tờ trích dẫn nhiều nhất trong [8] khoa học máy tính.