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

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
new file mode 100644
index 000000000..33db1f0c8
--- /dev/null
+++ b/helm/mathql_db_map.txt
@@ -0,0 +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
+
+backpointer -> refobj
+            ->