Graphical Conjunctive Queries.

DOI10.4230/LIPICS.CSL.2018.13OpenAlexW2963664166MaRDI QIDQ5079736FDOQ5079736

Authors: Filippo Bonchi, Jens Seeber, Paweł Sobociński 

Publication date: 28 May 2022

Full work available at URL: https://arxiv.org/abs/1804.07626

Recommendations

• A note on proofs with graphs
• Reasoning with graphs
• On graph reasoning
• On a Graph Calculus for Algebras of Relations
• Publication:4508935

zbMATH Keywords

string diagramsCartesian bicategoriesconjunctive query inclusion

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• THE ABSTRACT THEORY OF AUTOMATA
• Categorical quantum mechanics
• Title not available (Why is that?)
• A relational model of data for large shared data banks
• Title not available (Why is that?)
• On the calculus of relations
• Introduction to bicategories
• Cartesian bicategories. I
• Full abstraction for signal flow graphs
• Title not available (Why is that?)
• Rewriting modulo symmetric monoidal structure
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• A basic algebra of stateless connectors
• Cartesian Bicategories II
• The homomorphism domination exponent
• Connector algebras for C/E and P/T nets' interactions
• Categories in control
• A congruence for Petri nets
• Query containment under bag and bag-set semantics
• The Frobenius anatomy of word meanings. I: Subject and object relative pronouns
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Reaction and control I. Mixing additive and multiplicative network algebras
• Diagrammatic Semantics for Digital Circuits.
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• Title not available (Why is that?)
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics

Cited In (9)

• Title not available (Why is that?)
• Promonads and String Diagrams for Effectful Categories
• From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal streams for dataflow programming
• CoReS: a tool for computing core graphs via SAT/SMT solvers
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams
• DisCoPy: monoidal categories in Python

Uses Software

• SEQUEL

This page was built for publication: Graphical Conjunctive Queries.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079736)