Hoạt động BDD hoạt động trên toàn bộ mối quan hệ một lúc, chứ không phải là một tuple tại một thời điểm.
Các chi phí hoạt động BDD phụ thuộc vào kích thước và hình dạng của đồ thị BDD, không phải
ông số bản ghi trong một mối quan hệ. Như vậy, quan hệ lớn có thể được tính toán một cách nhanh chóng như
ong như đại diện BDD mã hóa của họ là nhỏ gọn. Ngoài ra, do bộ nhớ đệm trong BDD
gói, bài toán giống hệt nhau chỉ có được tính một lần. Những điểm này là chính
o tính hiệu ef fi hoạt động BDD, và là lý do tại sao chúng tôi sử dụng dữ liệu này cấu trúc
o đại diện cho mối quan hệ của chúng tôi.
đang được dịch, vui lòng đợi..