关系代数的多态类型推断
计算机科学中的逻辑
2007-05-23 v1 数据库
摘要
我们给出关系代数的多态描述。我们引入了一种专为关系代数表达式设计的"类型公式"形式，并提出了一个计算给定表达式"主类型"的算法。表达式的主类型是一种公式，用于清晰简洁地指定在给定关系代数表达式良好类型化的条件下，所有类型（属性集合的分配）到关系名称的分配，以及在这些分配下的表达式的输出类型。讨论的主题包括复杂度和多态表达力。
引用
@article{arxiv.cs/0106035,
title = {Polymorphic type inference for the relational algebra},
author = {Jan Van den Bussche and Emmanuel Waller},
journal= {arXiv preprint arXiv:cs/0106035},
year = {2007}
}