Title: Extending the stratification approach for deductive database systems