update datalog