杰拉德·米歇尔斯;塞巴斯蒂安·乔斯顿;雅普·范德沃德;斯特夫·乔斯顿 安培数。在实践中应用关系代数。 （英语） 兹比尔1329.68066 哈里·德·斯瓦特（编辑），《计算机科学中的关系和代数方法》。2011年5月30日至6月3日，荷兰鹿特丹，RAMICS 2011第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21069-3/pbk）。计算机科学讲座笔记6663280-293（2011）。 摘要：关系代数可用于指定信息系统和业务流程。它在荷兰政府的两个大型It项目中得到了实际应用。但是，关系代数的哪些特点使其实用呢？本文讨论了这些特性，并从信息系统设计者的角度激发了它们。生成的语言Ampersand是关系代数的语法加糖版本。它是一种类型化语言，由编译器支持。该设计方法也称为Ampersand，使用将Ampersan脚本编译为功能规范的软件工具。这使得Ampersand作为关系代数在工业实践中的应用变得有趣。本文的目的是从实践的角度对安培生进行定义并激发其特征。这项工作是开放大学信息系统与业务流程（is&BP）系研究项目的一部分。关于整个系列，请参见[Zbl 1215.68027号]. 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 03G15年 柱代数和多代数；关系代数 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：异质关系代数;特定领域反馈;规范语言;业务规则;需求工程;类型系统;基于规则的设计 软件：哈斯克尔;安培桑（Ampersand） PDF格式BibTeX公司 XML格式引用 \textit{G.Michels}等人，Lect。注释计算。科学。6663280-293（2011年；Zbl 1329.68066） 全文： 内政部