AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频

生成解读视频

AI 溯源

AI解析本论文相关学术脉络

生成溯源树

Transforming Data by Calculation

Generative and Transformational Techniques in Software Engineering, (2008): 134-195

引用：56|浏览9

下载 PDF 全文

原文链接

其它链接

dl.acm.org academic.microsoft.com dblp.uni-trier.de

引用

关键词

proposed transformational styletransforming dataabstract modelrefinement by calculation.algebraic style更多(13+)

摘要

This paper addresses the foundations of data-model transformation. A catalog of data mappings is presented which includes abstraction and representation relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the al...更多

代码：

数据：

下载 PDF 全文

PPT (上传PPT)

相似论文

引用论文

被引论文

作者

José N. Oliveira

[0]

您的评分 :

暂无评分

标签

数据免责声明

页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cn