Specifying active databases in the situation calculus

Simple item page
dc.contributor.authorBertossi Duran, Leopoldo
dc.contributor.authorPinto Bustamante, Javier Andres
dc.contributor.authorValdivia Pinto, Ricardo Elías
dc.date.accessioned2022-05-17T15:57:17Z
dc.date.available2022-05-17T15:57:17Z
dc.date.issued1998
dc.description.abstractThe paper provides a predicate logic based semantics for active rules in active databases. Previous work has been done to provide the semantics of execution of active rules. In part, this work has been directed towards providing a unifying criteria regarding the meaning of active rules, and to provide a framework for comparing different proposals for active database systems. The main contribution of the article is a proposal to integrate the specification of active rules with the specification of the dynamics of change (based on transactions) in relational databases. The approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used to specify updates in databases. To achieve this, the authors specify first the notion of database transaction in a situation calculus extended with the notion of occurrence, as proposed by Pinto. They concentrate mostly on the execution semantics of Starburst.
dc.fuente.origenIEEE
dc.identifier.doi10.1109/SCCC.1998.730780
dc.identifier.isbn818686162
dc.identifier.urihttps://doi.org/10.1109/SCCC.1998.730780
dc.identifier.urihttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=730780
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/64051
dc.information.autorucEscuela de ingeniería ; Bertossi Duran, Leopoldo ; S/I ; 55624
dc.information.autorucFacultad de matemáticas ; Pinto Bustamante, Javier Andres ; S/I ; 56500
dc.information.autorucEscuela de ingeniería ; Valdivia Pinto, Ricardo Elías ; S/I ; 1451
dc.language.isoen
dc.nota.accesoContenido parcial
dc.publisherIEEE
dc.relation.ispartofProceedings SCCC International Conference of the Chilean Society of Computer Science (18° : 1998 : Antofagasta, Chile)
dc.rightsacceso restringido
dc.subjectCalculus
dc.subjectTransaction databases
dc.subjectProposals
dc.subjectLogic
dc.subjectDatabase systems
dc.subjectConcurrent computing
dc.subjectElectrical capacitance tomography
dc.subjectLaw
dc.subjectLegal factors
dc.titleSpecifying active databases in the situation calculuses_ES
dc.typecomunicación de congreso
sipa.codpersvinculados55624
sipa.codpersvinculados56500
sipa.codpersvinculados1451
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Specifying active databases in the situation calculus.pdf
Size:
2.69 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Artículos de conferencia