Graphical Conjunctive Queries.

DOI10.4230/LIPIcs.CSL.2018.13OpenAlexW2963664166MaRDI QIDQ5079736

Paweł Sobociński, Filippo Bonchi, Jens Seeber

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)

Related Items

A Finite Axiomatisation of Finite-State Automata Using String Diagrams, DisCoPy: Monoidal Categories in Python, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Promonads and String Diagrams for Effectful Categories, Unnamed Item, Unnamed Item, CoReS: a tool for computing core graphs via SAT/SMT solvers

Uses Software

• SEQUEL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The homomorphism domination exponent
• Query containment under bag and bag-set semantics
• A basic algebra of stateless connectors
• Cartesian bicategories. I
• Full Abstraction for Signal Flow Graphs
• Connector algebras for C/E and P/T nets' interactions
• Categorical quantum mechanics
• Picturing Quantum Processes
• THE ABSTRACT THEORY OF AUTOMATA
• Cartesian Bicategories II
• Reaction and control I. Mixing additive and multiplicative network algebras
• Introduction to bicategories
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• Rewriting modulo symmetric monoidal structure
• Diagrammatic Semantics for Digital Circuits.
• On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
• Categories in Control
• The Frobenius anatomy of word meanings I: subject and object relative pronouns
• A relational model of data for large shared data banks
• On the calculus of relations