Abstraction: performing an intensional synthesis of a data source