3 papers
cs.LO2026
Approximate Functional Dependencies---Implication Problem Revisited
Nicolas Fröhlich, Matilda Häggblom, Åsa Hirvonen +1
Functional dependencies are an important and well-studied class of database constraints that correspond to a notion expressed by dependence atoms in team logic. In practice, data o…
cs.LO2026
Aspects of Coherence in Dependence Logic
Timon Barlag, Nicolas Fröhlich, Miika Hannula +4
Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dep…
cs.LO2023
Submodel Enumeration for CTL Is Hard
Nicolas Fröhlich, Arne Meier
Expressing system specifications using Computation Tree Logic (CTL) formulas, formalising programs using Kripke structures, and then model checking the system is an established wor…