Hex Artifact Content
Not logged in

Artifact 2b71b93827da111d10e39d8a8416bb4ec327ced7:

Wiki page [topo-intro] by sandro 2015-10-25 15:17:14.
0000: 44 20 32 30 31 35 2d 31 30 2d 32 35 54 31 35 3a  D 2015-10-25T15:
0010: 31 37 3a 31 34 2e 32 34 36 0a 4c 20 74 6f 70 6f  17:14.246.L topo
0020: 2d 69 6e 74 72 6f 0a 50 20 66 65 37 64 35 34 66  -intro.P fe7d54f
0030: 66 61 35 65 32 66 66 62 30 36 36 38 62 33 64 65  fa5e2ffb0668b3de
0040: 33 64 31 61 64 63 37 61 62 32 34 35 32 66 65 65  3d1adc7ab2452fee
0050: 32 0a 55 20 73 61 6e 64 72 6f 0a 57 20 37 36 31  2.U sandro.W 761
0060: 36 0a 3c 74 61 62 6c 65 20 63 65 6c 6c 73 70 61  6.<table cellspa
0070: 63 69 6e 67 3d 22 31 32 22 20 77 69 64 74 68 3d  cing="12" width=
0080: 22 31 30 30 25 22 3e 0d 0a 3c 74 72 3e 3c 74 64  "100%">..<tr><td
0090: 20 63 6f 6c 73 70 61 6e 3d 22 32 22 3e 0d 0a 3c   colspan="2">..<
00a0: 74 61 62 6c 65 20 77 69 64 74 68 3d 22 31 30 30  table width="100
00b0: 25 22 20 62 67 63 6f 6c 6f 72 3d 22 23 66 30 66  %" bgcolor="#f0f
00c0: 30 66 38 22 3e 0d 0a 3c 74 72 3e 3c 74 64 20 61  0f8">..<tr><td a
00d0: 6c 69 67 6e 3d 22 63 65 6e 74 65 72 22 3e 0d 0a  lign="center">..
00e0: 3c 68 31 3e 49 53 4f 20 54 6f 70 6f 6c 6f 67 79  <h1>ISO Topology
00f0: 3a 20 61 20 71 75 69 63 6b 20 69 6e 74 72 6f 3c  : a quick intro<
0100: 2f 68 31 3e 0d 0a 3c 2f 74 64 3e 3c 2f 74 72 3e  /h1>..</td></tr>
0110: 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 74 61 62 6c 65  </table>..<table
0120: 20 77 69 64 74 68 3d 22 31 30 30 25 22 3e 3c 74   width="100%"><t
0130: 72 3e 0d 0a 3c 74 64 20 77 69 64 74 68 3d 22 33  r>..<td width="3
0140: 33 25 22 20 61 6c 69 67 6e 3d 22 6c 65 66 74 22  3%" align="left"
0150: 3e 3c 2f 74 64 3e 0d 0a 3c 74 64 20 61 6c 69 67  ></td>..<td alig
0160: 6e 3d 22 63 65 6e 74 65 72 22 3e 3c 61 20 68 72  n="center"><a hr
0170: 65 66 3d 22 68 74 74 70 73 3a 2f 2f 77 77 77 2e  ef="https://www.
0180: 67 61 69 61 2d 67 69 73 2e 69 74 2f 66 6f 73 73  gaia-gis.it/foss
0190: 69 6c 2f 6c 69 62 73 70 61 74 69 61 6c 69 74 65  il/libspatialite
01a0: 2f 77 69 6b 69 3f 6e 61 6d 65 3d 6d 69 73 63 2d  /wiki?name=misc-
01b0: 64 6f 63 73 22 3e 62 61 63 6b 20 74 6f 20 69 6e  docs">back to in
01c0: 64 65 78 3c 2f 61 3e 3c 2f 74 64 3e 0d 0a 3c 74  dex</a></td>..<t
01d0: 64 20 77 69 64 74 68 3d 22 33 33 25 22 20 61 6c  d width="33%" al
01e0: 69 67 6e 3d 22 72 69 67 68 74 22 3e 3c 61 20 68  ign="right"><a h
01f0: 72 65 66 3d 22 68 74 74 70 73 3a 2f 2f 77 77 77  ref="https://www
0200: 2e 67 61 69 61 2d 67 69 73 2e 69 74 2f 66 6f 73  .gaia-gis.it/fos
0210: 73 69 6c 2f 6c 69 62 73 70 61 74 69 61 6c 69 74  sil/libspatialit
0220: 65 2f 77 69 6b 69 3f 6e 61 6d 65 3d 74 6f 70 6f  e/wiki?name=topo
0230: 2d 6c 61 79 6f 75 74 22 3e 6e 65 78 74 20 70 61  -layout">next pa
0240: 67 65 3c 2f 61 3e 3c 2f 74 64 3e 0d 0a 3c 2f 74  ge</a></td>..</t
0250: 72 3e 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 74 72 3e  r></table>..<tr>
0260: 3c 74 64 20 77 69 64 74 68 3d 22 35 30 25 22 3e  <td width="50%">
0270: 0d 0a 3c 74 61 62 6c 65 20 77 69 64 74 68 3d 22  ..<table width="
0280: 31 30 30 25 22 20 62 67 63 6f 6c 6f 72 3d 22 23  100%" bgcolor="#
0290: 66 30 66 30 66 38 22 20 63 65 6c 6c 73 70 61 63  f0f0f8" cellspac
02a0: 69 6e 67 3d 22 34 22 20 63 65 6c 6c 70 61 64 64  ing="4" cellpadd
02b0: 69 6e 67 3d 22 34 22 3e 0d 0a 3c 74 72 3e 3c 74  ing="4">..<tr><t
02c0: 64 3e 0d 0a 3c 68 33 3e 4f 47 43 2d 53 46 53 20  d>..<h3>OGC-SFS 
02d0: 47 65 6f 6d 65 74 72 69 65 73 3c 2f 68 33 3e 0d  Geometries</h3>.
02e0: 0a 41 73 20 79 6f 75 20 61 6c 72 65 61 64 79 20  .As you already 
02f0: 6b 6e 6f 77 2c 20 74 68 65 20 73 74 61 6e 64 61  know, the standa
0300: 72 64 20 72 65 70 72 65 73 65 6e 74 61 74 69 6f  rd representatio
0310: 6e 20 6f 66 20 47 65 6f 6d 65 74 72 69 65 73 20  n of Geometries 
0320: 73 75 70 70 6f 72 74 65 64 20 62 79 20 61 6e 79  supported by any
0330: 20 65 78 69 73 74 69 6e 67 20 53 70 61 74 69 61   existing Spatia
0340: 6c 20 44 42 4d 53 20 69 73 20 62 61 73 65 64 20  l DBMS is based 
0350: 6f 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  on the following
0360: 20 53 46 53 20 63 6c 61 73 73 65 73 20 28 6e 6f   SFS classes (no
0370: 6e 2d 74 6f 70 6f 6c 6f 67 69 63 61 6c 29 3a 3c  n-topological):<
0380: 75 6c 3e 0d 0a 3c 6c 69 3e 28 4d 55 4c 54 49 29  ul>..<li>(MULTI)
0390: 50 4f 49 4e 54 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e  POINT</li>..<li>
03a0: 28 4d 55 4c 54 49 29 4c 49 4e 45 53 54 52 49 4e  (MULTI)LINESTRIN
03b0: 47 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 28 4d 55 4c  G</li>..<li>(MUL
03c0: 54 49 29 50 4f 4c 59 47 4f 4e 3c 2f 6c 69 3e 0d  TI)POLYGON</li>.
03d0: 0a 3c 6c 69 3e 47 45 4f 4d 45 54 52 59 43 4f 4c  .<li>GEOMETRYCOL
03e0: 4c 45 43 54 49 4f 4e 3c 2f 6c 69 3e 0d 0a 3c 2f  LECTION</li>..</
03f0: 75 6c 3e 0d 0a 3c 68 33 3e 54 6f 70 6f 6c 6f 67  ul>..<h3>Topolog
0400: 79 2d 47 65 6f 6d 65 74 72 79 3c 2f 68 33 3e 0d  y-Geometry</h3>.
0410: 0a 54 68 65 20 69 6e 74 65 72 6e 61 74 69 6f 6e  .The internation
0420: 61 6c 20 73 74 61 6e 64 61 72 64 20 3c 62 3e 49  al standard <b>I
0430: 53 4f 2f 49 45 43 20 31 33 32 34 39 2d 33 3c 2f  SO/IEC 13249-3</
0440: 62 3e 20 28 3c 69 3e 49 6e 66 6f 72 6d 61 74 69  b> (<i>Informati
0450: 6f 6e 20 74 65 63 68 6e 6f 6c 6f 67 79 20 2d 2d  on technology --
0460: 20 44 61 74 61 62 61 73 65 20 6c 61 6e 67 75 61   Database langua
0470: 67 65 73 20 2d 2d 20 53 51 4c 20 6d 75 6c 74 69  ges -- SQL multi
0480: 6d 65 64 69 61 20 61 6e 64 20 61 70 70 6c 69 63  media and applic
0490: 61 74 69 6f 6e 20 70 61 63 6b 61 67 65 73 20 2d  ation packages -
04a0: 2d 20 50 61 72 74 20 33 3a 20 53 70 61 74 69 61  - Part 3: Spatia
04b0: 6c 3c 2f 69 3e 20 61 6b 61 20 3c 62 3e 3c 69 3e  l</i> aka <b><i>
04c0: 53 51 4c 2f 4d 4d 3c 2f 69 3e 3c 2f 62 3e 29 20  SQL/MM</i></b>) 
04d0: 64 65 66 69 6e 65 73 20 61 20 72 61 64 69 63 61  defines a radica
04e0: 6c 6c 79 20 64 69 66 66 65 72 65 6e 74 20 47 65  lly different Ge
04f0: 6f 6d 65 74 72 79 20 6d 6f 64 65 6c 20 6e 61 6d  ometry model nam
0500: 65 64 20 3c 62 3e 54 6f 70 6f 6c 6f 67 79 2d 47  ed <b>Topology-G
0510: 65 6f 6d 65 74 72 79 3c 2f 62 3e 20 62 61 73 65  eometry</b> base
0520: 64 20 6f 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69  d on the followi
0530: 6e 67 20 70 72 69 6d 69 74 69 76 65 73 3a 3c 75  ng primitives:<u
0540: 6c 3e 0d 0a 3c 6c 69 3e 61 20 3c 62 3e 4e 4f 44  l>..<li>a <b>NOD
0550: 45 3c 2f 62 3e 20 73 69 6d 70 6c 79 20 69 73 20  E</b> simply is 
0560: 61 20 6e 6f 74 61 62 6c 65 20 70 6f 69 6e 74 2c  a notable point,
0570: 20 61 6e 64 20 63 61 6e 20 62 65 20 61 73 73 75   and can be assu
0580: 6d 65 64 20 74 6f 0d 0a 62 65 20 65 71 75 69 76  med to..be equiv
0590: 61 6c 65 6e 74 20 74 6f 20 53 46 53 20 50 4f 49  alent to SFS POI
05a0: 4e 54 2e 0d 0a 3c 69 3e 45 78 61 6d 70 6c 65 73  NT...<i>Examples
05b0: 3c 2f 69 3e 3a 20 3c 69 3e 4e 31 3c 2f 69 3e 2c  </i>: <i>N1</i>,
05c0: 20 3c 69 3e 4e 32 3c 2f 69 3e 2c 20 3c 69 3e 4e   <i>N2</i>, <i>N
05d0: 33 3c 2f 69 3e 2c 20 2e 2e 2e 20 3c 69 3e 4e 31  3</i>, ... <i>N1
05e0: 32 3c 2f 69 3e 2c 20 3c 69 3e 4e 31 33 3c 2f 69  2</i>, <i>N13</i
05f0: 3e 0d 0a 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 6e  >..</li>..<li>an
0600: 20 3c 62 3e 45 44 47 45 3c 2f 62 3e 20 69 73 20   <b>EDGE</b> is 
0610: 61 6e 20 6f 72 69 65 6e 74 65 64 20 70 61 74 68  an oriented path
0620: 20 6a 6f 69 6e 69 6e 67 20 74 77 6f 20 6e 6f 64   joining two nod
0630: 65 73 2c 20 61 6e 64 20 63 61 6e 20 0d 0a 62 65  es, and can ..be
0640: 20 61 73 73 75 6d 65 64 20 74 6f 20 62 65 20 65   assumed to be e
0650: 71 75 69 76 61 6c 65 6e 74 20 74 6f 20 53 46 53  quivalent to SFS
0660: 20 4c 49 4e 45 53 54 52 49 4e 47 2e 3c 62 72 3e   LINESTRING.<br>
0670: 0d 0a 3c 69 3e 45 78 61 6d 70 6c 65 73 3c 2f 69  ..<i>Examples</i
0680: 3e 3a 20 3c 69 3e 45 31 3c 2f 69 3e 2c 20 3c 69  >: <i>E1</i>, <i
0690: 3e 45 32 3c 2f 69 3e 2c 20 3c 69 3e 45 33 3c 2f  >E2</i>, <i>E3</
06a0: 69 3e 2c 20 2e 2e 2e 20 3c 69 3e 45 38 3c 2f 69  i>, ... <i>E8</i
06b0: 3e 2c 20 3c 69 3e 45 39 3c 2f 69 3e 0d 0a 3c 2f  >, <i>E9</i>..</
06c0: 6c 69 3e 0d 0a 3c 6c 69 3e 61 20 3c 62 3e 46 41  li>..<li>a <b>FA
06d0: 43 45 3c 2f 62 3e 20 69 73 20 61 20 70 6f 72 74  CE</b> is a port
06e0: 69 6f 6e 20 6f 66 20 74 68 65 20 70 6c 61 6e 65  ion of the plane
06f0: 20 64 65 6c 69 6d 69 74 65 64 20 62 79 20 65 64   delimited by ed
0700: 67 65 73 2c 0d 0a 61 6e 64 20 63 61 6e 20 62 65  ges,..and can be
0710: 20 61 73 73 75 6d 65 64 20 74 6f 20 62 65 20 65   assumed to be e
0720: 71 75 69 76 61 6c 65 6e 74 20 74 6f 20 53 46 53  quivalent to SFS
0730: 20 50 4f 4c 59 47 4f 4e 2e 3c 62 72 3e 0d 0a 3c   POLYGON.<br>..<
0740: 69 3e 45 78 61 6d 70 6c 65 73 3c 2f 69 3e 3a 20  i>Examples</i>: 
0750: 3c 69 3e 66 30 3c 2f 69 3e 2c 20 3c 69 3e 66 31  <i>f0</i>, <i>f1
0760: 3c 2f 69 3e 2c 20 3c 69 3e 66 32 3c 2f 69 3e 2c  </i>, <i>f2</i>,
0770: 20 3c 69 3e 66 33 3c 2f 69 3e 0d 0a 3c 2f 6c 69   <i>f3</i>..</li
0780: 3e 0d 0a 3c 2f 75 6c 3e 3c 62 72 3e 0d 0a 41 20  >..</ul><br>..A 
0790: 76 65 72 79 20 73 70 65 63 69 61 6c 20 46 61 63  very special Fac
07a0: 65 20 69 73 20 61 6c 77 61 79 73 20 69 6d 70 6c  e is always impl
07b0: 69 63 69 74 6c 79 20 61 73 73 75 6d 65 64 20 74  icitly assumed t
07c0: 6f 20 65 78 69 73 74 20 6f 6e 20 61 6e 79 20 54  o exist on any T
07d0: 6f 70 6f 6c 6f 67 79 3a 20 69 74 27 73 20 74 68  opology: it's th
07e0: 65 20 3c 62 3e 55 6e 69 76 65 72 73 61 6c 20 46  e <b>Universal F
07f0: 61 63 65 3c 2f 62 3e 20 28 61 6b 61 20 3c 69 3e  ace</b> (aka <i>
0800: 66 30 3c 2f 69 3e 29 2c 20 61 6e 64 20 69 74 27  f0</i>), and it'
0810: 73 20 61 73 73 75 6d 65 64 20 74 6f 20 63 6f 6e  s assumed to con
0820: 74 61 69 6e 20 65 76 65 72 79 74 68 69 6e 67 20  tain everything 
0830: 65 6c 73 65 20 65 78 74 65 72 69 6f 72 20 74 6f  else exterior to
0840: 20 61 6c 6c 20 6f 74 68 65 72 20 46 61 63 65 73   all other Faces
0850: 2e 20 53 6f 20 61 20 63 6f 6d 70 6c 65 74 65 6c  . So a completel
0860: 79 20 65 6d 70 74 79 20 54 6f 70 6f 6c 6f 67 79  y empty Topology
0870: 2d 47 65 6f 6d 65 74 72 79 20 77 69 6c 6c 20 61  -Geometry will a
0880: 6c 77 61 79 73 20 63 6f 6e 74 61 69 6e 20 61 74  lways contain at
0890: 20 6c 65 61 73 74 20 74 68 65 20 3c 62 3e 55 6e   least the <b>Un
08a0: 69 76 65 72 73 61 6c 20 46 61 63 65 3c 2f 62 3e  iversal Face</b>
08b0: 2e 3c 62 72 3e 0d 0a 4e 6f 64 65 73 20 3c 69 3e  .<br>..Nodes <i>
08c0: 4e 33 3c 2f 69 3e 20 61 6e 64 20 3c 69 3e 4e 37  N3</i> and <i>N7
08d0: 3c 2f 69 3e 20 61 72 65 20 73 6f 6d 65 77 61 79  </i> are someway
08e0: 20 73 70 65 63 69 61 6c 20 62 65 63 61 75 73 65   special because
08f0: 20 74 68 65 79 20 61 72 65 20 6e 6f 74 20 63 6f   they are not co
0900: 6e 6e 65 63 74 65 64 20 74 6f 20 61 6e 79 20 45  nnected to any E
0910: 64 67 65 3b 20 74 68 65 79 20 61 72 65 20 65 78  dge; they are ex
0920: 61 6d 70 6c 65 73 20 6f 66 20 3c 62 3e 49 73 6f  amples of <b>Iso
0930: 6c 61 74 65 64 20 4e 6f 64 65 73 3c 2f 62 3e 2e  lated Nodes</b>.
0940: 3c 62 72 3e 0d 0a 45 64 67 65 73 20 3c 69 3e 45  <br>..Edges <i>E
0950: 34 3c 2f 69 3e 20 61 6e 64 20 3c 69 3e 45 36 3c  4</i> and <i>E6<
0960: 2f 69 3e 20 61 72 65 20 73 70 65 63 69 61 6c 20  /i> are special 
0970: 74 6f 6f 2c 20 62 65 63 61 75 73 65 20 74 68 65  too, because the
0980: 79 20 61 72 65 20 6e 6f 74 20 63 6f 6e 6e 65 63  y are not connec
0990: 74 65 64 20 74 6f 20 61 6e 79 20 6f 74 68 65 72  ted to any other
09a0: 20 45 64 67 65 3b 20 74 68 65 79 20 61 72 65 20   Edge; they are 
09b0: 65 78 61 6d 70 6c 65 73 20 6f 66 20 3c 62 3e 49  examples of <b>I
09c0: 73 6f 6c 61 74 65 64 20 45 64 67 65 73 3c 2f 62  solated Edges</b
09d0: 3e 2e 20 41 6e 79 77 61 79 20 45 64 67 65 20 3c  >. Anyway Edge <
09e0: 69 3e 45 31 30 3c 2f 69 3e 20 69 73 6e 27 74 20  i>E10</i> isn't 
09f0: 61 6e 20 49 73 6f 6c 61 74 65 64 20 45 64 67 65  an Isolated Edge
0a00: 20 62 65 63 61 75 73 65 20 69 74 20 73 65 70 61   because it sepa
0a10: 72 61 74 65 73 20 46 61 63 65 73 20 3c 69 3e 66  rates Faces <i>f
0a20: 32 3c 2f 69 3e 20 61 6e 64 20 3c 69 3e 66 33 3c  2</i> and <i>f3<
0a30: 2f 69 3e 2e 3c 62 72 3e 0d 0a 42 6f 74 68 20 4e  /i>.<br>..Both N
0a40: 6f 64 65 73 20 61 6e 64 20 45 64 67 65 73 20 68  odes and Edges h
0a50: 61 76 65 20 61 6e 20 65 78 70 6c 69 63 69 74 20  ave an explicit 
0a60: 47 65 6f 6d 65 74 72 79 2c 20 72 65 73 70 65 63  Geometry, respec
0a70: 74 69 76 65 6c 79 20 6f 66 20 74 68 65 20 50 4f  tively of the PO
0a80: 49 4e 54 20 61 6e 64 20 4c 49 4e 45 53 54 52 49  INT and LINESTRI
0a90: 4e 47 20 74 79 70 65 2e 3c 62 72 3e 0d 0a 46 61  NG type.<br>..Fa
0aa0: 63 65 73 20 77 69 6c 6c 20 6e 65 76 65 72 20 64  ces will never d
0ab0: 69 72 65 63 74 6c 79 20 68 61 76 65 20 61 20 47  irectly have a G
0ac0: 65 6f 6d 65 74 72 79 20 61 6e 64 20 77 69 6c 6c  eometry and will
0ad0: 20 61 6c 77 61 79 73 20 62 65 20 69 6e 74 65 72   always be inter
0ae0: 6e 61 6c 6c 79 20 72 65 70 72 65 73 65 6e 74 65  nally represente
0af0: 64 20 62 79 20 61 20 63 6f 72 72 65 73 70 6f 6e  d by a correspon
0b00: 64 69 6e 67 20 6c 69 73 74 20 6f 66 20 64 65 6c  ding list of del
0b10: 69 6d 69 74 69 6e 67 20 45 64 67 65 73 3a 20 65  imiting Edges: e
0b20: 2e 67 2e 20 46 61 63 65 20 3c 69 3e 66 31 3c 2f  .g. Face <i>f1</
0b30: 69 3e 20 69 73 20 64 65 6c 69 6d 69 74 65 64 20  i> is delimited 
0b40: 62 79 20 45 64 67 65 73 20 3c 69 3e 45 32 3c 2f  by Edges <i>E2</
0b50: 69 3e 2c 20 3c 69 3e 45 37 3c 2f 69 3e 2c 20 3c  i>, <i>E7</i>, <
0b60: 69 3e 45 35 3c 2f 69 3e 20 61 6e 64 20 46 61 63  i>E5</i> and Fac
0b70: 65 20 3c 69 3e 66 32 3c 2f 69 3e 20 69 73 20 64  e <i>f2</i> is d
0b80: 65 6c 69 6d 69 74 65 64 20 62 79 20 45 64 67 65  elimited by Edge
0b90: 73 20 3c 69 3e 45 33 3c 2f 69 3e 2c 20 3c 69 3e  s <i>E3</i>, <i>
0ba0: 45 39 3c 2f 69 3e 2c 20 3c 69 3e 45 37 3c 2f 69  E9</i>, <i>E7</i
0bb0: 3e 20 61 6e 64 20 3c 69 3e 45 31 30 3c 2f 69 3e  > and <i>E10</i>
0bc0: 2e 3c 62 72 3e 0d 0a 3c 2f 74 64 3e 3c 2f 74 72  .<br>..</td></tr
0bd0: 3e 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 2f 74 64 3e  ></table>..</td>
0be0: 3c 74 64 3e 0d 0a 3c 74 61 62 6c 65 3e 0d 0a 3c  <td>..<table>..<
0bf0: 74 72 3e 3c 74 64 3e 0d 0a 3c 69 6d 67 20 73 72  tr><td>..<img sr
0c00: 63 3d 22 68 74 74 70 3a 2f 2f 77 77 77 2e 67 61  c="http://www.ga
0c10: 69 61 2d 67 69 73 2e 69 74 2f 67 61 69 61 2d 73  ia-gis.it/gaia-s
0c20: 69 6e 73 2f 74 6f 70 6f 30 2e 70 6e 67 22 20 61  ins/topo0.png" a
0c30: 6c 74 3d 22 74 6f 70 6f 6c 6f 67 79 2d 67 65 6f  lt="topology-geo
0c40: 6d 65 74 72 79 22 3e 0d 0a 3c 2f 74 64 3e 3c 2f  metry">..</td></
0c50: 74 72 3e 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 2f 74  tr></table>..</t
0c60: 64 3e 3c 2f 74 72 3e 0d 0a 3c 74 72 3e 3c 74 64  d></tr>..<tr><td
0c70: 20 63 6f 6c 73 70 61 6e 3d 22 32 22 3e 0d 0a 3c   colspan="2">..<
0c80: 74 61 62 6c 65 20 61 6c 69 67 6e 3d 22 63 65 6e  table align="cen
0c90: 74 65 72 22 20 62 67 63 6f 6c 6f 72 3d 22 23 66  ter" bgcolor="#f
0ca0: 38 66 38 66 30 22 3e 0d 0a 3c 74 72 3e 3c 74 64  8f8f0">..<tr><td
0cb0: 3e 0d 0a 3c 68 34 3e 43 6f 6e 73 69 73 74 65 6e  >..<h4>Consisten
0cc0: 63 79 20 72 65 71 75 69 72 65 6d 65 6e 74 73 20  cy requirements 
0cd0: 66 6f 72 20 49 53 4f 20 54 6f 70 6f 6c 6f 67 79  for ISO Topology
0ce0: 2d 47 65 6f 6d 65 74 72 79 3c 2f 68 34 3e 0d 0a  -Geometry</h4>..
0cf0: 3c 6f 6c 3e 0d 0a 3c 6c 69 3e 61 6c 6c 20 74 6f  <ol>..<li>all to
0d00: 70 6f 6c 6f 67 69 63 61 6c 20 63 6f 6d 70 6c 65  pological comple
0d10: 78 65 73 20 61 72 65 20 66 75 6c 6c 79 20 64 65  xes are fully de
0d20: 63 6f 6d 70 6f 73 65 64 20 69 6e 74 6f 20 74 68  composed into th
0d30: 65 69 72 20 74 6f 70 6f 6c 6f 67 69 63 61 6c 20  eir topological 
0d40: 70 72 69 6d 69 74 69 76 65 73 2e 3c 2f 6c 69 3e  primitives.</li>
0d50: 0d 0a 3c 6c 69 3e 6e 6f 20 74 77 6f 20 6e 6f 64  ..<li>no two nod
0d60: 65 73 20 65 78 69 73 74 20 61 74 20 74 68 65 20  es exist at the 
0d70: 73 61 6d 65 20 70 6f 73 69 74 69 6f 6e 20 69 6e  same position in
0d80: 20 73 70 61 63 65 2e 3c 2f 6c 69 3e 0d 0a 3c 6c   space.</li>..<l
0d90: 69 3e 61 20 6e 6f 64 65 20 65 78 69 73 74 73 20  i>a node exists 
0da0: 61 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e 67  at the beginning
0db0: 20 61 6e 64 20 65 6e 64 20 6f 66 20 65 76 65 72   and end of ever
0dc0: 79 20 65 64 67 65 2e 3c 2f 6c 69 3e 0d 0a 3c 6c  y edge.</li>..<l
0dd0: 69 3e 6e 6f 20 65 64 67 65 20 68 61 73 20 61 20  i>no edge has a 
0de0: 67 65 6f 6d 65 74 72 79 20 77 68 69 63 68 20 63  geometry which c
0df0: 72 6f 73 73 65 73 20 74 68 65 20 67 65 6f 6d 65  rosses the geome
0e00: 74 72 79 20 6f 66 20 61 20 6e 6f 64 65 2e 3c 2f  try of a node.</
0e10: 6c 69 3e 0d 0a 3c 6c 69 3e 6e 6f 20 65 64 67 65  li>..<li>no edge
0e20: 20 68 61 73 20 61 20 67 65 6f 6d 65 74 72 79 20   has a geometry 
0e30: 77 68 69 63 68 20 63 72 6f 73 73 65 73 2c 20 6f  which crosses, o
0e40: 76 65 72 6c 61 70 73 2c 20 6f 72 20 69 73 20 63  verlaps, or is c
0e50: 6f 6e 74 61 69 6e 65 64 20 77 69 74 68 69 6e 20  ontained within 
0e60: 74 68 65 20 67 65 6f 6d 65 74 72 79 20 6f 66 20  the geometry of 
0e70: 61 6e 6f 74 68 65 72 20 65 64 67 65 2e 3c 2f 6c  another edge.</l
0e80: 69 3e 0d 0a 3c 6c 69 3e 61 6c 6c 20 65 64 67 65  i>..<li>all edge
0e90: 20 67 65 6f 6d 65 74 72 69 65 73 20 61 72 65 20   geometries are 
0ea0: 73 69 6d 70 6c 65 2e 3c 2f 6c 69 3e 0d 0a 3c 6c  simple.</li>..<l
0eb0: 69 3e 61 6c 6c 20 65 64 67 65 20 67 65 6f 6d 65  i>all edge geome
0ec0: 74 72 69 65 73 20 68 61 76 65 20 61 20 73 74 61  tries have a sta
0ed0: 72 74 20 70 6f 69 6e 74 20 65 71 75 61 6c 20 74  rt point equal t
0ee0: 6f 20 74 68 65 20 67 65 6f 6d 65 74 72 79 20 6f  o the geometry o
0ef0: 66 20 74 68 65 69 72 20 73 74 61 72 74 20 6e 6f  f their start no
0f00: 64 65 2e 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 6c  de.</li>..<li>al
0f10: 6c 20 65 64 67 65 20 67 65 6f 6d 65 74 72 69 65  l edge geometrie
0f20: 73 20 68 61 76 65 20 61 20 65 6e 64 20 70 6f 69  s have a end poi
0f30: 6e 74 20 65 71 75 61 6c 20 74 6f 20 74 68 65 20  nt equal to the 
0f40: 67 65 6f 6d 65 74 72 79 20 6f 66 20 74 68 65 69  geometry of thei
0f50: 72 20 65 6e 64 20 6e 6f 64 65 2e 3c 2f 6c 69 3e  r end node.</li>
0f60: 0d 0a 3c 6c 69 3e 6e 6f 20 66 61 63 65 20 68 61  ..<li>no face ha
0f70: 73 20 61 20 67 65 6f 6d 65 74 72 79 20 77 68 69  s a geometry whi
0f80: 63 68 20 6f 76 65 72 6c 61 70 73 20 74 68 65 20  ch overlaps the 
0f90: 67 65 6f 6d 65 74 72 79 20 6f 66 20 61 6e 6f 74  geometry of anot
0fa0: 68 65 72 20 66 61 63 65 2e 3c 2f 6c 69 3e 0d 0a  her face.</li>..
0fb0: 3c 6c 69 3e 6e 6f 20 66 61 63 65 20 68 61 73 20  <li>no face has 
0fc0: 61 20 67 65 6f 6d 65 74 72 79 20 77 69 74 68 69  a geometry withi
0fd0: 6e 20 74 68 65 20 67 65 6f 6d 65 74 72 79 20 6f  n the geometry o
0fe0: 66 20 61 6e 6f 74 68 65 72 20 66 61 63 65 2e 3c  f another face.<
0ff0: 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 20 75 6e 69 76  /li>..<li>a univ
1000: 65 72 73 61 6c 20 66 61 63 65 20 65 78 69 73 74  ersal face exist
1010: 73 2e 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 20 76  s.</li>..<li>a v
1020: 61 6c 69 64 20 70 6f 6c 79 67 6f 6e 20 67 65 6f  alid polygon geo
1030: 6d 65 74 72 79 20 63 61 6e 20 62 65 20 63 6f 6e  metry can be con
1040: 73 74 72 75 63 74 65 64 20 66 6f 72 20 61 6c 6c  structed for all
1050: 20 66 61 63 65 73 20 65 78 63 65 70 74 20 74 68   faces except th
1060: 65 20 75 6e 69 76 65 72 73 61 6c 20 66 61 63 65  e universal face
1070: 2e 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 6c 6c 20  .</li>..<li>all 
1080: 67 65 6f 6d 65 74 72 69 65 73 20 66 6f 72 20 74  geometries for t
1090: 68 65 20 74 6f 70 6f 6c 6f 67 79 20 68 61 76 65  he topology have
10a0: 20 74 68 65 20 73 61 6d 65 20 73 70 61 74 69 61   the same spatia
10b0: 6c 20 72 65 66 65 72 65 6e 63 65 20 73 79 73 74  l reference syst
10c0: 65 6d 2e 3c 2f 6c 69 3e 0d 0a 3c 2f 6f 6c 3e 0d  em.</li>..</ol>.
10d0: 0a 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 3c 2f 74  .</td></tr>..</t
10e0: 61 62 6c 65 3e 0d 0a 3c 2f 74 64 3e 3c 2f 74 72  able>..</td></tr
10f0: 3e 0d 0a 3c 74 72 3e 3c 74 64 20 63 6f 6c 73 70  >..<tr><td colsp
1100: 61 6e 3d 22 32 22 3e 3c 68 72 3e 3c 2f 74 64 3e  an="2"><hr></td>
1110: 3c 2f 74 72 3e 0d 0a 3c 74 72 3e 3c 74 64 3e 0d  </tr>..<tr><td>.
1120: 0a 3c 74 61 62 6c 65 20 77 69 64 74 68 3d 22 31  .<table width="1
1130: 30 30 25 22 20 62 67 63 6f 6c 6f 72 3d 22 23 66  00%" bgcolor="#f
1140: 30 66 30 66 38 22 20 63 65 6c 6c 73 70 61 63 69  0f0f8" cellspaci
1150: 6e 67 3d 22 34 22 20 63 65 6c 6c 70 61 64 64 69  ng="4" cellpaddi
1160: 6e 67 3d 22 34 22 3e 0d 0a 3c 74 72 3e 3c 74 64  ng="4">..<tr><td
1170: 3e 0d 0a 3c 68 33 3e 54 6f 70 6f 6c 6f 67 79 2d  >..<h3>Topology-
1180: 4e 65 74 77 6f 72 6b 3c 2f 68 33 3e 0d 0a 54 68  Network</h3>..Th
1190: 65 20 73 61 6d 65 20 73 74 61 6e 64 61 72 64 20  e same standard 
11a0: 3c 62 3e 49 53 4f 2f 49 45 43 20 31 33 32 34 39  <b>ISO/IEC 13249
11b0: 2d 33 3c 2f 62 3e 20 28 3c 62 3e 3c 69 3e 53 51  -3</b> (<b><i>SQ
11c0: 4c 2f 4d 4d 3c 2f 69 3e 3c 2f 62 3e 29 20 64 65  L/MM</i></b>) de
11d0: 66 69 6e 65 73 20 61 20 73 65 63 6f 6e 64 20 74  fines a second t
11e0: 79 70 65 20 6f 66 20 54 6f 70 6f 6c 6f 67 79 20  ype of Topology 
11f0: 6d 61 69 6e 6c 79 20 69 6e 74 65 6e 64 65 64 20  mainly intended 
1200: 66 6f 72 20 6c 69 6e 65 61 72 20 61 70 70 6c 69  for linear appli
1210: 63 61 74 69 6f 6e 73 20 6e 61 6d 65 64 20 3c 62  cations named <b
1220: 3e 54 6f 70 6f 6c 6f 67 79 2d 4e 65 74 77 6f 72  >Topology-Networ
1230: 6b 3c 2f 62 3e 20 61 6e 64 20 62 61 73 65 64 20  k</b> and based 
1240: 6f 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  on the following
1250: 20 70 72 69 6d 69 74 69 76 65 73 3a 3c 75 6c 3e   primitives:<ul>
1260: 0d 0a 3c 6c 69 3e 61 20 3c 62 3e 4e 4f 44 45 3c  ..<li>a <b>NODE<
1270: 2f 62 3e 20 73 69 6d 70 6c 79 20 69 73 20 61 20  /b> simply is a 
1280: 6e 6f 74 61 62 6c 65 20 70 6f 69 6e 74 2c 20 61  notable point, a
1290: 6e 64 20 63 61 6e 20 62 65 20 61 73 73 75 6d 65  nd can be assume
12a0: 64 20 74 6f 0d 0a 62 65 20 65 71 75 69 76 61 6c  d to..be equival
12b0: 65 6e 74 20 74 6f 20 53 46 53 20 50 4f 49 4e 54  ent to SFS POINT
12c0: 2e 0d 0a 3c 69 3e 45 78 61 6d 70 6c 65 73 3c 2f  ...<i>Examples</
12d0: 69 3e 3a 20 3c 69 3e 4e 31 3c 2f 69 3e 2c 20 3c  i>: <i>N1</i>, <
12e0: 69 3e 4e 32 3c 2f 69 3e 2c 20 3c 69 3e 4e 33 3c  i>N2</i>, <i>N3<
12f0: 2f 69 3e 2c 20 2e 2e 2e 20 3c 69 3e 4e 39 3c 2f  /i>, ... <i>N9</
1300: 69 3e 2c 20 3c 69 3e 4e 31 30 3c 2f 69 3e 0d 0a  i>, <i>N10</i>..
1310: 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 20 3c 62 3e  </li>..<li>a <b>
1320: 4c 49 4e 4b 3c 2f 62 3e 20 69 73 20 61 6e 20 6f  LINK</b> is an o
1330: 72 69 65 6e 74 65 64 20 70 61 74 68 20 6a 6f 69  riented path joi
1340: 6e 69 6e 67 20 74 77 6f 20 6e 6f 64 65 73 2c 20  ning two nodes, 
1350: 61 6e 64 20 63 61 6e 20 0d 0a 62 65 20 61 73 73  and can ..be ass
1360: 75 6d 65 64 20 74 6f 20 62 65 20 65 71 75 69 76  umed to be equiv
1370: 61 6c 65 6e 74 20 74 6f 20 53 46 53 20 4c 49 4e  alent to SFS LIN
1380: 45 53 54 52 49 4e 47 2e 3c 62 72 3e 0d 0a 3c 69  ESTRING.<br>..<i
1390: 3e 45 78 61 6d 70 6c 65 73 3c 2f 69 3e 3a 20 3c  >Examples</i>: <
13a0: 69 3e 4c 31 3c 2f 69 3e 2c 20 3c 69 3e 4c 32 3c  i>L1</i>, <i>L2<
13b0: 2f 69 3e 2c 20 3c 69 3e 4c 33 3c 2f 69 3e 2c 20  /i>, <i>L3</i>, 
13c0: 2e 2e 2e 20 3c 69 3e 4c 31 32 3c 2f 69 3e 2c 20  ... <i>L12</i>, 
13d0: 3c 69 3e 4c 31 33 3c 2f 69 3e 0d 0a 3c 2f 6c 69  <i>L13</i>..</li
13e0: 3e 0d 0a 3c 2f 75 6c 3e 3c 62 72 3e 0d 0a 4e 6f  >..</ul><br>..No
13f0: 64 65 20 3c 69 3e 4e 31 3c 2f 69 3e 20 69 73 20  de <i>N1</i> is 
1400: 61 6e 20 65 78 61 6d 70 6c 65 20 6f 66 20 3c 62  an example of <b
1410: 3e 49 73 6f 6c 61 74 65 64 20 4e 6f 64 65 3c 2f  >Isolated Node</
1420: 62 3e 2e 3c 62 72 3e 0d 0a 4c 69 6e 6b 20 3c 69  b>.<br>..Link <i
1430: 3e 4c 31 31 3c 2f 69 3e 20 69 73 20 61 6e 20 65  >L11</i> is an e
1440: 78 61 6d 70 6c 65 73 20 6f 66 20 3c 62 3e 49 73  xamples of <b>Is
1450: 6f 6c 61 74 65 64 20 4c 69 6e 6b 3c 2f 62 3e 2e  olated Link</b>.
1460: 3c 62 72 3e 3c 62 72 3e 0d 0a 3c 75 3e 50 6c 65  <br><br>..<u>Ple
1470: 61 73 65 20 6e 6f 74 65 3c 2f 75 3e 3a 20 4c 69  ase note</u>: Li
1480: 6e 6b 73 20 3c 69 3e 4c 34 3c 2f 69 3e 20 61 6e  nks <i>L4</i> an
1490: 64 20 3c 69 3e 4c 37 3c 2f 69 3e 20 64 6f 20 61  d <i>L7</i> do a
14a0: 70 70 61 72 65 6e 74 6c 79 20 63 72 6f 73 73 65  pparently crosse
14b0: 73 20 28 65 76 69 64 65 6e 63 65 64 20 69 6e 20  s (evidenced in 
14c0: 74 68 65 20 66 69 67 75 72 65 20 62 79 20 61 20  the figure by a 
14d0: 73 6d 61 6c 6c 20 67 72 65 65 6e 20 63 69 72 63  small green circ
14e0: 6c 65 29 2c 20 61 6e 79 77 61 79 20 74 68 65 72  le), anyway ther
14f0: 65 20 69 73 20 6e 6f 20 4e 6f 64 65 20 63 6f 72  e is no Node cor
1500: 72 65 73 70 6f 6e 64 69 6e 67 20 74 6f 20 74 68  responding to th
1510: 65 20 69 6e 74 65 72 73 65 63 74 69 6f 6e 20 70  e intersection p
1520: 6f 69 6e 74 2e 3c 62 72 3e 0d 0a 54 68 69 73 20  oint.<br>..This 
1530: 69 73 20 61 20 66 75 6c 6c 79 20 6c 65 67 69 74  is a fully legit
1540: 69 6d 61 74 65 20 6f 70 74 69 6f 6e 20 73 75 70  imate option sup
1550: 70 6f 72 74 65 64 20 62 79 20 54 6f 70 6f 6c 6f  ported by Topolo
1560: 67 79 2d 4e 65 74 77 6f 72 6b 2c 20 61 6e 64 20  gy-Network, and 
1570: 73 69 6d 70 6c 79 20 6d 65 61 6e 73 20 74 68 61  simply means tha
1580: 74 20 73 6f 6d 65 20 72 65 73 74 72 69 63 74 69  t some restricti
1590: 6f 6e 20 66 6f 72 62 69 64 73 20 61 20 72 65 61  on forbids a rea
15a0: 6c 20 69 6e 74 65 72 73 65 63 74 69 6f 6e 20 62  l intersection b
15b0: 65 74 77 65 65 6e 20 74 68 65 20 74 77 6f 20 4c  etween the two L
15c0: 69 6e 6b 73 2e 3c 62 72 3e 0d 0a 54 68 65 72 65  inks.<br>..There
15d0: 20 69 73 20 61 6e 20 6f 6e 6c 79 20 61 70 70 61   is an only appa
15e0: 72 65 6e 74 20 73 70 61 74 69 61 6c 20 6a 75 6e  rent spatial jun
15f0: 63 74 69 6f 6e 2c 20 62 75 74 20 74 68 65 72 65  ction, but there
1600: 20 69 73 6e 27 74 20 61 6e 79 20 66 75 6e 63 74   isn't any funct
1610: 69 6f 6e 61 6c 20 6a 75 6e 63 74 69 6f 6e 20 61  ional junction a
1620: 6e 64 20 63 6f 6e 73 65 71 75 65 6e 74 6c 79 20  nd consequently 
1630: 73 77 69 74 63 68 69 6e 67 20 62 65 74 77 65 65  switching betwee
1640: 6e 20 4c 69 6e 6b 73 20 3c 69 3e 4c 34 3c 2f 69  n Links <i>L4</i
1650: 3e 20 61 6e 64 20 3c 69 3e 4c 37 3c 2f 69 3e 20  > and <i>L7</i> 
1660: 69 73 20 73 74 72 69 63 74 6c 79 20 66 6f 72 62  is strictly forb
1670: 69 64 64 65 6e 2e 3c 62 72 3e 0d 0a 3c 75 3e 50  idden.<br>..<u>P
1680: 6f 73 73 69 62 6c 65 20 65 78 61 6d 70 6c 65 73  ossible examples
1690: 3c 2f 75 3e 3a 20 69 6d 61 67 69 6e 65 20 74 77  </u>: imagine tw
16a0: 6f 20 72 6f 61 64 73 20 6f 6e 65 20 6f 76 65 72  o roads one over
16b0: 70 61 73 73 69 6e 67 2f 75 6e 64 65 72 70 61 73  passing/underpas
16c0: 73 69 6e 67 20 74 68 65 20 6f 74 68 65 72 2c 20  sing the other, 
16d0: 6f 72 20 73 75 70 70 6f 73 65 20 61 6e 20 6f 72  or suppose an or
16e0: 64 69 6e 61 72 79 20 72 6f 61 64 20 6a 75 6e 63  dinary road junc
16f0: 74 69 6f 6e 20 77 68 65 72 65 20 74 75 72 6e 69  tion where turni
1700: 6e 67 20 6c 65 66 74 2f 72 69 67 68 74 20 69 73  ng left/right is
1710: 20 73 74 72 69 63 74 6c 79 20 66 6f 72 62 69 64   strictly forbid
1720: 64 65 6e 20 62 79 20 74 72 61 66 66 69 63 20 72  den by traffic r
1730: 65 67 75 6c 61 74 69 6f 6e 20 64 69 73 63 69 70  egulation discip
1740: 6c 69 6e 65 2e 3c 62 72 3e 0d 0a 49 6e 20 61 6e  line.<br>..In an
1750: 20 74 65 6c 65 63 6f 6d 6d 75 6e 69 63 61 74 69   telecommunicati
1760: 6f 6e 20 6e 65 74 77 6f 72 6b 20 79 6f 75 20 63  on network you c
1770: 61 6e 20 69 6d 61 67 69 6e 65 20 74 77 6f 20 77  an imagine two w
1780: 69 72 65 73 20 63 72 6f 73 73 69 6e 67 20 75 6e  ires crossing un
1790: 64 65 72 20 73 74 72 69 63 74 20 65 6c 65 63 74  der strict elect
17a0: 72 69 63 20 69 6e 73 75 6c 61 74 69 6f 6e 20 63  ric insulation c
17b0: 6f 6e 64 69 74 69 6f 6e 73 2c 20 61 6e 64 20 73  onditions, and s
17c0: 6f 20 6f 6e 2e 3c 62 72 3e 3c 62 72 3e 0d 0a 41  o on.<br><br>..A
17d0: 63 63 6f 72 64 69 6e 67 6c 79 20 74 6f 20 74 68  ccordingly to th
17e0: 65 20 49 53 4f 20 73 70 65 63 69 66 69 63 61 74  e ISO specificat
17f0: 69 6f 6e 73 2c 20 74 68 65 72 65 20 61 72 65 20  ions, there are 
1800: 74 77 6f 20 64 69 66 66 65 72 65 6e 74 20 6b 69  two different ki
1810: 6e 64 73 20 6f 66 20 54 6f 70 6f 6c 6f 67 79 2d  nds of Topology-
1820: 4e 65 74 77 6f 72 6b 73 3a 0d 0a 3c 75 6c 3e 0d  Networks:..<ul>.
1830: 0a 3c 6c 69 3e 3c 62 3e 4c 6f 67 69 63 61 6c 20  .<li><b>Logical 
1840: 4e 65 74 77 6f 72 6b 3c 2f 62 3e 3a 20 61 20 6e  Network</b>: a n
1850: 65 74 77 6f 72 6b 20 64 65 66 69 6e 65 64 20 62  etwork defined b
1860: 79 20 63 6f 6e 6e 65 63 74 69 76 69 74 79 20 69  y connectivity i
1870: 6e 66 6f 72 6d 61 74 69 6f 6e 73 20 62 75 74 20  nformations but 
1880: 6c 61 63 6b 69 6e 67 20 61 6e 79 20 67 65 6f 6d  lacking any geom
1890: 65 74 72 79 20 69 6e 66 6f 72 6d 61 74 69 6f 6e  etry information
18a0: 2e 3c 62 72 3e 0d 0a 49 6e 20 6f 74 68 65 72 20  .<br>..In other 
18b0: 77 6f 72 64 73 2c 20 62 6f 74 68 20 4e 6f 64 65  words, both Node
18c0: 73 20 61 6e 64 20 4c 69 6e 6b 73 20 61 72 65 20  s and Links are 
18d0: 61 6c 77 61 79 73 20 66 6f 72 62 69 64 64 65 6e  always forbidden
18e0: 20 74 6f 20 68 61 76 65 20 61 6e 20 65 78 70 6c   to have an expl
18f0: 69 63 69 74 20 67 65 6f 6d 65 74 72 79 2e 3c 2f  icit geometry.</
1900: 6c 69 3e 0d 0a 3c 6c 69 3e 3c 62 3e 53 70 61 74  li>..<li><b>Spat
1910: 69 61 6c 20 4e 65 74 77 6f 72 6b 3c 2f 62 3e 3a  ial Network</b>:
1920: 20 61 20 6e 65 74 77 6f 72 6b 20 64 65 66 69 6e   a network defin
1930: 65 64 20 62 79 20 62 6f 74 68 20 63 6f 6e 6e 65  ed by both conne
1940: 63 74 69 76 69 74 79 20 61 6e 64 20 67 65 6f 6d  ctivity and geom
1950: 65 74 72 69 63 20 69 6e 66 6f 72 6d 61 74 69 6f  etric informatio
1960: 6e 73 2e 3c 62 72 3e 0d 0a 49 6e 20 74 68 69 73  ns.<br>..In this
1970: 20 73 65 63 6f 6e 64 20 63 61 73 65 20 62 6f 74   second case bot
1980: 68 20 4e 6f 64 65 73 20 61 6e 64 20 4c 69 6e 6b  h Nodes and Link
1990: 73 20 61 72 65 20 61 6c 77 61 79 73 20 65 78 70  s are always exp
19a0: 65 63 74 65 64 20 74 6f 20 68 61 76 65 20 61 6e  ected to have an
19b0: 20 65 78 70 6c 69 63 69 74 20 47 65 6f 6d 65 74   explicit Geomet
19c0: 72 79 2c 20 72 65 73 70 65 63 74 69 76 65 6c 79  ry, respectively
19d0: 20 6f 66 20 74 68 65 20 50 4f 49 4e 54 20 61 6e   of the POINT an
19e0: 64 20 4c 49 4e 45 53 54 52 49 4e 47 20 74 79 70  d LINESTRING typ
19f0: 65 2e 3c 2f 6c 69 3e 0d 0a 3c 2f 75 6c 3e 0d 0a  e.</li>..</ul>..
1a00: 3c 2f 74 64 3e 3c 2f 74 72 3e 3c 2f 74 61 62 6c  </td></tr></tabl
1a10: 65 3e 0d 0a 3c 2f 74 64 3e 3c 74 64 3e 0d 0a 3c  e>..</td><td>..<
1a20: 74 61 62 6c 65 3e 0d 0a 3c 74 72 3e 3c 74 64 3e  table>..<tr><td>
1a30: 0d 0a 3c 69 6d 67 20 73 72 63 3d 22 68 74 74 70  ..<img src="http
1a40: 3a 2f 2f 77 77 77 2e 67 61 69 61 2d 67 69 73 2e  ://www.gaia-gis.
1a50: 69 74 2f 67 61 69 61 2d 73 69 6e 73 2f 74 6f 70  it/gaia-sins/top
1a60: 6f 6e 65 74 2e 70 6e 67 22 20 61 6c 74 3d 22 74  onet.png" alt="t
1a70: 6f 70 6f 6c 6f 67 79 2d 6e 65 74 77 6f 72 6b 22  opology-network"
1a80: 3e 0d 0a 3c 2f 74 64 3e 3c 2f 74 72 3e 3c 2f 74  >..</td></tr></t
1a90: 61 62 6c 65 3e 0d 0a 3c 2f 74 64 3e 3c 2f 74 72  able>..</td></tr
1aa0: 3e 0d 0a 3c 74 72 3e 3c 74 64 20 63 6f 6c 73 70  >..<tr><td colsp
1ab0: 61 6e 3d 22 32 22 3e 0d 0a 3c 74 61 62 6c 65 20  an="2">..<table 
1ac0: 61 6c 69 67 6e 3d 22 63 65 6e 74 65 72 22 20 62  align="center" b
1ad0: 67 63 6f 6c 6f 72 3d 22 23 66 38 66 38 66 30 22  gcolor="#f8f8f0"
1ae0: 3e 0d 0a 3c 74 72 3e 3c 74 64 3e 0d 0a 3c 68 34  >..<tr><td>..<h4
1af0: 3e 43 6f 6e 73 69 73 74 65 6e 63 79 20 72 65 71  >Consistency req
1b00: 75 69 72 65 6d 65 6e 74 73 20 66 6f 72 20 49 53  uirements for IS
1b10: 4f 20 54 6f 70 6f 6c 6f 67 79 2d 4e 65 74 77 6f  O Topology-Netwo
1b20: 72 6b 20 2d 20 53 70 61 74 69 61 6c 20 4e 65 74  rk - Spatial Net
1b30: 77 6f 72 6b 3c 2f 68 34 3e 0d 0a 3c 6f 6c 3e 0d  work</h4>..<ol>.
1b40: 0a 3c 6c 69 3e 61 6c 6c 20 74 6f 70 6f 6c 6f 67  .<li>all topolog
1b50: 69 63 61 6c 20 63 6f 6d 70 6c 65 78 65 73 20 61  ical complexes a
1b60: 72 65 20 66 75 6c 6c 79 20 64 65 63 6f 6d 70 6f  re fully decompo
1b70: 73 65 64 20 69 6e 74 6f 20 74 68 65 69 72 20 74  sed into their t
1b80: 6f 70 6f 6c 6f 67 69 63 61 6c 20 70 72 69 6d 69  opological primi
1b90: 74 69 76 65 73 2e 3c 2f 6c 69 3e 0d 0a 3c 6c 69  tives.</li>..<li
1ba0: 3e 61 6c 6c 20 65 64 67 65 20 67 65 6f 6d 65 74  >all edge geomet
1bb0: 72 69 65 73 20 68 61 76 65 20 61 20 73 74 61 72  ries have a star
1bc0: 74 20 70 6f 69 6e 74 20 65 71 75 61 6c 20 74 6f  t point equal to
1bd0: 20 74 68 65 20 67 65 6f 6d 65 74 72 79 20 6f 66   the geometry of
1be0: 20 74 68 65 69 72 20 73 74 61 72 74 20 6e 6f 64   their start nod
1bf0: 65 2e 3c 2f 6c 69 3e 0d 0a 3c 6c 69 3e 61 6c 6c  e.</li>..<li>all
1c00: 20 65 64 67 65 20 67 65 6f 6d 65 74 72 69 65 73   edge geometries
1c10: 20 68 61 76 65 20 61 20 65 6e 64 20 70 6f 69 6e   have a end poin
1c20: 74 20 65 71 75 61 6c 20 74 6f 20 74 68 65 20 67  t equal to the g
1c30: 65 6f 6d 65 74 72 79 20 6f 66 20 74 68 65 69 72  eometry of their
1c40: 20 65 6e 64 20 6e 6f 64 65 2e 3c 2f 6c 69 3e 0d   end node.</li>.
1c50: 0a 3c 6c 69 3e 61 6c 6c 20 67 65 6f 6d 65 74 72  .<li>all geometr
1c60: 69 65 73 20 66 6f 72 20 74 68 65 20 74 6f 70 6f  ies for the topo
1c70: 6c 6f 67 79 20 68 61 76 65 20 74 68 65 20 73 61  logy have the sa
1c80: 6d 65 20 73 70 61 74 69 61 6c 20 72 65 66 65 72  me spatial refer
1c90: 65 6e 63 65 20 73 79 73 74 65 6d 2e 3c 2f 6c 69  ence system.</li
1ca0: 3e 0d 0a 3c 2f 6f 6c 3e 0d 0a 3c 2f 74 64 3e 3c  >..</ol>..</td><
1cb0: 2f 74 72 3e 0d 0a 3c 2f 74 61 62 6c 65 3e 0d 0a  /tr>..</table>..
1cc0: 0d 0a 3c 2f 74 64 3e 3c 2f 74 72 3e 3c 2f 74 61  ..</td></tr></ta
1cd0: 62 6c 65 3e 0d 0a 3c 2f 74 61 62 6c 65 3e 0d 0a  ble>..</table>..
1ce0: 3c 74 61 62 6c 65 20 77 69 64 74 68 3d 22 31 30  <table width="10
1cf0: 30 25 22 3e 3c 74 72 3e 0d 0a 3c 74 64 20 77 69  0%"><tr>..<td wi
1d00: 64 74 68 3d 22 33 33 25 22 20 61 6c 69 67 6e 3d  dth="33%" align=
1d10: 22 6c 65 66 74 22 3e 3c 2f 74 64 3e 0d 0a 3c 74  "left"></td>..<t
1d20: 64 20 61 6c 69 67 6e 3d 22 63 65 6e 74 65 72 22  d align="center"
1d30: 3e 3c 61 20 68 72 65 66 3d 22 68 74 74 70 73 3a  ><a href="https:
1d40: 2f 2f 77 77 77 2e 67 61 69 61 2d 67 69 73 2e 69  //www.gaia-gis.i
1d50: 74 2f 66 6f 73 73 69 6c 2f 6c 69 62 73 70 61 74  t/fossil/libspat
1d60: 69 61 6c 69 74 65 2f 77 69 6b 69 3f 6e 61 6d 65  ialite/wiki?name
1d70: 3d 6d 69 73 63 2d 64 6f 63 73 22 3e 62 61 63 6b  =misc-docs">back
1d80: 20 74 6f 20 69 6e 64 65 78 3c 2f 61 3e 3c 2f 74   to index</a></t
1d90: 64 3e 0d 0a 3c 74 64 20 77 69 64 74 68 3d 22 33  d>..<td width="3
1da0: 33 25 22 20 61 6c 69 67 6e 3d 22 72 69 67 68 74  3%" align="right
1db0: 22 3e 3c 61 20 68 72 65 66 3d 22 68 74 74 70 73  "><a href="https
1dc0: 3a 2f 2f 77 77 77 2e 67 61 69 61 2d 67 69 73 2e  ://www.gaia-gis.
1dd0: 69 74 2f 66 6f 73 73 69 6c 2f 6c 69 62 73 70 61  it/fossil/libspa
1de0: 74 69 61 6c 69 74 65 2f 77 69 6b 69 3f 6e 61 6d  tialite/wiki?nam
1df0: 65 3d 74 6f 70 6f 2d 6c 61 79 6f 75 74 22 3e 6e  e=topo-layout">n
1e00: 65 78 74 20 70 61 67 65 3c 2f 61 3e 3c 2f 74 64  ext page</a></td
1e10: 3e 0d 0a 3c 2f 74 72 3e 3c 2f 74 61 62 6c 65 3e  >..</tr></table>
1e20: 0d 0a 0a 5a 20 38 62 64 66 39 36 35 35 34 66 64  ...Z 8bdf96554fd
1e30: 38 33 33 37 30 61 32 61 61 35 31 66 63 37 34 35  83370a2aa51fc745
1e40: 62 39 61 37 30 0a                                b9a70.