schema mapping; data exchange; data integration; relative completeness; determinacy;
机译:半透明追逐终止:粘性案例
机译:使用术语重写和SAT解决的Prolog静态终止分析
机译:使用术语重写和SAT解决的Prolog静态终止分析
机译:确保遗忘终止的模式映射的静态分析
机译:使用C ++模板类型系统对终止敏感的非干扰进行静态执行
机译:Top2和Sgs1-Top3冗余操作以确保rDNA复制终止
机译:架构映射的静态分析确保了遗忘的终止