]> matita.cs.unibo.it Git - helm.git/commitdiff
- added sql statements for querying forward and backward dependencies
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 15:28:24 +0000 (15:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 15:28:24 +0000 (15:28 +0000)
- escaped uri which get embedded in sql statements

helm/software/components/metadata/sqlStatements.ml
helm/software/components/metadata/sqlStatements.mli

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)
 
-  
index 90a6b64b4500d96600d6a1de9795a5c3a264aef4..72433c811f6506d15f6f38d26622945cf0b39b3b 100644 (file)
@@ -48,3 +48,11 @@ val fill_hits: string -> string -> string list
  *  *)
 val move_content: (string * tbl) -> (string * tbl) -> string -> string
 
+(** @param refObj name of the refObj table
+ * @param src uri of the desired 'source' field *)
+val direct_deps: string -> UriManager.uri -> string
+
+(** @param refObj name of the refObj table
+ * @param src uri of the desired 'h_occurrence' field *)
+val inverse_deps: string -> UriManager.uri -> string
+