cs.DBMar 13, 2026

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems

Authors: Matthew Alford

Organizations: Network Service Group

Abstract

We prove The Equivalence Theorem: structurally complete knowledge representation requires exactly four mutually entailing capabilities -- n-ary relationships with attributes, temporal validity, uncertainty quantification, and causal relationships between relationships -- collectively equivalent to treating relationships as first-class objects. Any system implementing one capability necessarily requires all four; any system missing one cannot achieve structural completeness. This result is constructive: we exhibit an Attributed Temporal Causal Hypergraph (ATCH) framework satisfying all four conditions simultaneously. The theorem yields a strict expressiveness hierarchy -- SQL < LPG < TypeDB < ATCH -- with witness queries that are structurally inexpressible at each lower level. We establish computational complexity bounds showing NP-completeness for general queries but polynomial-time tractability for practical query classes (acyclic patterns, bounded-depth causal chains, windowed temporal queries). As direct corollaries, we derive solutions to classical AI problems: the Frame Problem (persistence by default from temporal validity), conflict resolution (contradictions as unresolved metadata with hidden variable discovery), and common sense reasoning (defaults with causal inhibitors). A prototype PostgreSQL extension in C validates practical feasibility within the established complexity bounds.

Figures & tables

Explore similar work

CardsList
  1. Evidence-Guided Schema Normalization for Temporal Tabular Reasoning

    Nov 29, 2025Ashish Thanga, Vibhu Dixit, Abhilash Shankarampeta +1KG ConstructionTable QA

  2. RDL-Bench: A Benchmark for Task-Aware Question Answering over Relational Databases

    Oct 15, 2026Yao Cheng, Siqiang LuoTable QARelational Databases