Expressiveness Issues and Decision Problems for Active Database Event Queries.

James Bailey, Szabolcs Mikulás: Expressiveness Issues and Decision Problems for Active Database Event Queries. ICDT 2001: 68-82
  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,},
  crossref  = {DBLP:conf/icdt/2001},
  bibsource = {DBLP,}

Online Edition: Springer LINK

Citation Page BibTeX


Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar, S.-K. Kim: Composite Events for Active Databases: Semantics, Contexts and Detection. VLDB 1994: 606-617 BibTeX
Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995) BibTeX
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
Stella Gatziu, Klaus R. Dittrich: Detecting Composite Events in Active Database Systems Using Petri Nets. RIDE-ADS 1994: 2-9 BibTeX
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338 BibTeX
Ian M. Hodkinson: On Gabbay's Temporal Fixed Point Operator. Theor. Comput. Sci. 139(1&2): 1-25(1995) BibTeX
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
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
Norman W. Paton (Ed.): Active Rules in Database Systems. Springer, New York 1999, ISBN 0-387-98529-8
Contents BibTeX
A. Prasad Sistla, Edmund M. Clarke: The Complexity of Propositional Linear Temporal Logics. J. ACM 32(3): 733-749(1985) BibTeX
A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995) BibTeX
Leslie G. Valiant, Mike Paterson: Deterministic One-Counter Automata. J. Comput. Syst. Sci. 10(3): 340-350(1975) BibTeX
Detlef Zimmer, Rainer Unland: On the Semantics of Complex Events in Active Database Management Systems. ICDE 1999: 392-399 BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:19:16 2009