parameter sintax added to axiom statement

[helm.git] / helm / software / components / metadata / sqlStatements.mli

diff --git a/helm/software/components/metadata/sqlStatements.mli b/helm/software/components/metadata/sqlStatements.mli
index 9f9af55ef91d8b7b459bdaa45b7734d6fb86861c..ca780ee1520977519798497c8cbe5e5dfcb0f7a1 100644 (file)
--- a/helm/software/components/metadata/sqlStatements.mli
+++ b/helm/software/components/metadata/sqlStatements.mli
@@ -36,10 +36,24 @@ type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Hits| `Count]
 val create_tables: (string * tbl) list -> string list
 val create_indexes: (string * tbl) list -> string list
 val drop_tables: (string * tbl) list -> string list
-val drop_indexes: (string * tbl) list -> string list
+val drop_indexes: (string * tbl) list -> HSql.dbtype -> HSql.dbd -> string list
 val rename_tables: (string * string) list -> string list
 
 (** @param refObj name of the refObj table
  * @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 -> HSql.dbtype ->
+        HSql.dbd -> string
+
+(** @param refObj name of the refObj table
+ * @param src uri of the desired 'source' field *)
+val direct_deps: string -> UriManager.uri -> HSql.dbtype -> HSql.dbd -> string
+
+(** @param refObj name of the refObj table
+ * @param src uri of the desired 'h_occurrence' field *)
+val inverse_deps: string -> UriManager.uri -> HSql.dbtype -> HSql.dbd -> string
+