Lazy-Except-Intersect:改进的Exce&Intersect算法和当前.Net实现的概念库证明