机译:合并数据库检查约束
Univ Novi Sad, Fac Tech Sci, Trg Dositeja Obradovica 6, Novi Sad 21000, Serbia;
Univ Novi Sad, Fac Tech Sci, Trg Dositeja Obradovica 6, Novi Sad 21000, Serbia;
Univ Novi Sad, Fac Tech Sci, Trg Dositeja Obradovica 6, Novi Sad 21000, Serbia;
Database subschema consolidation; Check constraint collision; Implication problem; SMT solver;
机译:巩固数据库检查约束
机译:通过利用本地检查来改进分布式数据库中的完整性约束检查
机译:完整性约束下概率数据库中的一致性检查和查询
机译:检查实时数据库中对象中强加的拓扑完整性约束
机译:数据库系统的全局语义完整性约束检查
机译:检查点治疗目标数据库(CKTTD):癌症免疫疗法检查点目标及其调节剂的第一综合数据库
机译:魔术检查:约束检查数据库查询优化
机译:演绎数据库系统和完整性约束检查