helm/software/mathql/mathql_db_map.txt

   1 objectName  source       <+
   2 objectName  value        <- objectName
   3 refObj                   <- refObj
   4 refObj      source       <-
   5 refObj      h_occurrence <- refObj      h:occurrence
   6 refObj      h_position   <- refObj      h:position
   7 refObj      h_depth      <- refObj      h:depth
   8 refRel                   <- refRel
   9 refRel      source       <-
  10 refRel      h_position   <- refRel      h:position
  11 refRel      h_depth      <- refRel      h:depth
  12 refSort                  <- refSort
  13 refSort     source       <-
  14 refSort     h_sort       <- refSort     h:sort
  15 refSort     h_position   <- refSort     h:position
  16 refSort     h_depth      <- refSort     h:depth
  17 backPointer              <- backPointer
  18 backPointer source       <- backPointer h:occurrence
  19 backPointer h_occurrence <-
  20 backPointer h_position   <- backPointer h:position
  21 backPointer h_depth      <- backPointer h:depth
  22 no_inconcl_aux source    <-
  23 no_inconcl_aux no        <- no_inconcl
  24
  25 backPointer -> refObj
  26             ->