What if data didn't need code to run? This 'domain-algebraic' engine makes data compute itself through its own structure.
April 14, 2026
Original Paper
Reasoning as Data: Representation-Computation Unity and Its Implementation in a Domain-Algebraic Inference Engine
arXiv · 2604.10908
The Takeaway
By embedding context into the arity of data tuples, this engine eliminates the gap between storage and computation. It challenges the 'passive data, active code' axiom of CS, allowing the information's structure to function as the algorithm.
From the abstract
Every existing knowledge system separates storage from computation. We show this separation is unnecessary and eliminate it. In a standard triple is_a(Apple, Company), domain context lives in the query or the programmer's mind. In a CDC four-tuple is_a(Apple, Company, @Business), domain becomes a structural field embedded in predicate arity. Any system respecting arity automatically performs domain-scoped inference without external rules. We call this representation-computation unity (RCU). From