• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Database programming languages >Automatic verification of Transactions on an object-oriented database
【24h】

Automatic verification of Transactions on an object-oriented database

机译：在面向对象的数据库上自动验证交易

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In the context of the object-oriented data model,a ocmpiletime approach is given that provides for a significant reduction fo hte amount of fun-time transaciton overhead due to integrity contstraint checking.The higher-order logic Isabelle theorem provier is used to automatically prove which constraints might.Or might not be violated by a given tranaction in a manner analogous to the one used by Sheard and Stemple (1989) for the relational data model.A prototype transaction verification tool has bene imlemented,which automates athe semantic mappings and generrates proof goals for Isabelle.Test results are discussed to illustrate the effectiveness of our approach.
机译：在面向对象的数据模型的背景下，给出了一种时分时间方法，该方法可大大减少由于完整性约束检查而导致的娱乐时间转账开销。高阶逻辑伊莎贝尔定理证明者用于自动证明给定的事务处理可能违反或不受约束，其方式类似于Sheard and Stemple（1989）用于关系数据模型的事务。原型交易验证工具已得到实现，它使语义映射自动化并生成Isabelle的证明目标。讨论了测试结果以说明我们的方法的有效性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号