Wenguang Chen Wenfei Fan Shuai Ma Analyses and Validation of Conditional Dependencies with Built-in Predicates. 576-591 2009 DEXA http://dx.doi.org/10.1007/978-3-642-03573-9_48 conf/dexa/2009 db/conf/dexa/dexa2009.html#ChenFM09