On the Utility of Adding An Abstract Domain and Attribute Paths to SQL