https://9dok.net/document/q05nlpn3-materializing-knowledge-bases-via-trigger-graphs.html