Our compact form of representing th

Our compact form of representing the pieces of the views
allows us to also reject an entire batch of irrelevant views
(and candidate rewritings), by “failing” to map on a view pattern.
This also allows the algorithm to “fail-fast” as soon as a
query subgoal cannot map to any of the (few) view patterns.

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

Chúng tôi hình thức nhỏ gọn của đại diện cho các mảnh quan điểmcho phép chúng tôi cũng từ chối một lô toàn bộ quan điểm không liên quan(và ứng cử viên rewritings), bởi "không" bản đồ trên một mô hình xem.Điều này cũng cho phép các thuật toán để "thất bại nhanh" ngay sau khi mộttruy vấn subgoal không thể ánh xạ cho bất kỳ của các mô hình xem (vài).

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

Hình thức nhỏ gọn của chúng tôi đại diện cho phần của các quan điểm
cho phép chúng ta cũng bác bỏ toàn bộ một loạt các quan điểm không thích hợp
(và rewritings ứng cử viên), bởi "không" để lập bản đồ trên một mô hình điểm.
Điều này cũng cho phép các thuật toán để "thất bại nhanh" như Ngay sau khi một
subgoal truy vấn không thể bản đồ với bất kỳ (vài) mẫu xem.