Computer Science ›› 2013, Vol. 40 ›› Issue (4): 177-180.
Previous Articles Next Articles
GAO Long,LIU Quan,FU Qi-ming and LI Jiao
| [1] Bertossi L．Database repairing and consistent query answering [M]．Morgan & Claypool publishers,2011 [2] Arenas M,Bertossi L,Chomicki J．Consistent query answers in inconsistent databases[C]∥ACM Symposium on Principles of Database Systems(ACM PODS’99)．ACM Press,1999:68-79 [3] Bertossi L,Schwind C．An analytic tableaux based characterization of database repairs for consistent query answering(preliminary report)[C]∥Working Notes of the IJCAI’01Workshop on Inconsistency in Data and Knowledge．AAAI Press,2001:96-106 [4] 李娇,刘全,傅启明,等．分布式数据库中基于局部CON模型的记录匹配方法[J]．通信学报,2011,32(7):196-202 [5] Fan W,Geerts F,Ma S,et al．Detecting inconsistencies in distributed data[C]∥the IEEE International Conference on Data Engineering (ICDE)．2010:64-75 [6] Fan W,Jia X,Li J,et al．Reasoning about record matching rules[J]．the International Conference on Very large Data Bases (VLDB),VLDB Endowment,2009,2(1):407-418 [7] Bertossi L．Consistent query answering in databases[J]．ACM SIGMOD Record,2006,35(2):68-79 [8] Chomicki J,Marcinkowski J,Staworko S．Computing consistent query answers using conflict hypergraphs[C]∥ACM International Conference on Information and Knowledge Management．Washington DC:ACM Press,2004:417-426 [9] Elmagarmid A K,Ipeirotis P G,Verykois V S．Duplicate record detection:a survey[J]．IEEE Transaction on Data and Know-ledge Engineering (TKDE),2007,19(1):1-16 [10] 刘全,伏玉琛,孙吉贵,等．一种基于符号集合的自动推理扩展方法[J]．计算机研究与发展,2007,44(8):1317-1323 [11] 刘全,孙吉贵,崔志明．基于布尔剪枝的多值广义量词Tableau推理规则简化方法[J]．计算机学报,2005,28(9):1514-1518 [12] Melvin F．First-order logic and automated theorem proving[M]．New York:Springer Verlag,1996 [13] Golab L,Karloff H,Korn F,et al．On generating near optional tableaux for conditional functional dependencies[J]．the International Conference on Very large Data Bases (VLDB),VLDB Endowment,2008,1(1):376-390 |
| No related articles found! |
|
||
Home