Graphical Conjunctive Queries.

DOI10.4230/LIPICS.CSL.2018.13MaRDI QIDQ5079736zbMATH OpenOpenAlexFDO

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

Publication date 28 May 2022

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

zbMATH Keywords

string diagramsCartesian bicategoriesconjunctive query inclusion

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

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

Cites work

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

Cited in

(9)

• Promonads and String Diagrams for Effectful Categories
• CoReS: a tool for computing core graphs via SAT/SMT solvers
• Monoidal streams for dataflow programming
• DisCoPy: monoidal categories in Python
• scientific article; zbMATH DE number 7453972 (Why is no real title available?)
• From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
• scientific article; zbMATH DE number 5720989 (Why is no real title available?)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams
• scientific article; zbMATH DE number 7649898 (Why is no real title available?)

Describes a project that uses

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)