X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fmetadata%2FsqlStatements.ml;h=86cffbd1be7f610476aa935c3948f999cfadc43d;hb=3cfd4bb3d93b84b4b59ac04265ec00e5f5253c02;hp=a08073965fcb2211e2d7ec63caeefdf96dda6c0a;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/metadata/sqlStatements.ml b/components/metadata/sqlStatements.ml
index a08073965..86cffbd1b 100644
--- a/components/metadata/sqlStatements.ml
+++ b/components/metadata/sqlStatements.ml
@@ -198,3 +198,17 @@ let fill_hits refObj hits =
       hits refObj ]
 
 
+let move_content (name1, tbl1) (name2, tbl2) buri =
+  assert (tbl1 = tbl2);
+  sprintf 
+    "INSERT INTRO %s SELECT * FROM %s WHERE source LIKE \"%s%%\";"   
+    name2 name1 (HMysql.escape buri)
+
+let direct_deps refObj uri =
+  sprintf "SELECT * FROM %s WHERE source = \"%s\";"
+    (HMysql.escape refObj) (UriManager.string_of_uri uri)
+
+let inverse_deps refObj uri =
+  sprintf "SELECT * FROM %s WHERE h_occurrence = \"%s\";"
+    (HMysql.escape refObj) (UriManager.string_of_uri uri)
+