• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Implementation of the Object-Oriented Data Model TM
【24h】

Implementation of the Object-Oriented Data Model TM

机译：面向对象数据模型Tm的实现

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

摘要

The high level object oriented data model TM, based on an extension of the typetheory of Cardelli, is addressed. TM includes a logical formalism for constraint specification, which is an important aspect of the data model, and the notion of predicative sets. Predicative set expressions provide for a high level, descriptive specification mechanism. Topics of research are the theoretical foundations of TM, as well as implementation aspects. Just as in the case of relational database systems, algebraic optimization is expected to be an important aspect of efficient implementation of the data model. With the expectation in mind, the language ADL (Algebraic Database Language), based on the Functional Programming language FP is defined. Like FP, ADL is a language in which programs are functions, built up from primitive operators and functionals (higher order functions). The translation of TM to ADL is described. An algorithm is presented to translate (safe) TM expression into ADL expressions. Optimization in ADL is discussed and some equivalence rules are given.

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号