Abstract-driven pattern discovery in databases | Synapse