X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.mli;h=72433c811f6506d15f6f38d26622945cf0b39b3b;hb=4f12c6bc7fb5f1ba3bd42f78abddb77b3b0a8f93;hp=90a6b64b4500d96600d6a1de9795a5c3a264aef4;hpb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.mli b/helm/software/components/metadata/sqlStatements.mli
index 90a6b64b4..72433c811 100644
--- a/helm/software/components/metadata/sqlStatements.mli
+++ b/helm/software/components/metadata/sqlStatements.mli
@@ -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
+