9 citations · 15 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.DB2023★ 5 cited
PG-Triggers: Triggers for Property Graphs
Stefano Ceri, Anna Bernasconi, Alessia Gagliardi +3
Graph databases are emerging as the leading data management technology for storing large knowledge graphs; significant efforts are ongoing to produce new standards (such as the Gra…
cs.LO2023
Lecture Notes on Monadic First- and Second-Order Logic on Strings
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti +2
These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictl…