一种正交对象/关系模型类型系统的算法化构造
摘要：基于 Date 和 Darwen 的模型，我们提出了一种类型系统的伪算法和语法描述。我们的类型系统应该考虑到空值；为了实现这个目的，我们引入了一个特殊的类型#，它表示数据库中的一个或多个不完整信息的出现。我们的代数语法详细描述了继承模型的完整规范以及由此引出的子类型关系，从而涵盖了相关概念的不同定义。
作者：Amel Benabbou, Safia Nait Bahloul, Youssef Amghar
论文ID：1007.3275
分类：Databases
分类简称：cs.DB
提交时间：2010-07-21