A Correspondence Between Variable Relations And Three-Valued Propositional Logic

DOI10.1080/00207169508804360zbMath0845.68032OpenAlexW2171852349MaRDI QIDQ4847155

George Loizou, Mark Levene

Publication date: 10 September 1995

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169508804360

zbMATH Keywords

functional dependencyvariable relations

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Axiomatisation of functional dependencies in incomplete relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boyce-Codd normal form and object normal forms
• Polynomial-time implication problems for unary inclusion dependencies
• Functional dependencies and constraints on null values in database relations
• Incomplete Information in Relational Databases
• On the Equivalence of Database Models
• Functional Dependencies in a Relational Database and Propositional Logic

This page was built for publication: A Correspondence Between Variable Relations And Three-Valued Propositional Logic