Paper P1143 pagesReviewed manuscript
Consistency Models for Distributed Semantic Databases
Which consistency guarantee belongs to each CatDB operation?
Question and scope
an operation-by-operation matrix for transactions, causal broadcast, consensus, replay, validation, freshness, and convergence.
Research artifacts
anomaly model, consistency vocabulary, operation matrix, and administrative checkpoint rules.
Evidence and evaluation
executable histories demonstrating both guaranteed and forbidden observations.
Claim boundary
one broad consistency label describes the platform.