]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/sqlStatements.ml
- added sql statements for querying forward and backward dependencies
[helm.git] / components / metadata / sqlStatements.ml
index 42fcebec0f65b523f21f0ca89f5d82d6b2bd4820..5469aebb8ab1387bc5f1a672bcc793f682864db8 100644 (file)
@@ -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)
 
-