open Printf;;
type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Owners| `Count]

(* TABLES *)

let sprintf_refObj_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary not null,
    h_occurrence varchar(255) binary not null,
    h_position varchar(255) binary not null,
    h_depth integer
);" name]

let sprintf_refSort_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary not null,
    h_position varchar(255) binary not null,
    h_depth integer not null,
    h_sort varchar(255) binary not null
);" name]

let sprintf_refRel_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary not null,
    h_position varchar(255) binary not null,
    h_depth integer not null
);" name]

let sprintf_objectName_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary not null,
    value varchar(255) binary not null
);" name]

let sprintf_owners_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary not null,
    owner varchar(255) binary not null
);" name]

let sprintf_count_format name = [
sprintf "CREATE TABLE %s (
    source varchar(255) binary unique not null,
    conclusion smallint(6) not null,
    hypothesis smallint(6) not null,
    statement smallint(6) not null
);" name]

let sprintf_refObj_drop name = [sprintf "DROP TABLE %s;" name]

let sprintf_refSort_drop name = [sprintf "DROP TABLE %s;" name]

let sprintf_refRel_drop name = [sprintf "DROP TABLE %s;" name]

let sprintf_objectName_drop name = [sprintf "DROP TABLE %s;" name]

let sprintf_owners_drop name = [sprintf "DROP TABLE %s;" name]

let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name]

(* INDEXES *)

let sprintf_refObj_index name = [
sprintf "CREATE INDEX %s_source ON %s (source);" name name ;
sprintf "CREATE INDEX %s_target ON %s (h_occurrence);" name name ;
sprintf "CREATE INDEX %s_position ON %s (h_position);" name name ]

let sprintf_refSort_index name = [sprintf "
CREATE INDEX %s_source ON %s (source);
" name name]

let sprintf_objectName_index name = [
sprintf " CREATE INDEX %s_value ON %s (value);" name name]

let sprintf_owners_index name = [
sprintf "CREATE INDEX %s_owner ON %s (owner);" name name ;
sprintf "CREATE INDEX %s_source ON %s (source);" name name] 

let sprintf_count_index name = [
sprintf "CREATE INDEX %s_source ON %s (source);" name name;
sprintf "CREATE INDEX %s_conclusion ON %s (conclusion);" name name;
sprintf "CREATE INDEX %s_hypothesis ON %s (hypothesis);" name name;
sprintf "CREATE INDEX %s_statement ON %s (statement);" name name]
 
let sprintf_refRel_index name = []

let sprintf_refObj_index_drop name = [
sprintf "DROP INDEX %s_source ON %s;" name name ;
sprintf "DROP INDEX %s_target ON %s;" name name ;
sprintf "DROP INDEX %s_position ON %s;" name name ]

let sprintf_refSort_index_drop name = [sprintf "
DROP INDEX %s_source ON %s;
" name name]

let sprintf_objectName_index_drop name = [
sprintf " DROP INDEX %s_value ON %s;" name name]

let sprintf_owners_index_drop name = [
sprintf "DROP INDEX %s_owner ON %s;" name name ;
sprintf "DROP INDEX %s_source ON %s;" name name] 

let sprintf_count_index_drop name = [
sprintf "DROP INDEX %s_source ON %s;" name name;
sprintf "DROP INDEX %s_conclusion ON %s;" name name;
sprintf "DROP INDEX %s_hypothesis ON %s;" name name;
sprintf "DROP INDEX %s_statement ON %s;" name name]
 
let sprintf_refRel_index_drop name = []

(* FUNCTIONS *)

let get_table_format t named =
  match t with
  | `RefObj -> sprintf_refObj_format named
  | `RefSort -> sprintf_refSort_format named
  | `RefRel -> sprintf_refRel_format named
  | `ObjectName -> sprintf_objectName_format named
  | `Owners -> sprintf_owners_format named
  | `Count -> sprintf_count_format named

let get_index_format t named =
  match t with
  | `RefObj -> sprintf_refObj_index named
  | `RefSort -> sprintf_refSort_index named
  | `RefRel -> sprintf_refRel_index named
  | `ObjectName -> sprintf_objectName_index named
  | `Owners -> sprintf_owners_index named
  | `Count -> sprintf_count_index named

let get_table_drop t named =
  match t with
  | `RefObj -> sprintf_refObj_drop named
  | `RefSort -> sprintf_refSort_drop named
  | `RefRel -> sprintf_refRel_drop named
  | `ObjectName -> sprintf_objectName_drop named
  | `Owners -> sprintf_owners_drop named
  | `Count -> sprintf_count_drop named

let get_index_drop t named =
  match t with
  | `RefObj -> sprintf_refObj_index_drop named
  | `RefSort -> sprintf_refSort_index_drop named
  | `RefRel -> sprintf_refRel_index_drop named
  | `ObjectName -> sprintf_objectName_index_drop named
  | `Owners -> sprintf_owners_index_drop named
  | `Count -> sprintf_count_index_drop named
  
let create_tables l =
  List.fold_left (fun s (name,table) ->  s @ get_table_format table name) [] l

let create_indexes l =
  List.fold_left (fun s (name,table) ->  s @ get_index_format table name) [] l
 
let drop_tables l =
  List.fold_left (fun s (name,table) ->  s @ get_table_drop table name) [] l
  
let drop_indexes l =
  List.fold_left (fun s (name,table) ->  s @ get_index_drop table name) [] l