ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Temporal Conditions and Integrity Constraints in Active Database Systems.

A. Prasad Sistla, Ouri Wolfson: Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280
@inproceedings{DBLP:conf/sigmod/SistlaW95,
  author    = {A. Prasad Sistla and
               Ouri Wolfson},
  editor    = {Michael J. Carey and
               Donovan A. Schneider},
  title     = {Temporal Conditions and Integrity Constraints in Active Database
               Systems},
  booktitle = {Proceedings of the 1995 ACM SIGMOD International Conference on
               Management of Data, San Jose, California, May 22-25, 1995},
  publisher = {ACM Press},
  year      = {1995},
  pages     = {269-280},
  ee        = {http://doi.acm.org/10.1145/223784.223844, db/conf/sigmod/sigmod95-21.html},
  crossref  = {DBLP:conf/sigmod/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also permits specification of temporal aggregates. We present an efficient incremental algorithm for detecting conditions specified in this language. The given algorithm, for a subclass of the logic, was implemented on top of Sybase.

Copyright © 1995 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Michael J. Carey, Donovan A. Schneider (Eds.): Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995. ACM Press 1995 BibTeX , SIGMOD Record 24(2), June 1995
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1345 KB]

References

[1]
...
[2]
Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar, S.-K. Kim: Composite Events for Active Databases: Semantics, Contexts and Detection. VLDB 1994: 606-617 BibTeX
[3]
Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX
[4]
Jan Chomicki: Real-Time Integrity Constraints. PODS 1992: 274-282 BibTeX
[5]
Umeshwar Dayal: Active Database Management Systems. JCDKB 1988: 150-169 BibTeX
[6]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: Organizing Long-Running Activities with Triggers and Transactions. SIGMOD Conference 1990: 204-214 BibTeX
[7]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122 BibTeX
[8]
...
[9]
...
[10]
Opher Etzion, Avigdor Gal, Arie Segev: Retroactive and Proactive Database Processing. RIDE-ADS 1994: 126-131 BibTeX
[11]
Stella Gatziu, Klaus R. Dittrich: SAMOS: an Active Object-Oriented Database System. IEEE Data Eng. Bull. 15(1-4): 23-26(1992) BibTeX
[12]
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Event Specification in an Active Object-Oriented Database. SIGMOD Conference 1992: 81-90 BibTeX
[13]
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338 BibTeX
[14]
Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29 BibTeX
[15]
Eric N. Hanson: Rule Condition Testing and Action Execution in Ariel. SIGMOD Conference 1992: 49-58 BibTeX
[16]
...
[17]
Gerald Kiernan, Christophe de Maindreville, Eric Simon: Making Deductive Databases a Practical Technology: A Step Forward. SIGMOD Conference 1990: 237-246 BibTeX
[18]
Angelika M. Kotz, Klaus R. Dittrich, Jutta A. Mülle: Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. EDBT 1988: 76-91 BibTeX
[19]
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
[20]
Gunter Saake, Udo W. Lipeck: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. CSL 1988: 288-300 BibTeX
[21]
Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX
[22]
Tore Risch: Monitoring Database Objects. VLDB 1989: 445-453 BibTeX
[23]
Arie Segev, Himawan Gunadhi: Event-Join Optimization in Temporal Relational Databases. VLDB 1989: 205-215 BibTeX
[24]
Arie Segev, Arie Shoshani: Logical Modeling of Temporal Data. SIGMOD Conference 1987: 454-466 BibTeX
[25]
Arie Segev, Arie Shoshani: The Representation of a Temporal Data Model in the Relational Environment. SSDBM 1988: 39-61 BibTeX
[26]
...
[27]
A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995) BibTeX
[28]
...
[29]
Richard T. Snodgrass, Santiago Gomez, L. Edwin McKenzie: Aggregates in the Temporal Query Language TQuel. IEEE Trans. Knowl. Data Eng. 5(5): 826-842(1993) BibTeX
[30]
...
[31]
Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 BibTeX
[32]
Michael Stonebraker, Greg Kemnitz: The Postgres Next Generation Database Management System. Commun. ACM 34(10): 78-92(1991) BibTeX
[33]
David Toman, Jan Chomicki: Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS 1994: 87-95 BibTeX
[34]
Alexander Tuzhilin, James Clifford: A Temporal Relational Algebra as Basis for Temporal Relational Completeness. VLDB 1990: 13-23 BibTeX
[35]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[36]
Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX

Referenced by

  1. Pankaj K. Agarwal, Lars Arge, Jeff Erickson: Indexing Moving Points. PODS 2000: 175-186
  2. Iakovos Motakis, Carlo Zaniolo: Temporal Aggregation in Active Database Rules. SIGMOD Conference 1997: 440-451
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:40:26 2009