Specifying active databases in the situation calculus

L. Bertossi; J. Pinto; R. Valdivia

doi:10.1109/SCCC.1998.730780

Specifying active databases in the situation calculus

L. Bertossi
, J. Pinto
, R. Valdivia

Pontificia Universidad Católica de Chile

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

The 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.

Original language	English
Title of host publication	Proceedings - SCCC 1998
Subtitle of host publication	18th International Conference of the Chilean Society of Computer Science
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	32-39
Number of pages	8
ISBN (Electronic)	0818686162, 9780818686160
DOIs	https://doi.org/10.1109/SCCC.1998.730780
State	Published - 1998
Externally published	Yes

Publication series

Name	Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science
Volume	1998-November

Access to Document

10.1109/SCCC.1998.730780

Cite this

Bertossi, L., Pinto, J., & Valdivia, R. (1998). Specifying active databases in the situation calculus. In Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science (pp. 32-39). Article 730780 (Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science; Vol. 1998-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SCCC.1998.730780

@inproceedings{e99e8147044d4f5eb141b262b9e3da75,

title = "Specifying active databases in the situation calculus",

abstract = "The 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.",

author = "L. Bertossi and J. Pinto and R. Valdivia",

note = "Publisher Copyright: {\textcopyright} 1998 IEEE.",

year = "1998",

doi = "10.1109/SCCC.1998.730780",

language = "English",

series = "Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "32--39",

booktitle = "Proceedings - SCCC 1998",

address = "United States",

}

Bertossi, L, Pinto, J & Valdivia, R 1998, Specifying active databases in the situation calculus. in Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science., 730780, Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science, vol. 1998-November, Institute of Electrical and Electronics Engineers Inc., pp. 32-39. https://doi.org/10.1109/SCCC.1998.730780

Specifying active databases in the situation calculus. / Bertossi, L.; Pinto, J.; Valdivia, R.
Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science. Institute of Electrical and Electronics Engineers Inc., 1998. p. 32-39 730780 (Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science; Vol. 1998-November).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Specifying active databases in the situation calculus

AU - Bertossi, L.

AU - Pinto, J.

AU - Valdivia, R.

PY - 1998

Y1 - 1998

N2 - The 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.

AB - The 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.

UR - https://www.scopus.com/pages/publications/80054825172

U2 - 10.1109/SCCC.1998.730780

DO - 10.1109/SCCC.1998.730780

M3 - Conference contribution

AN - SCOPUS:80054825172

T3 - Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science

SP - 32

EP - 39

BT - Proceedings - SCCC 1998

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Bertossi L, Pinto J, Valdivia R. Specifying active databases in the situation calculus. In Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science. Institute of Electrical and Electronics Engineers Inc. 1998. p. 32-39. 730780. (Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science). doi: 10.1109/SCCC.1998.730780

Specifying active databases in the situation calculus

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this