利用策略性端口图重写求函数依赖的传递闭包
数据库
2019-02-07 v1
摘要
我们提出一种基于策略性端口图重写的关关系数据库逻辑设计新方法。我们展示了如何将关系模式建模为带属性端口图，并提供端口图重写规则以对函数依赖进行计算。利用这些规则，我们给出一个策略性图程序来求一组函数依赖的传递闭包。该程序是可靠、完备且终止的，前提是模式中没有循环依赖。
引用
@article{arxiv.1902.02013,
title = {Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting},
author = {János Varga},
journal= {arXiv preprint arXiv:1902.02013},
year = {2019}
}
备注
In Proceedings TERMGRAPH 2018, arXiv:1902.01510