An Algebraic Approach to Rule Analysis in Expert DatabaseSystems