Incremental checking of SQL assertions in an RDBMS | Publicación