Temporal Indeterminacy in Deductive Databases: an Approach Based on the Event Calculus