]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/postgresql_V7_mowgli/README
First version of the stuff to create the DB.
[helm.git] / helm / metadata / postgresql_V7_mowgli / README
diff --git a/helm/metadata/postgresql_V7_mowgli/README b/helm/metadata/postgresql_V7_mowgli/README
new file mode 100644 (file)
index 0000000..c3729aa
--- /dev/null
@@ -0,0 +1,27 @@
+* da utente postgres:
+
+    $ createuser helm   # con permessi minimi (i.e. no create altri database,
+                        # no create altri utenti)
+    $ createdb helm
+    $ pg_passwd data/passwords
+      # settare una password
+
+* da un utente qualsiasi:
+
+    $ psql -h mowgli -U helm helm_mowgli_new_schema
+
+     create table registry (uri varchar, id int);
+     CREATE INDEX registry_index ON registry (uri);
+
+     create table objectName (value varchar, uri varchar);
+     CREATE INDEX objectName_index ON objectName (value);
+     CREATE INDEX objectName_rev_index ON objectName (uri);
+
+     create table hrefRel (uri varchar, position varchar, depth int);
+     create table hrefSort (uri varchar, position varchar, sort varchar, depth int);
+
+* svuotamento:
+  drop table tn;
+  delete from registry;
+* svuotamento totale:
+  come postgres: dropdb helm