Deriving Predicate Statistics (SDP) in Datalog Principles and Practice of Declarative Programming 12th International ACM SIGPLAN Symposium July 26, 2010, Hagenberg, Austria…