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