由罗伯特·科瓦尔斯基
ACM通讯，1979年7月，第22卷第7期，第424-436页
10.1145/359131.359136
评论
计算=控制演绎的概念是由Pay Hayes和最近Bibel和Vaughn-Pratt提出的。Codd[10]成功地论证了一个类似的论点，即数据库系统应该被视为由一个定义数据逻辑的关系组件和一个存储和检索数据的控制组件组成。Hewitt对编程语言PLANNER的[20]论证，虽然一般被认为是一个反对逻辑的论证，但也可以被认为是算法被认为是由逻辑和控制两部分组成的论点。在本文中，我们将探讨这一论点的一些有用的结果。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
