DECLARATIVE UPDATES IN DEDUCTIVE DATABASES

Date
1993-01-01
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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 implicitly.
Description
Keywords
Computer Science
Citation