- 双语例句 更多例句
1、
但是随着递归IDB（Intensional Database）谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。
互联网摘选
2、
和右线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现。
互联网摘选
3、
The judge enjoined Varityper from using the ad in any way.
法官禁止Varityper公司以任何方式使用这则广告。
《柯林斯高阶英汉双解学习词典》
4、
因此，设法减少IDB谓词项数，对提高查询效率是十分有意义的。
互联网摘选
5、
At least Arity + 1 examples are required to clearly show the uniqueness constraints.
要清楚地显示唯一性约束,至少需要“实参数量+1”个示例.
互联网摘选
6、
At least Arity+ 1 examples are required to clearly show the uniqueness constraints.
要清楚地显示唯一性约束，至少需要实参数量+1个示例。
互联网摘选
7、
函数的参数数量称为元数（arity），用于帮助标识函数。
互联网摘选
- 今日热词
- 热门搜索
- bike n.自行车;摩托车;v.骑自行车/摩托车;
- decade n.十年;
- deaf adj.失聪的;不愿听;不去注意;
- Buddhism n.佛教;释;佛门;释门;
- ground n.地面，土地;基础;范围;阵地，战场;vi.搁浅，停飞;着陆;
- parallels desktop 虚拟机
- heaven n.天;天堂;上帝;极乐;
- metre n.米，公尺;格律，韵律;
- smelly adj.难闻的;
- kilogram n.千克;公斤;
- way back into love 回到爱（歌曲名称）;爱回来；重新找到爱
- crush vt.压破，压碎;镇压;弄皱;挤榨，榨出;vi.挤;被压碎，被起皱;
