TAILIEUCHUNG - Advances in Database Technology- P10

Tham khảo tài liệu 'advances in database technology- p10', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 432 A. Nash and B. Ludascher This domain enumeration approach has been used in various forms DL97 . Note that in our setting of Answer we can create a very dynamic handling of answers if Answer determines that A 0 the user may want to decide at that point whether he or she is satisfied with the answer or whether the possibly costly domain enumeration views should be used. Similarly the relative answer completeness provided by Answer can be used to guide the user and or the system when introducing domain enumeration views. 5 Feasibility of Unions of Conjunctive Queries with Negation We now establish the complexity of deciding feasibility for safe UCQ 1 queries. Query Containment We need to consider query containment for UCQ 1 queries. In general query P is said to be contained in query Q in symbols P C Q if for all instances D Answer P D C Answer Q .D . We write CONT P for the following decision problem For a class of queries given P Q e determine whether P C Q. For P Q CQ a function a vars Q - vars P is a containment mapping if P and Q have the same free distinguished variables o is the identity on the free variables of Q and for every literal in Q there is a literal in P. Some early results in database theory are Proposition 6 CM77 CONT CQ and CONT UCQ are NP-complete. Proposition 7 SY80 LS93 CONT CCT and CONT UCQ are Incomplete. For many important special cases testing containment can be done efficiently. In particular the algorithm given in WL03 for containment of safe CQ 1 and UCQ- uses an algorithm for CONT CQ as a subroutine. Chekuri and Rajara-man CR97 show that containment of acyclic CQs can be solved in polynomial time they also consider wider classes of CQs and Saraiya Sar91 shows that containment of CQs in the case where no relation appears more than twice in the body can be solved in linear time. By the nature of the algorithm in WL03 these gains in efficiency will be passed on directly to the test for containment of CQs and UCQs so the check will .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.