]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/create_mowgli_tables.mysql.sql
added the count table
[helm.git] / helm / metadata / sql / create_mowgli_tables.mysql.sql
index bc2e2846004955089f0a71b3e22e689d5b303c26..d0846ec7ca8df44729c9a6c8695e4c9a9d111682 100644 (file)
@@ -21,11 +21,11 @@ CREATE TABLE objectName (
     value varchar(255) binary not null
 );
 CREATE TABLE no_inconcl_aux (
-    source varchar(255) binary not null,
+    source varchar(255) binary unique not null,
     no smallint(6) not null
 );
 CREATE TABLE no_concl_hyp (
-    source varchar(255) binary not null,
+    source varchar(255) binary unique not null,
     no smallint(6) not null
 );
 CREATE TABLE no_hyp (
@@ -37,6 +37,13 @@ CREATE TABLE owners (
     owner varchar(255) binary not null
 );
 
+CREATE TABLE count (
+    source varchar(255) binary unique not null,
+    conclusion smallint(6) not null,
+    hypothesis smallint(6) not null,
+    statement smallint(6) not null
+);
+
 CREATE INDEX refObj_source ON refObj (source);
 CREATE INDEX refObj_target ON refObj (h_occurrence);
 CREATE INDEX refObj_position ON refObj (h_position);