Random Databases and Threshold for Monotone Non-recursive Datalog.

Konstantin Korovin Andrei Voronkov Random Databases and Threshold for Monotone Non-recursive Datalog. 591-602 2005 conf/mfcs/2005 MFCS http://dx.doi.org/10.1007/11549345_51 db/conf/mfcs/mfcs2005.html#KorovinV05