8. Dịch vụ quản lý truy vấn
8.2.14. Cách biểu diễn bắt buộc trong mệnh đề XML Mục đích:
Mục đích:
Truy vấn bộ lọc XML đơn sử dụng một cấu trúc XML hình thức được dựa trên các Mệnh đề tính chất.
Các mệnh đề tính chất được sử dụng để chính thức xác định cơ chế bắt buộc, và được chuyển đổi một cách dễ dàng như các mệnh đề trong quy định này.
Biểu đồ khái niệm
Dưới đây là một biểu đồ khái niệm phác thảo cấu trúc mệnh đề.
Hình 27 - Cấu trúc mệnh đề Các quy tắc ngữ nghĩa
Các tính chất và Đối số được kết hợp trong một mẫu “Đối số trái_Tính chất- Đối số phải” để thiết lập một mệnh đề. Có hai kiểu mệnh đề: Mệnh đề đơn và Mệnh đề hỗn hợp.
Mệnh đề đơn
Một Mệnh đề đơn luôn luôn xác định Đối số trái bằng kiểu chữ, đôi khi được quy cho là chủ đề của một mệnh đề. Bản thân mệnh đề đơn là chưa đầy đủ (tóm tắt) và phải được mở rộng. Mệnh đề đơn được mở rộng để hỗ trợ Mệnh đề Đúng- Sai (Boolean), Mệnh đề chữ và Mệnh đề hữu tỷ (tóm tắt).
Mệnh đề Đúng- Sai xác định tuyệt đối tính chất như là “ngang bằng với”, với đối số phải là một Đúng- Sai. Mệnh đề chữ xác định tính chất như là một thuộc tính đếm của những thao tác đếm chữ và một mệnh đề phải là số liệu chữ của nhân tố. Hỗ trợ số hữu tỷ được cung cấp thông qua một Mệnh đề hữu tỷ chung cung cấp một bảng liệt kê các hoạt động so sánh số hữu tỷ phù hợp, mà sự mở rộng thêm đến Mệnh đề Int và Mệnh đề động, chỉ với chữ ký phù hợp cho mệnh đề phải.
Mệnh đề hỗn hợp
Một mệnh đề hỗn hợp bao gồm hai hoặc nhiều hơn (đơn hoặc hỗn hợp) và một tính chất liên kết. Điều này giúp mệnh đề hỗn hợp tự động được hình thành.
Ví dụ
Mệnh đề Đúng- Sai đơn: "Smoker" = True
Mệnh đề chữ đơn: "Smoker" contains "mo"
Mệnh đề động đơn: "Size" = 4.3
Hỗn hợp với hai mệnh đề đơn (("Smoker" = False)AND("Age" =< 45))