]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql_db_map.txt
removed (now useless) connection string line
[helm.git] / helm / 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
23 backpointer -> refobj
24             ->