X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fmetadata%2FsqlStatements.mli;h=ca780ee1520977519798497c8cbe5e5dfcb0f7a1;hb=6ad533c972e6c9e9db53f38f972e7c0792160f2e;hp=72433c811f6506d15f6f38d26622945cf0b39b3b;hpb=e1b2215f8df16ec48f634bf19d0f2e7e3305d189;p=helm.git

diff --git a/components/metadata/sqlStatements.mli b/components/metadata/sqlStatements.mli
index 72433c811..ca780ee15 100644
--- a/components/metadata/sqlStatements.mli
+++ b/components/metadata/sqlStatements.mli
@@ -36,7 +36,7 @@ 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
@@ -46,13 +46,14 @@ 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
+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 -> string
+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 -> string
+val inverse_deps: string -> UriManager.uri -> HSql.dbtype -> HSql.dbd -> string