https://x14ngch3n.github.io/posts/ndss-synthdb/