poly_db_server/server-todos at master · solros/poly_db_server · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
This file documents the steps I performed on the polymake server in order to get the database running.

* Install MongoDB
	- Download and move everything into /usr/local/bin

* Install pymongo (Python module):
	sudo easy_install pymongo

* Set up a config file /etc/mongodb.conf:

	fork = true		(needed to run mongodb as deamon)
	port = 27017
	quiet = true
	dbpath = /polymake/mongodb	(here all data will be stored)
	logpath = /polymake/mongodb/log/mongod.log	(logfile)
	logappend = true	(do not overwrite existing logfile)
	journal = true
	auth = true

* A second config file for easier administration and data insertion:

	fork = true		(needed to run mongodb as deamon)
	bind_ip = 127.0.0.1
	port = 27017
	quiet = true
	dbpath = /polymake/mongodb	(here all data will be stored)
	logpath = /polymake/mongodb/log/mongod.log	(logfile)
	logappend = true	(do not overwrite existing logfile)
	journal = true


* Make sure the folder /polymake/mongodb and everything below belongs to polytrac

* Start Mongo Deamon (as polytrac):
	mongod --config /etc/mongodb.conf

* Insert data using xml2db.py. (This takes as input a database_name, a collection_name, a contributor and a list of polymake files -- currently it prints processing time.) -- The data then goes into database_name.collection_name.

* open up port 27017
	- on polymake server at TUD we have to edit Holger's firewall settings

* authentication
	- useradmin with roles: userAdminAnyDatabase (manages users, MongoDB superuser)
	- admin with roles: dbAdminAnyDatabase, readWriteAnyDatabase, clusterAdmin
	- silke with roles: readWriteAnyDatabase
	- polymake with roles: read (user for everyone, may only read certain databases, password is 'database')


* If you start a new database make sure polymake user has read access.
	use new_db
	db.addUser({user:"polymake", userSource:"admin", roles: ["read"]})


* To stop the mongo daemon do:
	use admin
	db.shutdownServer()


TODOs:

* discuss database structure
* preprocess polymake files (compute missing props)
* indexing

* web interface