https://123dok.net/document/q057dk03-an-incremental-approach-for-maintaining-functional-dependencies.html