接线图算子：形式化一种用于数据库、递归和即插即用电路的图形语言
数据库
2013-05-03 v1 范畴论
逻辑
摘要
接线图（如数字电路中所示）可以分层嵌套，因而具有自相似性的一面。我们证明接线图构成了算子 的态射，从而捕捉了这种自相似性。我们讨论了 上数学关系的代数 ，并借此将接线图作为一种图形语言，用于构建关系数据库上的查询。我们以电路图作为特例进行了说明。随后，我们展示了如何在算子框架下表述即插即用设备以及递归。全文包含大量示例和图表。
引用
@article{arxiv.1305.0297,
title = {The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits},
author = {David I. Spivak},
journal= {arXiv preprint arXiv:1305.0297},
year = {2013}
}
备注
28 pages