A Tabular Reduction Algorithm on Negative Table Constraint Compressed by Cartesian Product
CAI Maomao1, LI Zhanshan1, DONG Xueyang2
1. Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. Public Computer Education and Research Center, Jilin University, Changchun 130012, China
CAI Maomao, LI Zhanshan, DONG Xueyang. A Tabular Reduction Algorithm on Negative Table Constraint Compressed by Cartesian Product[J].Journal of Jilin University Science Edition, 2019, 57(3): 591-597.