Postgres pioneer Mike Stonebraker and Spark creator Matei Zaharia have cofounded a venture whose main product is a database-oriented operating system or DBOS — a high-performance distributed database ...