作为依赖分析的血统

血统是记录某些信息来源、推导或历史的信息。血统追踪已在多种环境中得到研究；然而，尽管已探索了许多设计点，数据血统的数学或语义基础受到的关注相对较少。在本文中，我们论证了源自程序分析和程序切片的依赖分析技术，为旨在展示查询输出（的部分）如何依赖于其输入（的部分）的血统形式提供了形式化基础。我们引入了此类依赖血统的语义刻画，证明了这种形式的血统是不可计算的，并提供了动态和静态近似技术。