Prof Carlsson&#x27;s (<a href="http:&#x2F;&#x2F;math.stanford.edu&#x2F;~gunnar&#x2F;" rel="nofollow">http:&#x2F;&#x2F;math.stanford.edu&#x2F;~gunnar&#x2F;</a>) &quot;Topology and Data&quot; paper provides a good overview: <a href="http:&#x2F;&#x2F;www.ams.org&#x2F;journals&#x2F;bull&#x2F;2009-46-02&#x2F;S0273-0979-09-01249-X&#x2F;S0273-0979-09-01249-X.pdf" rel="nofollow">http:&#x2F;&#x2F;www.ams.org&#x2F;journals&#x2F;bull&#x2F;2009-46-02&#x2F;S0273-0979-09-01...</a><p>My recent dive into the literature has enlightened my thinking in terms of database and systems design. It has led me to think more in terms of properties, invariants, intervals, constraints, and dynamic fluidity -- &quot;there are no things&quot; (only actions and properties): <a href="https:&#x2F;&#x2F;edge.org&#x2F;response-detail&#x2F;11514" rel="nofollow">https:&#x2F;&#x2F;edge.org&#x2F;response-detail&#x2F;11514</a><p>Maybe the antiquated abstractions we have been using for database systems is what limits us. Maybe we need to stop thinking in terms of things -- objects, partitions, and static state -- and start thinking in terms of millions of fluid dynamic processes. Maybe Jim Starkey is on the right track: <a href="http:&#x2F;&#x2F;www.nuodb.com&#x2F;about-us&#x2F;jim-starkey" rel="nofollow">http:&#x2F;&#x2F;www.nuodb.com&#x2F;about-us&#x2F;jim-starkey</a>.<p>Sussman seems to be converging there too -- see his talk &quot;We Really Don&#x27;t Know How to Compute&quot; (<a href="http:&#x2F;&#x2F;www.infoq.com&#x2F;presentations&#x2F;We-Really-Dont-Know-How-To-Compute" rel="nofollow">http:&#x2F;&#x2F;www.infoq.com&#x2F;presentations&#x2F;We-Really-Dont-Know-How-T...</a>) and his work on the Propagator (<a href="https:&#x2F;&#x2F;github.com&#x2F;ProjectMAC&#x2F;propagators" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ProjectMAC&#x2F;propagators</a>).<p>The rapid flow of data id stressing our system designs is making this more apparent, and we&#x27;re starting to see stream processing systems emerge like Google Dataflow and Apache Flink. Ideas from functional programming and immutable state are looking more prescient. Now our database management systems need to evolve.<p><pre><code>  &quot;At no period in human culture have men understood the     
  psychic mechanisms involved in invention and technology. 
  Today it is the instant speed of electric information that, 
  for the first time, permits easy recognition of the 
  patterns and the formal contours of change and development. 
  The entire world, past and present, now reveals itself to 
  us like a growing plant in an enormously accelerated movie. 
  Electric speed is synonymous with light and with the 
  understanding of causes.&quot;

  — Marshal McLuhan, Understanding Media: The Extensions of Man (1964)
</code></pre>
&#x27;okram&#x27;s recent paper provides a new graph-based model for stateless functional flows that could be applied in other systems: See &quot;Quantum Walks with Gremlin&quot; (<a href="http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1511.06278v1.pdf" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1511.06278v1.pdf</a>)<p>And Vladimir Kornyak touches on some of these ideas in these papers:<p>1. On Compatibility of Discrete Relations (2005) <a href="http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;math-ph&#x2F;0504048.pdf" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;math-ph&#x2F;0504048.pdf</a><p>2. Structural and Symmetry Analysis of Discrete Dynamical Systems (2010) <a href="http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1006.1754.pdf" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1006.1754.pdf</a><p>3. Discrete Dynamical Models: Combinatorics, Statistics and Continuum Approximations (2015) <a href="http:&#x2F;&#x2F;mmg.tversu.ru&#x2F;images&#x2F;publications&#x2F;2015-vol3-n1&#x2F;Kornyak-2015-01-05.pdf" rel="nofollow">http:&#x2F;&#x2F;mmg.tversu.ru&#x2F;images&#x2F;publications&#x2F;2015-vol3-n1&#x2F;Kornya...</a>