This paper proposes an update language called Datalog/UT which
extends Datalog by incorporating update rules with temporal information.
Programs to update example Databases are given. The semantics of
Datalog/UT are described. Datalog/UT has a declarative semantics using local
stratification which is a natural and direct extension of the traditional
Datalog semantics and reduces to it in the special case. This is achieved
by using explicit temporal information to control the update operations
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at firstname.lastname@example.org