Sungwoo Park Seung-won Hwang A logical account of uncertain databases based on linear logic. 141-148 2009 ICDT http://doi.acm.org/10.1145/1514894.1514912 conf/icdt/2009 db/conf/icdt/icdt2009.html#ParkH09