Unsolved Questions - Hikkihiki/LogicVerifier GitHub Wiki

Most important:

  1. How to store statements?

  2. Most essential elements for infrastructure? A Database and some micro services, eventually a web server.

  3. What language to use? Expect NO calculation for web server, just use nodeJS, with lots of package for web. For background heavy load tasks that involves calculations, user Python for more scientific package support. Speed is not a main concern.

  4. What database to be used? Criteria of choosing a database? Criteria: 1 Horizontal Scalable 2 Speed 3 Easily Extensible 4 Security (not a single bit should be altered without verification)

Decision: PostgreDB, ORM: Sequelize, CRUD in NodeJS microservice.

  1. Database operation / API?

Less important:

  1. How does horizontal scalable DB works?