Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45842
Title: DECLARATIVE UPDATES IN DEDUCTIVE OBJECT BASES
Authors: Cleary, John
Liu, Mengchi
Keywords: Computer Science
Issue Date: 1-Mar-1993
Abstract: Updates are important database operations, but there has not yet been a uniform logical framework that accounts for them. This paper presents an approach to deal with updates in the deductive and object-oriented database setting. It incorporates temporal information into update rules, so that different versions of objects may be created at different time points and can be identified by the temporal information. The proposed update language has a simple and clear Herbrand-like declarative semantics, which can be computed by a bottom-up evaluation using a temporal stratification.
URI: http://hdl.handle.net/1880/45842
Appears in Collections:Cleary, John

Files in This Item:
File Description SizeFormat 
1993-511-16.pdf1.53 MBAdobe PDFView/Open


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