机译:通过利用本地检查来改进分布式数据库中的完整性约束检查
机译:OCL(FOR):有效表达完整性检查的一阶表达性OCL约束
机译:OCL(for):高阶表达OCL限制,用于高效完整性检查
机译:使用各种类型的分布式数据库完整性测试来检查完整性约束
机译:数据库系统的全局语义完整性约束检查
机译:检查俯卧位的眼睛完整性:一种新的视频喉镜应用
机译:$$ hbox {ocl} _ textsf {fo} $$ ocl fo:一阶表达OCL约束,高效完整性检查
机译:演绎数据库系统和完整性约束检查