5 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Vilem Vychodil
We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete resi…