IIncremental Computation4incremental view maintenance2indexed Z-set1intermediate representation1internal consistency1IR1IVM2