Abstract Interpretation of Recursive Queries