LogicBlox, Inc. Atlanta, GA USA;
LogicBlox, Inc. Atlanta, GA USA;
LogicBlox, Inc. Atlanta, GA USA;
datalog; type system; deductive databases; metacompilation;
机译:具有复杂类型层次结构的数据日志的类型推断
机译:$ n $-置换性和线性数据记录意味着对称数据记录
机译:析取性Datalog程序和非Horn本体的Datalog可重写性
机译:具有复杂类型层次结构的数据日志的类型推断
机译:Holmes:通过数据记录进行二进制分析集成
机译:在Spark上通过Datalog查询进行大数据分析
机译:什么香农型不等式,子模宽度和析取 数据记录是否与彼此有关?