机译:多项式约束数据库的传递闭合逻辑中查询评估终止的可判定性
data base theory; constraint databases; query languages; query evaluation; dynamical systems theory; fixed points; DYNAMICAL-SYSTEMS; LANGUAGES; STABILITY; SETS;
机译:多项式约束数据库的传递闭合逻辑中查询评估终止的可判定性
机译:不确定时间约束数据库中查询评估的复杂性
机译:演绎数据库中基于约束的查询评估
机译:确定约束数据库的传递关闭逻辑中查询评估的终止
机译:Pulse:数据库支持,可对时间多项式模型进行有效的查询处理。
机译:ClinicalTrials.gov结果数据库中的终止试验:评估主要结果数据的可用性和终止的原因
机译:多项式约束数据库的传递闭合逻辑中查询评估终止的可判定性
机译:并行关系数据库查询分析模型的实证评价。