batch commit for duplicate elem, equi joins, exists in same domain, insetion view, naive transitive closure, not exists in same domain