Add to ORKGThe theory of relational database dependencies is introduced. It is shown that formal systems for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented
Computation of the dependency basis is the fundamental step in solving the membership problem for fu...
Functional dependencies, a notion originated in Relational Database Theory, are known to admit inter...
We study inference systems of weak functional dependencies in relational and complex-value databases...
This paper presents a relational treatment of inference rules for functional and multivalued depende...
A formal system for reasoning about functional dependencies (FDs) and subset dependencies (SDS) defi...
AbstractA general formalism, called the general dependencies, is presented. The multivalued, mutual,...
A set-theoretic interpretation of the relational model was proposed by Spyratos and Lecluse [17]. It...
AbstractWe extend the result on the equivalence between functional and multivalued dependencies in r...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These meth...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These me...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These meth...
AbstractComputation of the dependency basis is the fundamental step in solving the membership proble...
We define extended conflict free dependencies in the context of functional and multivalued dependenc...
Computation of the dependency basis is the fundamental step in solving the membership problem for fu...
Abstract: We study inference systems of weak functional dependencies in relational and complex-value...
Computation of the dependency basis is the fundamental step in solving the membership problem for fu...
Functional dependencies, a notion originated in Relational Database Theory, are known to admit inter...
We study inference systems of weak functional dependencies in relational and complex-value databases...
This paper presents a relational treatment of inference rules for functional and multivalued depende...
A formal system for reasoning about functional dependencies (FDs) and subset dependencies (SDS) defi...
AbstractA general formalism, called the general dependencies, is presented. The multivalued, mutual,...
A set-theoretic interpretation of the relational model was proposed by Spyratos and Lecluse [17]. It...
AbstractWe extend the result on the equivalence between functional and multivalued dependencies in r...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These meth...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These me...
The contribution of deduction mechanisms to (relational) databases is today well-studied. These meth...
AbstractComputation of the dependency basis is the fundamental step in solving the membership proble...
We define extended conflict free dependencies in the context of functional and multivalued dependenc...
Computation of the dependency basis is the fundamental step in solving the membership problem for fu...
Abstract: We study inference systems of weak functional dependencies in relational and complex-value...
Computation of the dependency basis is the fundamental step in solving the membership problem for fu...
Functional dependencies, a notion originated in Relational Database Theory, are known to admit inter...
We study inference systems of weak functional dependencies in relational and complex-value databases...