Capability Safety as Datalog: A Foundational Equivalence
Logic in Computer Science
2026-03-31 v1 Artificial Intelligence
Abstract
We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic), enabling the transfer of algorithmic and structural results unavailable in the native formulation. This addresses two structural limitations of the capability hypergraph framework of Spera [2026]: the absence of efficient incremental maintenance, and the absence of a decision procedure for audit surface containment. The equivalence is tight: capability hypergraphs correspond to exactly this fragment, no more.
Keywords
Cite
@article{arxiv.2603.26725,
title = {Capability Safety as Datalog: A Foundational Equivalence},
author = {Cosimo Spera},
journal= {arXiv preprint arXiv:2603.26725},
year = {2026}
}