https://123dok.net/document/zlgljnx2-using-sat-and-sql-pattern-mining-relational-databases.html