Functional dependencies, supervenience, and consequence relations
From MaRDI portal
Publication:1322439
DOI10.1007/BF01181684zbMath0804.68036WikidataQ114694030 ScholiaQ114694030MaRDI QIDQ1322439
Publication date: 5 May 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Related Items (6)
Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ The modal logic of agreement and noncontingency ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence ⋮ A modal logic of supervenience
Cites Work
- Abstract functional dependency structures
- Taxonomy and formal properties of distributed joins
- Positive Boolean dependencies
- Information systems theoretical foundations
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Template Dependencies
- Horn clauses and database dependencies
- Functional Dependencies in a Relational Database and Propositional Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Functional dependencies, supervenience, and consequence relations