Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45841
Title: DECLARATIVE UPDATES IN DEDUCTIVE DATABASES
Authors: Cleary, John
Liu, Mengchi
Keywords: Computer Science
Issue Date: 1-Jan-1993
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.
URI: http://hdl.handle.net/1880/45841
Appears in Collections:Cleary, John

Files in This Item:
File Description SizeFormat 
1993-500-05.pdf937.08 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.