Book Chapter
The theory of data dependencies — An overview
Ronald Fagin and Moshe Y. Vardi
Lecture Notes in Computer Science, 1984, Volume 172, Automata, Languages and Programming, Pages 1-22
Book Chapter
Covers for functional independencies
Jürgen M. Janas
Lecture Notes in Computer Science, 1989, Volume 364, MFDBS 89, Pages 254-268
Book Chapter
The implication problem for data dependencies
Extended abstract
C. Beeri and M. Y. Vardi
Lecture Notes in Computer Science, 1981, Volume 115, Automata, Languages and Programming, Pages 73-85
Journal Article
Charting the completeness frontier of inference systems for multivalued dependencies
Sebastian Link
Acta Informatica, 2008, Volume 45, Numbers 7-8, Pages 565-591
Book Chapter
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
Joachim Biskup and Sebastian Link
Lecture Notes in Computer Science, 2008, Volume 4932, Foundations of Information and Knowledge Systems, Pages 58-77
Book Chapter
An almost linear time algorithm for computing a dependency basis in a relational data base
Zvi Galil
Lecture Notes in Computer Science, 1980, Volume 85, Automata, Languages and Programming, Pages 246-256
Book Chapter
On the desirability of γ-acyclic BCNF database schemes
Edward P. F. Chan and Héctor J. Hernández
Lecture Notes in Computer Science, 1986, Volume 243, ICDT '86, Pages 105-122
Book Chapter
On Multivalued Dependencies in Fixed and Undetermined Universes
Sebastian Link
Lecture Notes in Computer Science, 2006, Volume 3861, Foundations of Information and Knowledge Systems, Pages 258-277
Book Chapter
The implication problem for functional and multivalued dependencies : An algebraic approach
V. S. Lakshmanan and C. E. Veni Madhavan
Lecture Notes in Computer Science, 1985, Volume 206, Foundations of Software Technology and Theoretical Computer Science, Pages 303-328
Book Chapter
Problems of relational database design
Yahiko Kambayashi, Katsumi Tanaka and Shuzo Yajima
Lecture Notes in Computer Science, 1982, Volume 132, Data Base Design Techniques I:, Pages 172-218