: IRii EFf Tan =mlÌ Fn=e II mi Ta gÊy s r+ ND nraiu
3) Sự phức tạp của việc cập nhật
Các chỉnh sửa đơn giản một mơ hình dữ liệu hình học cĩ thể cĩ kết quả trong một chuỗi phức tạp những sự thay đổi để kết hợp các nguyên thuỷ hình học và các mối quan hệ hình học lại. Xem xét kỹ một chỉnh sửa đơn giản để tiêu biểu cho tập hợp dữ liệu. trong Hình 1.39: hãy di chuyển tồ nhà một đơn vị sang phải. Sự thay đổi cần thiết
trong mơ hình dữ liệu được thấy ở Hình 1.40.
Far cel: IBBúiiL(Lingš Xralls
Ø1 E Høj
bo SE nh 1
JN -
Jar cưl 4 Fa£e Xtnll s Ediga
ru mi F.reự | Ỉ I1„,=mHM Ỉ Ei£r | Laelzt ràng + Lê "ụ
XW ] H2 F2 z„z| Pi mĩ “Tel | Fe | T Ỉ = | 1 TH - = = Pro | | ai | E4 Eturilitlng x Fnrr | ⁄1 jJ E | =ự Truy | Ea s ¬ Hi ø3 LEdgr: ¬ Fnyes l v | Ta | r4? | me [mị] E ỦxZE 191.48,01¡0.38 3 bề Fử J 1 [Fã NxMNỊ 3 h mB] = [mm = : =— xh nH= [mi Trisx==.— | TH n L1 h — ca
|EEI. LG. TL. SA017) | MƠ | KI | E j
| E1 lr8t0xrg | | |
Hình 1.40 Một thể hiện tiêu biếu của các thực thi quan hệ tiêu chuẩn
Sự chỉnh sửa này tới cac hình của một đặt tính đơn yêu cầu chúng ta xác thực
hình học cỦa các vùng ảnh hưởng. Sự chỉnh sửa yêu cầu cập nhật và chèn vào nhiều
bảng: các Cạnh, các Nút, các Cạnh x các Bức tường. Sự cập nhật này phải được tạo ra một cách phù hợp bởi ứng dụng trước khi sự thực thi lý thuyết xác thực. Ví dụ làm tăng lên điểm thú vị liên quan tới “ngỮ nghĩa vịng đời” của các nguyên thuỷ hình học. Những
đối tượng khơng gian này khơng tương đương với bất kỳ tính năng nào trong thế giới thực hoặc trong các thế giới cĩ danh giới hợp pháp. Chúng tồn tại đơn độc như các cấu trúc của hình học cho sự cấu hình được chỉ ra bởi các tính năng. Sự định danh định nghĩa cho các đối tượng đĩ như thế nào? Trong ví dụ, chúng ta cĩ thay thế các cạnh E2, E4 và
E5 với E7 hoặc chúng ta cĩ phải cập nhật một trong các cạnh hiện tại hay khơng?
Những điều này dẫn đến việc thêm sự phức hợp khi chúng ta đối phĩ với sự phát sinh định danh, sự quản lý dữ liệu lịch sử, và các nhân tố khác. Bằng việc tạo các nguyên thuỷ hình học các thực thể rõ ràng trong mơ hình, chúng ta cĩ các tạp hợp các đối tượng thương mại khác để quản lý.
Các hoạt động cập nhật trên sự thực thi hình học rõ ràng là phức tạp (khơng coi trọng đến việc các thủ tục lưu trỮ/các thủ tục tự động hoặc các mã phía máy khách cĩ được tận dụng hay khơng). Sự phức tạp này liên quan chặt chẽ với sự hoạt động khi các nguyên thuỷ hình học gặp trở ngại trong các CSDL quan hệ. Sự thực thi khác nhau cĩ
thể khá là đáng kể khi so sánh với các giải pháp hình học tệp cơ sở (ví dụ sự sắp xếp về
cường độ). Nĩ quan trọng để ghi nhớ rằng quá trình xử lý phía máy chủ được tăng lên yêu cầu với các kỹ thuật thủ tục tự động phức tạp sẽ thúc ép khả năng co dãn của máy chủ. Những sự cân nhắc này được củng cố bởi các kinh nghiệm thực thi thực tế đơn
giản hố mơ hình sử dụng các phần mềm nguyên mẫu dẫn dắt đến sự phát triển của một sự tiếp cận thay thế, được miêu tả ở phần tiếp theo.
1.6.4. Thực thi vật lý thay thế
Chú tâm hợp lý vào vài vấn đề vốn cĩ trong thực thi vật lý hình học tiêu chuẩn,
chúng ta diễn tả một mơ hình mới mà được tổ chức bên trong CSDL địa lý cỦa ArcGIS. Với mơ hình này, chúng ta tao ra ba sự khởi đầu cơ sở. Trước tiên, chúng ta lới lỏng mơ
hình chuyển giao tiêu chuẩn và cho phép sự xác thực tăng lên của hình học (ví dỤ, sự xác
thực được thực hiện như sự xử lý với số lượng lớn trong thời gian người dùng định nghĩa chắc chắn hoặc là các sự kiện). Như vậy, các tính năng với hình học khơng được xác thực hình học cĩ thể được duy trì bên trong mơ hình. Điều này đặc biệt ảnh hưởng
tới kinh nghiệm chỉnh sửa của người sử dụng nơi mà mỗi hoạt động chỉnh sửa riêng
biệt khơng cần để cấu trúc lại hình học vùng được chỉnh sửa. Thứ hai, chúng ta cất các
hình học bên trong các tính năng hơn là chỉ các nguyên thuỷ hình học phù hợp loại trừ sự
định hướng quan hệ đối với các truy vấn chung (ví dụ vẽ các đặc tính). Cuối cùng là, chúng ta sử dụng lý thuyết bên ngồi đối với CSDL quan hệ để xác thực hình học.
Paint | Line | Palrgun EP HỊTỊEEF2T”E' | EFrmneirx Hi la Ì P—: F.- |
Nede | Eđee L Tae
zw==ser |1 #|gmaeagry [= 3 | gexagtry
Í Tùi: suaÌ F:anilire:
Hình 1.41 Mơ hình hình học CSDL địa lý
Điều này là cĩ thể trong mơ hình tự nhiên (ví dỤ trong Hình 1.41) bao gỒm các nguyên thể hình học từ chức năng hình học, tương tự, nĩ cũng cĩ thể bao gồm tính năng hình học từ các nguyên thuỷ hình học. Thực tế, hình học tìm được các chức năng là một sự diễn tả kép của hình học được tìm thấy trên các nguyên thuỷ hình học. Chúng ta cĩ thể lựa chọn để đơn giản hố và phân luồng mơ hình hình học rõ ràng tự nhiên và khơng kiên định đối với cả hai sự diễn tả đĩ.
Các nguyên thuỷ hình học khơng kiên định như một loại cụ thể của đặc tính, thay
vì thế, các mối quan hệ hình học được diễn tả như các khố ngồi gắn chặt với tính năng hình học. Các đỉnh của các hình đặc tính trong biểu đỔ này đĩng cùng một vai trị như được chỉ định để gắn chặt với khố ngoại trong các cấu trúc dữ liệu mà các nguyên
thuỷ hình học mơ hình rõ ràng. Sự xử lý cỦa sự tồn vẹn (sự xác thực) hình học cho kết quả trong các đẳng thức về gĩc, đỉnh mà các tính năng được chia sẻ dưới các nguyên
thuỷ hình học. Đưa ra đẳng thức này, cấu trúc lại các nguyên thuỷ hình học trực tiếp. Các nguyên thuỷ hình học và các mối quan hệ chỉ được thể hiện trong suốt quá tình xác thực hình học hoặc khi yêu cầu cỦa Ứng dụng máy khách (ghi nhớ rằng khía cạnh này
tương tự với MGE khi hình học được lựa chọn xây dựng nhưng các nguyên thuỷ hình học khơng kiên định với hệ quản trị CSDL quan hệ). Lý do chính cho sự tiếp cận thay
thế này là đễ dàng (nhanh hơn, cĩ khả năng co dãn hơn) để tái tạo lại một chỉ mục (ví dụ các nguyên thuỷ hình học) hơn là làm tất cả sự giữ lại cần thiết để tiếp tục và truy xuất nĩ từ CSDL khi đang duy trì mơ hình chuyển giao CSDL (ghi nhớ rằng chúng ta cũng tìm thấy sự giống nhau thực tế khi mơ hình hố các mạng như các bề mặt — TINs).
Thêm nữa, nĩ là trường hợp thường xuyên mà một phần của các nguyên thuỷ hình học cần thiết cho một hoạt động liên quan ít tới tổng thể hình học (ví dụ như việc chỉnh sửa
một vài nhĩm khối trong một sự địa phương hố vùng). Điều đĩ là quan trọng để ghi nhớ đối với sự tiếp cận này để cĩ thể làm được tỪừ một quan điểm thực hiện, đĩ là chủ yếu để tồn tại một động cơ hình học thực hiện mức cao để xác thực những phần của
hình học trong yêu cầu như sự thể hiện các nguyên thuỷ hình học để đưa ra tập hợp các
tính năng bên trong hình học.
lairfr Ỉ mitex ốc 7T }=- F1 | \ØL01,*k01.71081851L0®0100.0) | Ỉ Building: [„. mĩ 5 F1 rỉ | EW# Tiệm
XYV1-LEä4 đạc, =aeHŠ 22x EảcXš-Sirr-aensfpyrenerdarsrpkeugr=m=====.
| F z BI |íP: 1.3) |
3
ng Yalls
.< | 7| 'wF 01 |
Ì “& F | 1| ————— (0. 101⁄7,7140.12.01n — | EL:ù tà le EšLils=+ Tupaleg Ertei HữTv „ki tú
— sa _ TT, Dã Raare: m | Bul# ngư | F+an | Emeapaam | In |
[Er[Emmrmmm | [| F = |: E
| E¬ | ErnLiirmriacremimn |
*“—=— —_——— ———_—-
Hình 1.42 Một ví dụ tiêu biểu về sự thực thi hình học CSDL địa lý
Tại một mức cao, hình học bên trong CSDL địa lý bao gồm một tập hợp các lớp
đặc tính (các tập hợp đồng nhất của các tính năng), các quy tắc hình học, và các siêu dỮ liệu khác được sử dụng để hỗ trợ mơ hình xác thực. Siêu dữ liệu này bao gồm các vùng ngoại lai, các lỗi hình học, và sự gộp lại các dung sai. Một ví dụ tiêu biểu của sự thực
thi hình học được chỉ ra trong Hình 1.42. 1) Các quy tắc hình học
Tính tồn vẹn hình học được định nghĩa về khía cạnh một tập hợp của các quy
tắc hình học. Các quy tắc hình học được sử dụng để định nghĩa các ràng buộc trên các mối quan hệ hình học chấp nhận được giỮa các tính năng trong một hoặc nhiều các lớp
tính năng tham gia trong hình học. Các quy tắc hình học là một phần được xem xét của
siêu dữ liệu hình học; chúng khơng là siêu dữ liệu được xem xét kết hợp vơi các lớp đặc
tính mà tham gia trong hình học. Tập hợp các quy tắc hình học được kết hợp với hình
học được lựa chọn trên cơ sở các mối quan hệ hình học nào là quan trọng đối với mơ hình người sử dụng. Khơng cĩ một tập hợp cố định nào củỦa các quy tắc hình học mà được kết hợp với tất cả các hình học; thay vì thế, các hình học cĩ thể được cụ thể với
ít nhất hoặc nhiều hơn các quy tắc. Các quy tắc hình học được kiểm tra khi hình học được xác thực. Khi một quy tắc hình học bị vi phạm, một lỗi hình học được sinh ra. LỗỖi hình học này cĩ thể được diễn tả với một loại cụ thể của đặc tính mà cso thể chính nĩ
bị kìm hãm. Trong điểm sau đây của sự xác thực, người sử dụng cĩ thể xem lại sau đĩ
các đối tượng lỗi hình học và các điều kiện lỗi cĩ thể được sửa sai. Các vi phạm quy
tắc hình học khơng ngăn chặn được hoạt động xác thực từ sự hồn tất thành cơng. Ví dụ
của các quy tắc hình học cĩ thể được áp dụng đối với các đặc tính đa giác bao gồm: > Các phần bên trong của các hình đa giác trong một lớp đặc tính phải khơng
được chồng lên nhau (mặc dù chúng cĩ thể chia sẻ các cạnh hoặc các
gĩc).
»> Các đa giác phải khơng cĩ các khoảng trống bên trong chính nĩ hoặc giữa
các đa giác liền kề (chúng cĩ thể chia sẻ các cạnh, các đỉnh, hoặc các vùng
bên tron).
»> Các đa giác của một lớp tính năng phải chia sẻ tất cả các vùng của chúng trong một lớp đặc tính khác (ví dụ chúng phải bao phủ lẫn nhau).
Cĩ một số đương nhiên các quy tắc hình học khác mà cĩ thể được cụ thể đối với mỗi các loại hình học khác nhau. Ghi nhớ rằng điều này cũng cĩ thể cho một hệ thống được thiết kế nơi tất cả các quy tắc cụ thể sử dụng các mối quan hệ ơn hồ.
2) Xác mỉnh tính hợp lệ
Quá trình xác thực là hoạt động cơ sở của sự thực hiện hình học bởi một động cơ hình học. Quá trình xác thực trên một hình học là đáng tin cậy để đảm bảo quy tắc đơn giản hố trên tất cả các đĩi tượng khơng gian tham gia trong hình học được lưu tâm
tới (ví dụ, các cạnh khơng giao nhau, khơng cĩ các điểm cuối của cạnh nào bên trong cĩ sự sai lệch, khơng cĩ điểm cuối cỦa cạnh nào nằm bên trong dung sai với một cạnh khác). Thêm nữa, quá trình xác thực đáp ứng cho sự kiểm tra tất cả các quy tắc hình học cụ thể và các lỖi hình học phát sinh tại các vị trí mà các quy tắc bị vi phạm. Luồng xử lý
cơ bản cho quá trình thực thi bên trong các động cơ hình học là:
> Tải tất cả các tính năng hình học và kết hợp siêu dữ liệu hình học (các quy tắc hình học, các mức ảnh hưởng của lớp đặc tính, và thu gom đúng sai). »> Phá vỡ, gom lại, sắp xếp cho hệ thống, và cấu trúc hình học cá nút và các
cạnh.
> Tạo các tiêu biểu lỗi hình học mới khi các quy tắc hình học được tìm thấy trong sự vi phạm. Xố các thể hiện lỗi xảy ra lại nếu các quy tắc khơng bị
vi phạm nữa.
> Cập nhật các hình tính năng nếu cần thiết (ví dụ nếu các hình bị chỉnh sửa trong sự thiết lập của các điều kiện)
> Cập nhật các vùng ngoại lai kết hợp với hình học.
Đĩ là điều quan trọng để ghi nhớ rằng quá trình xác thực là khơng cần diễn giải
tất cả các tính năng bên trong tập dữ liệu hình học. Một sự xác thực cĩ thể được thực hiện trên một tập con của khơng øgian trải ra bởi tập dỮ liệu. Đây là một cơng việc phức tạp được đưa ra yêu cầu xác thực cỦa các quy tắc hình học sử dụng thơng tin từng phần
(ví dụ, những thể hiện lỗi chắc chẳn cĩ thể. khơng bao gồm từng phần bên trong vùng
xác thực).