Inferring multivalued dependencies from functional and join dependencies (Q1168088): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Decompositions and functional dependencies in relations
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+On the Desirability of Acyclic Database Schemes
@@ Property / cites work: On the Desirability of Acyclic Database Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Inferences of multivalued dependencies in fixed and undetermined universes
+Normal rank
@@ Property / cites work @@
+Equivalence of Relational Database Schemes
@@ Property / cites work: Equivalence of Relational Database Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912018
@@ Property / cites work: Q3912018 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure for Data Dependencies
@@ Property / cites work: A Proof Procedure for Data Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clauses and database dependencies
@@ Property / cites work: Horn clauses and database dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+A simplied universal relation assumption and its properties
+Normal rank
@@ Property / cites work @@
+An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
+Normal rank
@@ Property / cites work @@
+Decision Problems for Multivalued Dependencies in Relational Databases
+Normal rank
@@ Property / cites work @@
+On Axiomatizing Multivalued Dependencies in Relational Databases
+Normal rank
@@ Property / cites work @@
+The interaction of integrity constraints in an information system
+Normal rank
@@ Property / cites work @@
+Q4162638
@@ Property / cites work: Q4162638 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatization of Full Join Dependencies
+Normal rank
@@ Property / cites work @@
+Addendum: Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
+Normal rank
@@ Property / cites work @@
+On the Complexity of Testing Implications of Functional and Join Dependencies
+Normal rank