Incremental calculation approaches for granular reduct in formal context with attribute updating