Expressiveness Issues and Decision Problems for Active Database Event Queries.

@inproceedings{DBLP:conf/icdt/BaileyM01,
  author    = {James Bailey and
               Szabolcs Mikul{\'a}s},
  editor    = {Jan Van den Bussche and
               Victor Vianu},
  title     = {Expressiveness Issues and Decision Problems for Active Database
               Event Queries},
  booktitle = {Database Theory - ICDT 2001, 8th International Conference, London,
               UK, January 4-6, 2001, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1973},
  year      = {2001},
  isbn      = {3-540-41456-8},
  pages     = {68-82},
  ee        = {db/conf/icdt/BaileyM01.html, http://link.springer.de/link/service/series/0558/bibs/1973/19730068.htm},
  crossref  = {DBLP:conf/icdt/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Edition: Springer LINK

References

[1]

Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar, S.-K. Kim: Composite Events for Active Databases: Semantics, Contexts and Detection. VLDB 1994: 606-617 BibTeX

[2]

Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995) BibTeX

[3]

Oscar Díaz, Norman W. Paton, Jon Iturrioz: Formalizing and Validating Behavioral Models Through the Event Calculus. Inf. Syst. 23(3-4): 179-196(1998) BibTeX

[4]

Stella Gatziu, Klaus R. Dittrich: Detecting Composite Events in Active Database Systems Using Petri Nets. RIDE-ADS 1994: 2-9 BibTeX

[5]

Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338 BibTeX

[6]

...

[7]

Ian M. Hodkinson: On Gabbay's Temporal Fixed Point Operator. Theor. Comput. Sci. 139(1&2): 1-25(1995) BibTeX

[8]

...

[9]

Isabelle Mirbel, Barbara Pernici, Timos K. Sellis, S. Tserkezoglou, Michalis Vazirgiannis: Checking the Temporal Integrity of Interactive Multimedia Documents. VLDB J. 9(2): 111-130(2000) BibTeX

[10]

Iakovos Motakis, Carlo Zaniolo: Formal Semantics for Composite Temporal Events in Active Database Rules. Journal of Systems Integration 7(3/4): 291-325(1997) BibTeX

[11]

Norman W. Paton (Ed.): Active Rules in Database Systems. Springer, New York 1999, ISBN 0-387-98529-8
Contents BibTeX

[12]

A. Prasad Sistla, Edmund M. Clarke: The Complexity of Propositional Linear Temporal Logics. J. ACM 32(3): 733-749(1985) BibTeX

[13]

A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995) BibTeX

[14]

Leslie G. Valiant, Mike Paterson: Deterministic One-Counter Automata. J. Comput. Syst. Sci. 10(3): 340-350(1975) BibTeX

[15]

Detlef Zimmer, Rainer Unland: On the Semantics of Complex Events in Active Database Management Systems. ICDE 1999: 392-399 BibTeX