Functional Dependencies in a Relational Database and Propositional Logic

Cited in

(51)

Order dependency in the relational model
Characterizations for functional dependency and Boyce-Codd normal form families
Inclusion dependencies and their interaction with functional dependencies
Database survivability under dynamic constraints
Positive Boolean dependencies
Mixed transitivity for functional and multivalued dependencies in database relations
The interaction of integrity constraints in an information system
Axioms and algorithms for inferences involving probabilistic independence
Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in O(N^ 2) time
Functional dependencies, supervenience, and consequence relations
A note on relation schemes which are in 3NF but not in BCNF
Functional dependencies among Boolean dependencies
Logical and algorithmic properties of independence and their application to Bayesian networks
On functional dependencies in q-Horn theories
Closure structures parameterized by systems of isotone Galois connections
On sets of graded attribute implications with witnessed non-redundancy
A complete axiomatization of fuzzy functional dependencies using fuzzy function
Quasi-closed elements in fuzzy posets
Functional dependencies on extended relations defined by regular languages
Proving semantic properties as first-order satisfiability
Monoidal functional dependencies
Logic of temporal attribute implications
On propositional definability
Characterising nested database dependencies by fragments of propositional logic
Functional and multivalued dependencies in nested databases generated by record and list constructor
Attribute dependencies for data with grades I^,
Optimal covers in the relational database model
Spoilt for Choice: Full First-Order Hierarchical Decompositions
A theory of data dependencies over relational expressions
A graphical interpretation of dependency structures in relational data bases
Theta-join and normalization
Characterisations of multivalued dependency implication over undetermined universes
A Correspondence Between Variable Relations And Three-Valued Propositional Logic
Closure via functional dependence simplification
The joy of implications, aka pure Horn formulas: mainly a survey
Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
Supervenience, dependence, disjunction
Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
Extracting attribute implications from a formal context: unifying the basic approaches
Global supervenience in inquisitive modal logic
Minimal bases of temporal attribute implications
Fuzzy functional dependencies: a comparative survey
Targeted least cardinality candidate key for relational databases
Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
Abstract functional dependency structures
From IF to BI. A tale of dependence and separation
A logic of graded attributes
Fuzzy inequational logic
The multiple facets of the canonical direct unit implicational basis

This page was built for publication: Functional Dependencies in a Relational Database and Propositional Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4142680)