Just as Codd's discovery of relational algebra as a formal basis for SQL shifted the database industry from a monopolistically competitive market to an oligopoly and thus propelled a billion-dollar industry around SQL and foreign-/primary-key stores, we believe that our categorical data-model formalization model and monadic query language will allow the same economic growth to occur for coSQL key-value stores.
In other words: "this article will move mountains".
Disclaimer: I did not dive into their mathematical adventures, but am rather fascinated by their underlying economical foundation: If a market offers choice (the "monopolistically competitive market") it will not deliver profit in the long run. If it's a oligopoly on the other hand, said oligopoly can retain profits for a long time to come.
What is this? Tautological? Suicide of the market? At least it's spelled out that the user is the loser in that system.
One of the authors is Erik Meijer, who was key to getting LINQ into Microsoft's C# and VB products. It'd be quite interesting if Microsoft seriously worked on alternative data stores for SQL Server.
Just as Codd's discovery of relational algebra as a formal basis for SQL shifted the database industry from a monopolistically competitive market to an oligopoly and thus propelled a billion-dollar industry around SQL and foreign-/primary-key stores, we believe that our categorical data-model formalization model and monadic query language will allow the same economic growth to occur for coSQL key-value stores.
In other words: "this article will move mountains".
Let's wait and see!