On the Number of Quantifiers Needed to Define Boolean Functions
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
One problem concerning the universal relation assumption is the inability of known methods to obtain a database scheme design in the general case, where the real-world constraints are given by a set of dependencies that includes embedded multivalued dependencies. We propose a simpler method of describing the real world, where constraints are given by functional dependencies and a single join dependency. The relationship between this method of defining the real world and the classical methods is exposed. We characterize in terms of hypergraphs those multivalued dependencies that are the consequence of a given join dependency. Also characterized in terms of hypergraphs are those join dependencies that are equivalent to a set of multivalued dependencies. © 1982, ACM. All rights reserved.
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
Ronald Fagin, Phokion G. Kolaitis, et al.
SIGMOD/PODS/ 2008
Ronald Fagin, Phokion G. Kolaitis, et al.
SIGMOD/PODS/ 2009
Marco A. Casanova, Ronald Fagin, et al.
Journal of Computer and System Sciences