X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.mli;h=72433c811f6506d15f6f38d26622945cf0b39b3b;hb=36809208fa25a494e50004b321fa9a90108ae262;hp=9f9af55ef91d8b7b459bdaa45b7734d6fb86861c;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.mli b/helm/software/components/metadata/sqlStatements.mli
index 9f9af55ef..72433c811 100644
--- a/helm/software/components/metadata/sqlStatements.mli
+++ b/helm/software/components/metadata/sqlStatements.mli
@@ -43,3 +43,16 @@ val rename_tables: (string * string) list -> string list
  * @param hits name of the hits table *)
 val fill_hits: string -> string -> string list
 
+(** move content [t1] [t2] [buri] 
+ *  moves all the tuples with 'source' that match regex '^buri' from t1 to t2
+ *  *)
+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
+