和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现。
互联网摘选
但是随着递归IDB(Intensional Database)谓词的项的个数增大,经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。
互联网摘选
从1931年9月18日开始,沦陷区在此后的十四年间成为了东北黑土地的另一种称谓,伪满洲国的殖民统治也使东北现代文学进入了一个断裂的异态时空。
互联网摘选
In Kant's opinion, "apriority" refers to any experience independent of human beings.
在康德那里,所谓先验就是指独立于人的经验。
互联网摘选
在这个特定的索引中,用户仅按INVOICE NUMBER查找特定的索引,换句话说,仅向INVOICE NUMBER列应用了相等性谓词。
互联网摘选
彩虹般千变万化的反重力等离子能量带围绕其间,且常常会出现你现在所谓的极光或北极光。
互联网摘选
Used as a form of address and salutation by soldiers to a victorious Roman general.
凯旋将军士兵对凯旋的罗马将领的称谓和问候形式.
互联网摘选
He told reporters that " the so-called stability of prices, is the stable price increases. "
他告诉记者, “ 所谓 稳定房价, 指的是稳定房价的上涨速度. ”
互联网摘选
如果我们有这样子特殊的A和B的混合物,在这个点,我们得到了所谓的共沸混合物。
互联网摘选
由于所谓的“可信度问题”,支持央行独立的学术论据被公开宣称为次优论据。
互联网摘选
不过,商人善于钻法例空子,日后提出修订时,条例必须清楚界定何谓「转移」与「图利」。
互联网摘选
日语中所谓的助词、助动词与名词、动词等其它词相比,无论是在表达的意义上,还是在实际的语言运用中都存在着明显的不同。
互联网摘选
1867年,根据所谓协约建立了奥地利&匈牙利二元君主国,第一次世界大战后解体。
互联网摘选
In the Northern Hemisphere, the phenomenon is called aurora borealis, or northern lights.
在北半球,这种现象就是所谓的黎明的女神,或北极光。
互联网摘选
我们现在正处于科学家所谓的第24个太阳活动周期的高峰期,这就是为什么上周的太阳风暴导致比平常更偏南的地方出现北极光。
互联网摘选
In the Southern Hemisphere, it's called aurora australis, or southern lights.
在南半球,它的所谓南极光,或是南部灯。
互联网摘选
Used attributively as a form of address in letters, and politely or ironically in speech
冠于信函中的称谓及用于言语,以示礼貌或讽刺
互联网摘选
国际原子能机构报告还表示,该机构与伊朗间所谓的核武器研究交流已经中断。
互联网摘选
但巴基斯坦军方发言人阿巴斯告诉记者说,调兵并非他所谓“具有不祥征兆的增兵”。
互联网摘选
