...M,s)}妒,则 称妒是在M中有效的(Wlid),记为M}妒,如果存在s∈S使得(M,8)}妒,则 称妒是在M中可满足的(Satisfiable),记为M}妒.如果妒在所有的结构中是有 效的,则称妒是有效的,记为}妒.如果妒在某些结构中是有效的,则称妒是可满 足的.显然...
基于236个网页-相关网页
让我们假定这个问题是可满足的。
一个缓冲池可满足的页面请求越多,将得到越高的查询性能。
The more page requests that can be satisfied by a buffer pool, the better query performance will be.
本章第一节主要从历史和国外的经验中总结这一制度可满足的利益需求之所在。
The first part of this chapter, based on the historic experience of abroad, concluded the interests demanded satisfied by the preemption institution.
应用推荐