79 citations · 222 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Rule Algebras for Adhesive Categories
Nicolas Behr, Pawel Sobocinski
We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along…
cs.LO2018★ 6 cited
Graphical Conjunctive Queries
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
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 p…