DECLARATIVE UPDATES IN DEDUCTIVE OBJECT BASES
dc.contributor.author | Cleary, John | eng |
dc.contributor.author | Liu, Mengchi | eng |
dc.date.accessioned | 2008-02-27T16:58:11Z | |
dc.date.available | 2008-02-27T16:58:11Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1993-03-01 | eng |
dc.description.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. | eng |
dc.description.notes | 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 digitize@ucalgary.ca | eng |
dc.identifier.department | 1993-511-16 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/30539 | |
dc.identifier.uri | http://hdl.handle.net/1880/45842 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | DECLARATIVE UPDATES IN DEDUCTIVE OBJECT BASES | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |