web browser (app JS) -> AJAX requests -> ngx_openresty (nginx + nginx modules)
 -> mysql cluster
 -> RealTimeInterface

TCP prococol
memcached

libdrizzle (libmysql)

Perl
nginx -> ngx_fastcgi -> FCGI/LZ::RTI

Hive/Hadoop (data warehouse)
random generator MB

formal proof (lambda calculus)
OO exception

test

input tables
  -> perl ref impl  -> output tables (ref ans)
  -> hive datahouse -> xxx (strong prove) ref ans

DSL  -> Perl reference implementation (mysql)
     -> Hive warehouse

compare

human assertions
human-proved ans (standard ans)

online data testing (weak prove)