Abstract

In this episode, we delve into the concepts of the Business Rule Completeness Conjecture (BRCC) and the Conceptual Model Completeness Conjecture (CMCC), showcasing how a single ACID-compliant datastore can unify both geometric logic and business rules. Through the lens of “triangleness,” we demonstrate how fundamental geometry (like identifying right angles and proving the Pythagorean theorem) can co-exist seamlessly with enterprise workflows, all in the same declarative environment.

Zero-to-Sixty Podcast summary webpage for this episode.

Title: Unified Declarative Logic: Triangleness & Beyond

Chapters

• Introduction

• Introduces the notion that “triangleness” can serve as a practical “Trojan Horse” for understanding broad, universal declarative models. Also frames how these concepts might fundamentally shift enterprise systems.

• From Triangleness to Turing-Completeness

• Highlights the step-by-step modeling of triangular geometry in a simple ACID datastore, illustrating how this approach scales to any computable logic—geometric or otherwise.

• The Five Declarative Primitives

• Summarizes Schema, Data, Lookups, Aggregations, and Calculated Fields as the only building blocks needed to capture both geometry and business logic, without resorting to domain-specific languages.

• Time & Transactions

• Explains how ACID properties allow time to be treated as another dimension in the data model, ensuring consistency when shapes (or business data) evolve over time or undergo multiple transactions.

• Falsification Challenge

• Outlines the open call for counterexamples that cannot be modeled in this purely declarative approach. Invites listeners to test the boundaries of BRCC and CMCC in their own domains.

Executive Summary

This episode offers an in-depth perspective on how and why the Business Rule Completeness Conjecture (BRCC) and the Conceptual Model Completeness Conjecture (CMCC) propose that all computable rules—ranging from geometry theorems to complex enterprise workflows—can be represented in a unified, ACID-based datastore. Below are the key insights and implications in a concise overview:

• Why Triangleness Matters

  • Conceptual Entry Point: Although “triangleness” may seem trivial, modeling triangles fully (counting edges, interior angles, verifying right angles) reveals deeper truths about any system of rules.

  • Declarative Approach: Everything from angle sums (180°) to the Pythagorean theorem (a² + b² = c²) can be written in aggregator or formula fields, eliminating the need for external code.

• The Five Primitives & ACID

  • S (Schema), D (Data), L (Lookups), A (Aggregations), F (Calculated Fields): These form a complete toolbox for expressing rules, constraints, and computations purely at the data-model level.

  • ACID Guarantees: Because schema and data remain transactionally consistent, updates to “edge length,” “sum of angles,” or “price discount” can all happen without drifting out of sync.

• From Geometry to Business

  • Enterprise Logic: The same pattern that detects right triangles can likewise implement business rules for invoicing, compliance, or product discounts.

  • Unification: This unified approach simplifies cross-department collaboration, reducing the proliferation of DSLs, code transformations, and “model drift.”

• Falsifiability & Future Outlook

  • Challenge for Skeptics: The podcast calls on domain experts to offer any rule or system that might break this universal approach, advancing collective understanding whether or not a valid counterexample emerges.

  • Broader Vision: Should no valid counterexample appear, we may be on the cusp of a universal method to store, evolve, and enforce all sorts of rules—from polygons in geometry to policies in finance.

Altogether, this episode drives home that by focusing on triangleness, we illuminate a promising framework that merges rigorous mathematical thinking with everyday enterprise needs. If these principles gain wide adoption, they could drastically reduce the fragmentation caused by specialized languages and tooling—paving the way for a more integrated and efficient future in both academic and industrial settings.