TAILIEUCHUNG - Advances in Database Technology- P11

Tham khảo tài liệu 'advances in database technology- p11', 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ả | 482 M. Marx Table 1. The semantics of ACore and ACPath A ijnn Af t e an locpathjw locpath locpath on locpath I locpath ot on n locpath true fexpr and fexpr2 true m n fexpr j or fexpr2 true an n not fexpr true n nz I nfAJojtn and t n n nz I njA Jajin and t n and an nz e n nz I root n G locpath locpath an o locpath on locpath m U locpath an 3nz n n e locpath an m n fexpri true and an n fexpr 2 true m n fexpri true or m n fexpr2 true m ri fexpr - false. Dian self an z y I x y an p lan plan Man it an R p 1 an pjan U Man Han p Jan selfjan U pjan U p an plan U . Pfexpr an plan pfexpr ot e an x y x y and m x e true fexprPlw fexpr OT p an Remark 1. XPath and hence Core XPath has a strange asymmetry between the vertical parent and child and the horizontal sibling axis relations. For the vertical direction both transitive and reflexive-transitive closure of the basic steps are primitives. For the horizontal direction only the transitive closure of the immediate_left_ and immediate_right_sibling axis are primitives with the rather ambiguous names following and preceding_sibling . ACore removes this asymmetry and has all four one step navigational axes as primitives. XPath also has two primitive axis related to the document order and transitive closures of one step navigational axes. These are just syntactic sugar as witnessed by the following definitions descendant t f JJ. 4 following t p j j t preceding t ff J i - So we can conclude that ACore is at least as expressive as Core XPath and has a more elegant set of primitives. The reader might wonder why the set of XPath axes was not closed under taking converses. The next theorem states that this is not needed. Theorem 2. The set of axes of all four XPath languages are closed under taking converses. 4 Expressive Power This section describes the relations between the four defined XPath dialects and two XPath dialects from the literature. We also embed the XPath dialects into first order and monadic second order .

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.