Strongly First Order, Domain Independent Dependencies: the Union-Closed Case

Pietro Galliani

Team Semantics generalizes Tarski's Semantics by defining satisfaction with respect to sets of assignments rather than with respect to single assignments. Because of this, it is po…