可满足性

可满足性(satisfiability)是1993年公布的数学名词。

资源总数
500

可满足性 热门资料

查看全部 500 份 →

数据库的设计范式是数据库设计所需要满足的规范,满足这些规范的数据库是简洁的、结构明晰的,同时,不会发生插入 (insert)、删除(delete)和更新(update)操作异常。反之则是乱七八糟,不仅给数据库的编程人员制造麻烦,而且面目可憎...

2014-01-21 108 可满足性