Split-freedom and MVD-intersection: a new characterization of multivalued dependencies having conflict-free covers

Theoretical Computer Science - Tập 62 - Trang 105-122 - 1986
V.S. Lakshmanan1
1Department of Computer Science and Automation, Indian Institute of Science, Bangalore, 560012, India

Tài liệu tham khảo

Beeri, 1980, On the membership problem for functional and multivalued dependencies, ACM TODS, 5, 241, 10.1145/320613.320614 Beeri, 1983, On the desirability of acyclic database schemes, J. ACM, 30, 479, 10.1145/2402.322389 Beeri, 1981, On the properties of join dependencies, 25 Fagin, 1977, Multivalued dependencies and a new normal form for relational databases, ACM TODS, 2, 262, 10.1145/320557.320571 Fagin, 1982, A simplified universal relation assumption and its properties, ACM TODS, 7, 343, 10.1145/319732.319735 Galil, 1982, An almost linear-time algorithm for computing a dependency basis in a relational database, J. ACM, 29, 96, 10.1145/322290.322296 Goodman, 1983, Syntactic characterization of tree database schemas, J. ACM, 30, 767, 10.1145/2157.322405 Goodman, 1983, Synthesizing fourth normal form relations using multivalued dependencies Goodman, 1984, A characterization of multivalued dependencies equivalent to a join dependency, Inform. Process. Lett., 18, 261, 10.1016/0020-0190(84)90005-X Jajodia, 1985, On the equivalence of relational and network models, Inform. Process. Lett., 20, 51, 10.1016/0020-0190(85)90130-9 Lakshmanan, 1986, A cyclic hypergraphs, dependency-lattices, and relational database design Lien, 1982, On the equivalence of database models, J. ACM, 29, 333, 10.1145/322307.322311 Maier, 1983 Sagiv, 1980, An algorithm for inferring multivalued dependencies with an application to propositional logic, J. ACM, 27, 250, 10.1145/322186.322190 Sciore, 1980, Some observations of real-world data dependencies, Proc. XP1 Workshop Sciore, 1981, Real-world MVDs, Proc. Internat. Conf. on Management of Data, 121 Ullman, 1980