Abstract:The interplay between local consistency and global consistency has been the object of study in several different areas, including probability theory, relational databases, and quantum information. For relational databases, Beeri, Fagin, Maier, and Yannakakis showed that a database schema is acyclic if and only if it has the local-to-global consistency property for relations, which means that every collection of pairwise consistent relations over the schema is globally consistent. More recently, the same result has been shown under bag semantics. In this paper, we carry out a systematic study of local vs.\ global consistency for relations over positive commutative monoids, which is a common generalization of ordinary relations and bags. Let $\mathbb K$ be an arbitrary positive commutative monoid. We begin by showing that acyclicity of the schema is a necessary condition for the local-to-global consistency property for $\mathbb K$-relations to hold. Unlike the case of ordinary relations and bags, however, we show that acyclicity is not always sufficient. After this, we characterize the positive commutative monoids for which acyclicity is both necessary and sufficient for the local-to-global consistency property to hold; this characterization involves a combinatorial property of monoids, which we call the \emph{transportation property}. We then identify several different classes of monoids that possess the transportation property. As our final contribution, we introduce a modified notion of local consistency of $\mathbb{K}$-relations, which we call \emph{pairwise consistency up to the free cover}. We prove that, for all positive commutative monoids $\mathbb{K}$, even those without the transportation property, acyclicity is both necessary and sufficient for every family of $\mathbb{K}$-relations that is pairwise consistent up to the free cover to be globally consistent.

A general tool for consistency results related to I1

The relative consistency of g<cf(Sym(omega))

Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator

How to play the Accordion. Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus

On the consistency strength of the proper forcing axiom

The consistency of 2^{aleph_{0}}> aleph_{omega} + I(aleph_{2})=I(aleph_{omega})

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

More conservativity for weak Kőnig's lemma

A generalization of combinatorial identities for stable discrete series constants

An isomorphism theorem for models of weak König’s lemma without primitive recursion

Simultaneously nonvanishing higher derived limits

Serial Properties, Selector Proofs, and the Provability of Consistency

Consistency, Optimality, and Incompleteness

A note on the consistency operator

Models with second order properties, V: A General principle

Consistency of Relations over Monoids

Higher uniformity of arithmetic functions in short intervals I. All intervals

On the Consistency Strength of MM($ω_1$)

A Note on Aubin-Lions-Dubinskiĭ Lemmas

A general theory of iterated forcing using finitely additive measures