Showing cs.DMShow all
2 papers · 1 filter
cs.DM2020
Unique key Horn functions
Kristóf Bérczi, Endre Boros, Ondřej Čepek +2
Given a relational database, a key is a set of attributes such that a value assignment to this set uniquely determines the values of all other attributes. The database uniquely def…
cs.DM2020
Generating clause sequences of a CNF formula
Kristóf Bérczi, Endre Boros, Ondřej Čepek +3
Given a CNF formula with clauses and variables , a truth assignment of leads to a clause sequence $σ_Φ(a)=(C_…