0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)
24 Ansichten3 Seiten
Given a set of functional dependencies, we can prove that certain other ones also hold. We say these ones are logically implied by F. To compute, we can use rules of inference called Armstrong's axioms.
Given a set of functional dependencies, we can prove that certain other ones also hold. We say these ones are logically implied by F. To compute, we can use rules of inference called Armstro…