The following pages link to (Q4162638):
Displayed 19 items.
- The relational model of data and cylindric algebras (Q761801) (← links)
- Strong equivalence of relational expressions under dependencies (Q788498) (← links)
- Some results on the deductive structure of join dependencies (Q798011) (← links)
- GYO reductions, canonical connections, tree and cyclic schemas, and tree projections (Q801698) (← links)
- Inclusion dependencies and their interaction with functional dependencies (Q1071523) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Interaction-free multivalued dependency sets (Q1111777) (← links)
- Logic of multicomponent systems and a combinatorial model of causal relationships (Q1121867) (← links)
- Adequacy of decompositions of relational databases (Q1154819) (← links)
- The decision problem for database dependencies (Q1162832) (← links)
- Inferring multivalued dependencies from functional and join dependencies (Q1168088) (← links)
- A universal formalism to express decompositions, functional dependencies and other constraints in a relational database (Q1173417) (← links)
- Axioms and algorithms for inferences involving probabilistic independence (Q1173959) (← links)
- Decomposing constraint satisfaction problems using database techniques (Q1321054) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatization of generalized functional dependences in relational data bases (Q3940884) (← links)
- Graphical normal forms based on root dependencies in relational data base systems (Q3947174) (← links)
- A Generalization of the Inference Rules for Join Dependencies in Databases (Q5060072) (← links)