Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385447783> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4385447783 abstract "In several different settings, one comes across situations in which the objects of study are locally consistent but globally inconsistent. Earlier work about probability distributions by Vorob'ev (1962) and about database relations by Beeri, Fagin, Maier, Yannakakis (1983) produced characterizations of when local consistency always implies global consistency. Towards a common generalization of these results, we consider K-relations, that is, relations over a set of attributes such that each tuple in the relation is associated with an element from an arbitrary, but fixed, positive semiring K. We introduce the notions of projection of a K-relation, consistency of two K-relations, and global consistency of a collection of K-relations; these notions are natural extensions of the corresponding notions about probability distributions and database relations. We then show that a collection of sets of attributes has the property that every pairwise consistent collection of K-relations over those attributes is globally consistent if and only if the sets of attributes form an acyclic hypergraph. This generalizes the aforementioned results by Vorob'ev and by Beeri et al., and demonstrates that K-relations over positive semirings constitute a natural framework for the study of the interplay between local and global consistency. In the course of the proof, we introduce a notion of join of two K-relations and argue that it is the right generalization of the join of two database relations. Furthermore, to show that non-acyclic hypergraphs yield pairwise consistent K-relations that are globally inconsistent, we generalize a construction by Tseitin (1968) in his study of hard-to-prove tautologies in propositional logic." @default.
- W4385447783 created "2023-08-02" @default.
- W4385447783 creator A5003671114 @default.
- W4385447783 creator A5041825861 @default.
- W4385447783 date "2020-09-20" @default.
- W4385447783 modified "2023-10-16" @default.
- W4385447783 title "Consistency, Acyclicity, and Positive Semirings" @default.
- W4385447783 doi "https://doi.org/10.48550/arxiv.2009.09488" @default.
- W4385447783 hasPublicationYear "2020" @default.
- W4385447783 type Work @default.
- W4385447783 citedByCount "0" @default.
- W4385447783 crossrefType "posted-content" @default.
- W4385447783 hasAuthorship W4385447783A5003671114 @default.
- W4385447783 hasAuthorship W4385447783A5041825861 @default.
- W4385447783 hasBestOaLocation W43854477831 @default.
- W4385447783 hasConcept C105795698 @default.
- W4385447783 hasConcept C114614502 @default.
- W4385447783 hasConcept C118615104 @default.
- W4385447783 hasConcept C118930307 @default.
- W4385447783 hasConcept C122377713 @default.
- W4385447783 hasConcept C124101348 @default.
- W4385447783 hasConcept C134306372 @default.
- W4385447783 hasConcept C177148314 @default.
- W4385447783 hasConcept C184898388 @default.
- W4385447783 hasConcept C185429906 @default.
- W4385447783 hasConcept C25343380 @default.
- W4385447783 hasConcept C26320393 @default.
- W4385447783 hasConcept C2776436953 @default.
- W4385447783 hasConcept C2781221856 @default.
- W4385447783 hasConcept C31388003 @default.
- W4385447783 hasConcept C33923547 @default.
- W4385447783 hasConcept C41008148 @default.
- W4385447783 hasConcept C5655090 @default.
- W4385447783 hasConceptScore W4385447783C105795698 @default.
- W4385447783 hasConceptScore W4385447783C114614502 @default.
- W4385447783 hasConceptScore W4385447783C118615104 @default.
- W4385447783 hasConceptScore W4385447783C118930307 @default.
- W4385447783 hasConceptScore W4385447783C122377713 @default.
- W4385447783 hasConceptScore W4385447783C124101348 @default.
- W4385447783 hasConceptScore W4385447783C134306372 @default.
- W4385447783 hasConceptScore W4385447783C177148314 @default.
- W4385447783 hasConceptScore W4385447783C184898388 @default.
- W4385447783 hasConceptScore W4385447783C185429906 @default.
- W4385447783 hasConceptScore W4385447783C25343380 @default.
- W4385447783 hasConceptScore W4385447783C26320393 @default.
- W4385447783 hasConceptScore W4385447783C2776436953 @default.
- W4385447783 hasConceptScore W4385447783C2781221856 @default.
- W4385447783 hasConceptScore W4385447783C31388003 @default.
- W4385447783 hasConceptScore W4385447783C33923547 @default.
- W4385447783 hasConceptScore W4385447783C41008148 @default.
- W4385447783 hasConceptScore W4385447783C5655090 @default.
- W4385447783 hasLocation W43854477831 @default.
- W4385447783 hasOpenAccess W4385447783 @default.
- W4385447783 hasPrimaryLocation W43854477831 @default.
- W4385447783 hasRelatedWork W139338677 @default.
- W4385447783 hasRelatedWork W1588928324 @default.
- W4385447783 hasRelatedWork W1854530869 @default.
- W4385447783 hasRelatedWork W2146899290 @default.
- W4385447783 hasRelatedWork W2331635042 @default.
- W4385447783 hasRelatedWork W2389185733 @default.
- W4385447783 hasRelatedWork W2465976441 @default.
- W4385447783 hasRelatedWork W2753383149 @default.
- W4385447783 hasRelatedWork W2942703898 @default.
- W4385447783 hasRelatedWork W4298919547 @default.
- W4385447783 isParatext "false" @default.
- W4385447783 isRetracted "false" @default.
- W4385447783 workType "article" @default.