Towards an Algebraic Framework for Querying Inductive Databases