Monads on Categories of Relational Structures.

Chase Ford Stefan Milius Lutz Schröder

Published in: CALCO (2021)

Keyphrases

relational structures
first order logic
relational data
association graph
relational databases
point sets
datalog programs
web pages
constraint satisfaction problems
markov logic networks