Transitive Closure

释义 Definition

传递闭包：在关系或图中，把所有“可通过若干步到达”的间接连接都补齐后的结果。常用于图论与计算机科学中，用来表示“可达性”（reachability）。

例句 Examples

A transitive closure tells you which nodes can reach which others.
传递闭包告诉你哪些节点能够到达哪些其他节点。

In database query optimization, we compute the transitive closure of a dependency graph to infer all indirect dependencies.
在数据库查询优化中，我们会计算依赖图的传递闭包，以推断所有间接依赖关系。

发音 Pronunciation

AmE /ˈtrænzɪtɪv ˈkloʊʒər/
BrE /ˈtrænzɪtɪv ˈkləʊʒə/

词源 Etymology

transitive 来自拉丁语 transire（“穿过、越过”），在逻辑/关系里表示“具备传递性”的性质（A→B，B→C，则A→C）。closure 源于 close（“闭合、封闭”），在数学中常指“把结构补全到满足某种性质的最小扩展”。合起来，transitive closure 就是“把所有由传递性必然推出的关系补齐，使其闭合”。

相关词 Related Words

• Reachability
• Transitive
• Closure
• Relation
• Directed Graph
• Adjacency Matrix
• Warshall's Algorithm
• Reflexive Transitive Closure

文学与名著用例 Literary Works

• Introduction to Algorithms（Cormen, Leiserson, Rivest, Stein）：在图算法章节讨论可达性与传递闭包（常与 Warshall/Floyd-Warshall 思路相关）。
• Graph Theory（Bondy & Murty）：在关系与有向图的语境中出现传递闭包/可达关系的表述。
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman）：在数据流分析、依赖关系等主题中涉及相关概念与计算。