Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting