X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.ml;h=5469aebb8ab1387bc5f1a672bcc793f682864db8;hb=39a3a05b745309703a5010d3da3e2a12c7228064;hp=42fcebec0f65b523f21f0ca89f5d82d6b2bd4820;hpb=41818e7e1f465ca2062b1937dd432fc81fe777d6;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.ml b/helm/software/components/metadata/sqlStatements.ml
index 42fcebec0..5469aebb8 100644
--- a/helm/software/components/metadata/sqlStatements.ml
+++ b/helm/software/components/metadata/sqlStatements.ml
@@ -202,7 +202,13 @@ let move_content (name1, tbl1) (name2, tbl2) buri =
   assert (tbl1 = tbl2);
   sprintf 
     "INSERT INTRO %s SELECT * FROM %s WHERE source LIKE \"%s%%\";"   
-    name2 name1 buri
+    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)
 
-