Matches in SemOpenAlex for { <https://semopenalex.org/work/W2798808439> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2798808439 abstract "The Calculus of Conjunctive Queries (CCQ) has foundational status in database theory. A celebrated theorem of Chandra and Merlin states that CCQ query inclusion is decidable. Its proof transforms logical formulas to graphs: each query has a natural model - a kind of graph - and query inclusion reduces to the existence of a graph homomorphism between natural models. We introduce the diagrammatic language Graphical Conjunctive Queries (GCQ) and show that it has the same expressivity as CCQ. GCQ terms are string diagrams, and their algebraic structure allows us to derive a sound and complete axiomatisation of query inclusion, which turns out to be exactly Carboni and Walters' notion of cartesian bicategory of relations. Our completeness proof exploits the combinatorial nature of string diagrams as (certain cospans of) hypergraphs: Chandra and Merlin's insights inspire a theorem that relates such cospans with spans. Completeness and decidability of the (in)equational theory of GCQ follow as a corollary. Categorically speaking, our contribution is a model-theoretic completeness theorem of free cartesian bicategories (on a relational signature) for the category of sets and relations." @default.
- W2798808439 created "2018-05-07" @default.
- W2798808439 creator A5007107387 @default.
- W2798808439 creator A5016173850 @default.
- W2798808439 creator A5004609161 @default.
- W2798808439 date "2018-04-20" @default.
- W2798808439 modified "2023-09-27" @default.
- W2798808439 title "Graphical Conjunctive Queries" @default.
- W2798808439 cites W2006006495 @default.
- W2798808439 cites W2077450865 @default.
- W2798808439 cites W2156717879 @default.
- W2798808439 cites W2734361589 @default.
- W2798808439 hasPublicationYear "2018" @default.
- W2798808439 type Work @default.
- W2798808439 sameAs 2798808439 @default.
- W2798808439 citedByCount "0" @default.
- W2798808439 crossrefType "posted-content" @default.
- W2798808439 hasAuthorship W2798808439A5004609161 @default.
- W2798808439 hasAuthorship W2798808439A5007107387 @default.
- W2798808439 hasAuthorship W2798808439A5016173850 @default.
- W2798808439 hasConcept C106624574 @default.
- W2798808439 hasConcept C118615104 @default.
- W2798808439 hasConcept C134306372 @default.
- W2798808439 hasConcept C136119220 @default.
- W2798808439 hasConcept C153269930 @default.
- W2798808439 hasConcept C17231256 @default.
- W2798808439 hasConcept C199360897 @default.
- W2798808439 hasConcept C202444582 @default.
- W2798808439 hasConcept C33923547 @default.
- W2798808439 hasConcept C4042151 @default.
- W2798808439 hasConcept C41008148 @default.
- W2798808439 hasConcept C5655090 @default.
- W2798808439 hasConcept C65647387 @default.
- W2798808439 hasConcept C77088390 @default.
- W2798808439 hasConceptScore W2798808439C106624574 @default.
- W2798808439 hasConceptScore W2798808439C118615104 @default.
- W2798808439 hasConceptScore W2798808439C134306372 @default.
- W2798808439 hasConceptScore W2798808439C136119220 @default.
- W2798808439 hasConceptScore W2798808439C153269930 @default.
- W2798808439 hasConceptScore W2798808439C17231256 @default.
- W2798808439 hasConceptScore W2798808439C199360897 @default.
- W2798808439 hasConceptScore W2798808439C202444582 @default.
- W2798808439 hasConceptScore W2798808439C33923547 @default.
- W2798808439 hasConceptScore W2798808439C4042151 @default.
- W2798808439 hasConceptScore W2798808439C41008148 @default.
- W2798808439 hasConceptScore W2798808439C5655090 @default.
- W2798808439 hasConceptScore W2798808439C65647387 @default.
- W2798808439 hasConceptScore W2798808439C77088390 @default.
- W2798808439 hasLocation W27988084391 @default.
- W2798808439 hasOpenAccess W2798808439 @default.
- W2798808439 hasPrimaryLocation W27988084391 @default.
- W2798808439 hasRelatedWork W1533076437 @default.
- W2798808439 hasRelatedWork W1554475578 @default.
- W2798808439 hasRelatedWork W1578117339 @default.
- W2798808439 hasRelatedWork W1602903463 @default.
- W2798808439 hasRelatedWork W2010329103 @default.
- W2798808439 hasRelatedWork W2046881047 @default.
- W2798808439 hasRelatedWork W2065381138 @default.
- W2798808439 hasRelatedWork W2115051556 @default.
- W2798808439 hasRelatedWork W2117417945 @default.
- W2798808439 hasRelatedWork W2593738989 @default.
- W2798808439 hasRelatedWork W2754183943 @default.
- W2798808439 hasRelatedWork W2882677335 @default.
- W2798808439 hasRelatedWork W2946452685 @default.
- W2798808439 hasRelatedWork W2963664166 @default.
- W2798808439 hasRelatedWork W3073928042 @default.
- W2798808439 hasRelatedWork W3091502386 @default.
- W2798808439 hasRelatedWork W3141661292 @default.
- W2798808439 hasRelatedWork W3170987380 @default.
- W2798808439 hasRelatedWork W359722764 @default.
- W2798808439 hasRelatedWork W600186323 @default.
- W2798808439 isParatext "false" @default.
- W2798808439 isRetracted "false" @default.
- W2798808439 magId "2798808439" @default.
- W2798808439 workType "article" @default.