]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/sqlStatements.mli
- added sql statements for querying forward and backward dependencies
[helm.git] / components / metadata / sqlStatements.mli
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
+