DECLARATIVE UPDATES IN DEDUCTIVE DATABASES

Simple item page
dc.contributor.authorCleary, Johneng
dc.contributor.authorLiu, Mengchieng
dc.date.accessioned2008-02-27T16:58:07Z
dc.date.available2008-02-27T16:58:07Z
dc.date.computerscience1999-05-27eng
dc.date.issued1993-01-01eng
dc.description.abstractThis 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.eng
dc.description.notesWe 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.caeng
dc.identifier.department1993-500-05eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30538
dc.identifier.urihttp://hdl.handle.net/1880/45841
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleDECLARATIVE UPDATES IN DEDUCTIVE DATABASESeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1993-500-05.pdf
Size:
937.08 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications