Functional dependencies, supervenience, and consequence relations

DOI10.1007/BF01181684zbMath0804.68036WikidataQ114694030 ScholiaQ114694030MaRDI QIDQ1322439

I. L. Humberstone

Publication date: 5 May 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

consequence relationfunctional dependencysupervenienceimplicational formulas

Mathematics Subject Classification ID

Database theory (68P15) Abstract deductive systems (03B22)

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