解决数据库系统中的可满足性和蕴涵问题 电子书下载

原名:Solving Satisfiability and Implication Problems in Database Systems
作品简介:沙果，孙伟，马克·韦斯。佛罗里达国际大学。涉及合取性的可满足性、蕴涵性和等价性问题……