• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Generative and Transformational Techniques in Software Engineering II >Transforming Data by Calculation
【24h】

Transforming Data by Calculation

机译：通过计算转换数据

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into "flat" database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidirectional lenses developed in the context of the classical view-update problem.
机译：本文介绍了数据模型转换的基础。提出了一个数据映射目录，其中包括抽象和表示关系以及相关的约束。这些通过点自由变换以代数形式被证明是正确的，该技术使谓词以包含数据和操作的两级样式提升为（编程代数的）二进制关系项。这种数据计算方法还包括将递归数据模型转换为“平面”数据库方案，可作为抽象模型中标准数据库设计的替代方法。该演算还用于在传统的视图更新问题的情况下，在建议的转换样式和开发的双向镜头之间建立联系。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号