First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Exercise
- Are the following set of rules a sound and complete set of inference rules?
- S1: X X
- S2: if X Y then XZ Y
- S3: if X Y, Y Z then XW ZW
Notes:
Introduction
--------------
Presentation
---------------