Abstract

this report, we only consider queries from flat relations to flat relations; and the criteria for permissible update is restricted to the insertion and deletion of a single tuple. A restriction is also imposed so that the constants that appear in the auxiliary database must also appear in the database or in the answer or in some fixed set. In this report, this fixed set is Q , the set of rational numbers. We use the first-order incremental evaluation system, IES(FO)(called FOIES in [10]), to illustrate the concept. IES(FO) uses first-order logic to express update functions [9, 11]. For each relation symbol R,

Citations