DEIS Department University of Calabria 87030 Rende -Italy;
disjunctive datalog; theory; constraints; magic-set technique;
机译:析取性Datalog程序和非Horn本体的Datalog可重写性
机译:Monadic析取数据日志,MMSNP和表达描述逻辑中的可重写性
机译:Monadic析取数据记录,MMSNP和表达描述逻辑中的可重写性(邀请演讲)
机译:关于重写和有效计算绑定DataLog查询的重写和有效计算
机译:具有时间和空间复杂性保证的高效数据记录查询。
机译:在Spark上通过Datalog查询进行大数据分析
机译:析取数据记录程序的数据记录可重写性及其 本体推理的应用