X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_db_map.txt;h=c58d843d29163b52d03e7cdf117f7e0dc669ec5f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=33db1f0c8a4c39f6b0d9feb5be28c2bd22f4123e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
index 33db1f0c8..c58d843d2 100644
--- a/helm/mathql_db_map.txt
+++ b/helm/mathql_db_map.txt
@@ -1,26 +1,26 @@
-dbname=mowgli user=helm
+objectName  source       <+ 
+objectName  value        <- objectName 
+refObj                   <- refObj
+refObj      source       <- 
+refObj      h_occurrence <- refObj      h:occurrence
+refObj      h_position   <- refObj      h:position
+refObj      h_depth      <- refObj      h:depth
+refRel                   <- refRel
+refRel      source       <- 
+refRel      h_position   <- refRel      h:position
+refRel      h_depth      <- refRel      h:depth
+refSort                  <- refSort
+refSort     source       <- 
+refSort     h_sort       <- refSort     h:sort
+refSort     h_position   <- refSort     h:position
+refSort     h_depth      <- refSort     h:depth
+backPointer              <- backPointer
+backPointer source       <- backPointer h:occurrence
+backPointer h_occurrence <- 
+backPointer h_position   <- backPointer h:position
+backPointer h_depth      <- backPointer h:depth
+no_inconcl_aux source    <- 
+no_inconcl_aux no        <- no_inconcl 
 
-objectname  source       <+ 
-objectname  value        <- objectName 
-refobj                   <- refObj
-refobj      source       <- 
-refobj      h_occurrence <- refObj      h:occurrence
-refobj      h_position   <- refObj      h:position
-refobj      h_depth      <- refObj      h:depth
-refrel                   <- refRel
-refrel      source       <- 
-refrel      h_position   <- refRel      h:position
-refrel      h_depth      <- refRel      h:depth
-refsort                  <- refSort
-refsort     source       <- 
-refsort     h_sort       <- refSort     h:sort
-refsort     h_position   <- refSort     h:position
-refsort     h_depth      <- refSort     h:depth
-backpointer              <- backPointer
-backpointer source       <- backPointer h:occurrence
-backpointer h_occurrence <- 
-backpointer h_position   <- backPointer h:position
-backpointer h_depth      <- backPointer h:depth
-
-backpointer -> refobj
+backPointer -> refObj
             ->