]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql_db_map.txt
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / mathql_db_map.txt
1 dbname=mowgli user=helm
2
3 objectname  source       <+ 
4 objectname  value        <- objectName 
5 refobj                   <- refObj
6 refobj      source       <- 
7 refobj      h_occurrence <- refObj      h:occurrence
8 refobj      h_position   <- refObj      h:position
9 refobj      h_depth      <- refObj      h:depth
10 refrel                   <- refRel
11 refrel      source       <- 
12 refrel      h_position   <- refRel      h:position
13 refrel      h_depth      <- refRel      h:depth
14 refsort                  <- refSort
15 refsort     source       <- 
16 refsort     h_sort       <- refSort     h:sort
17 refsort     h_position   <- refSort     h:position
18 refsort     h_depth      <- refSort     h:depth
19 backpointer              <- backPointer
20 backpointer source       <- backPointer h:occurrence
21 backpointer h_occurrence <- 
22 backpointer h_position   <- backPointer h:position
23 backpointer h_depth      <- backPointer h:depth
24
25 backpointer -> refobj
26             ->