X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fmathql_db_map.txt;fp=helm%2Fmathql%2Fmathql_db_map.txt;h=c58d843d29163b52d03e7cdf117f7e0dc669ec5f;hb=ab72cb44a09c93e1d540f7ac9bc7eae2f4d09f2f;hp=0000000000000000000000000000000000000000;hpb=951069678fea0d6dcdde984320ec5057ddc57c3c;p=helm.git

diff --git a/helm/mathql/mathql_db_map.txt b/helm/mathql/mathql_db_map.txt
new file mode 100644
index 000000000..c58d843d2
--- /dev/null
+++ b/helm/mathql/mathql_db_map.txt
@@ -0,0 +1,26 @@
+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 
+
+backPointer -> refObj
+            ->