| U. Jaeger and J. C. Freytag. An annotated bibliography on active databases. SIGMOD, 24(1):58-69, March 1995. |
....Calculus LEOPOLDO BERTOSSI JAVIER PINTO RICARDO VALDIVIA 1 Departamento de Ciencia de la Computacion Escuela de Ingeniera Pontificia Universidad Catolica de Chile Santiago 6904411, CHILE. Abstract This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our main contribution is a proposal to integrate the specification of active rules with the specification of the dynamics of transaction based change in relational databases. Our approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used to ....
....updates in databases [14] To achieve this, we first specify database transactions in the situation calculus, and then active rules using the notion of occurrence as proposed in [13] 1. 1 Introduction This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our work is based on a dialect of the situation calculus (Sitcalc) a language 1 fbertossi,jpinto,revaldivg ing.puc.cl 2CHAPTER 1. SPECIFYING DATABASETRANSACTIONS ANDACTIVERULES IN THE SITUATIONCALCULUS of many sorted predicate logic that was originally proposed to represent knowledge about ....
U. Jaeger and J.C. Freytag. An Annotated Bibliography on Active Databases. SIGMOD Record, 24(1):58--69, 1995.
.... Bibliography on Active Databases Ulrike Jaeger, Johann Christoph Freytag Humboldt Universitat zu Berlin, Germany fjaeger, freytagg informatik.hu berlin.de December 12, 1996 1 Introduction This is an updated version of our bibliography on active databases and active database systems ( JF95] It reflects the various research activities in this field. We collected this bibliography for our own use, but hopefully it might be useful to other people as well. All papers that appear in the following list, are generally accessible. We do not claim that the bibliography is exhaustive and ....
U. Jaeger and J.C. Freytag. An annotated bibliography on active databases. SIGMOD Record, 24(No.1):58--69, March 1995.
No context found.
U. Jaeger and J. C. Freytag. An annotated bibliography on active databases. SIGMOD, 24(1):58-69, March 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC