Temporal conditions and integrity constraints in active database systems

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.

REFERENCES

• 1: S. Chakravarthy et. al., HiPAC: A Research Project in Active, Time-Constrained Database Management, TR XAIT-89-02, Xerox Advanced Information Technology.
• 2: Sharma Chakravarthy , V. Krishnaprasad , Eman Anwar , S.-K. Kim, Composite Events for Active Databases: Semantics, Contexts and Detection, Proceedings of the 20th International Conference on Very Large Data Bases, p.606-617, September 12-15, 1994
• 3: Jan Chomicki, History-less Checking of Dynamic Integrity Constraints, Proceedings of the Eighth International Conference on Data Engineering, p.557-564, February 03-07, 1992
• 4: Jan Chomicki, Real-time integrity constraints, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.274-282, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137889]
• 5: U. Dayal, Active Database Management Systems, Proceedings of the Third International Conference on Data and Knowledge Bases-Improving Usability and Responsiveness, Jerusalem, June 1988.
• 6: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Organizing long-running activities with triggers and transactions, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.204-214, May 23-26, 1990, Atlantic City, New Jersey, United States
• 7: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, A Transactional Model for Long-Running Activities, Proceedings of the 17th International Conference on Very Large Data Bases, p.113-122, September 03-06, 1991
• 8: M. Deng, Past Temporal Logic Trigger Evaluation System, Master Project Report, University of Illinois at Chicago, Department of EE and CS, 1994.
• 9: A. Elmagarmid, editor, Data Eng. Bulletin, Special Issue on Unconventional Transaction Management, March 1991.
• 10: O. Etzion, A. Gal and A. Segev, Retroactive and Proactive Database Processing, Proc. of the 4th Int. Workshop on Research Issues in Database Engineering, Feb. 94.
• 11: S. Gatziu and K. Dittrich, SAMOS: an Active Object-Oriented Database System, Data Engineering Bulletin, Dec. 92.
• 12: N. H. Gehani , H. V. Jagadish , O. Shmueli, Event specification in an active object-oriented database, Proceedings of the 1992 ACM SIGMOD international conference on Management of data, p.81-90, June 02-05, 1992, San Diego, California, United States
• 13: Narain H. Gehani , H. V. Jagadish , Oded Shmueli, Composite Event Specification in Active Databases: Model & Implementation, Proceedings of the 18th International Conference on Very Large Data Bases, p.327-338, August 23-27, 1992
• 14: Michael Gertz , Udo W. Lipeck, Deriving Integrity Maintaining Triggers from Transition Graphs, Proceedings of the Ninth International Conference on Data Engineering, p.22-29, April 19-23, 1993
• 15: Eric N. Hanson, Rule condition testing and action execution in Ariel, Proceedings of the 1992 ACM SIGMOD international conference on Management of data, p.49-58, June 02-05, 1992, San Diego, California, United States
• 16: E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems Research Report RJ9023, IBM Research Division, 1992.
• 17: G. Kiernan , C. de Maindreville , E. Simon, Making deductive databases a practical technology: a step forward, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.237-246, May 23-26, 1990, Atlantic City, New Jersey, United States
• 18: Angelika M. Kotz , Klaus R. Dittrich , Jutta A. Mülle, Supporting Semantic Rules by a Generalized Event/Trigger Mechanism, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.76-91, March 14-18, 1988
• 19: U. W. Lipeck , G. Saake, Monitoring dynamic integrity constraints based on temporal logic, Information Systems, v.12 n.3, p.255-269, 1987 [doi>10.1016/0306-4379(87)90004-4]
• 20: Gunter Saake , Udo W. Lipeck, Using Finite-Linear Temporal Logic for Specifying Database Dynamics, Proceedings of the 2nd Workshop on Computer Science Logic, p.288-300, October 03-07, 1988
• 21: Dennis McCarthy , Umeshwar Dayal, The architecture of an active database management system, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.215-224, June 1989, Portland, Oregon, United States
• 22: T. Risch, Monitoring database objects, Proceedings of the 15th international conference on Very large data bases, p.445-453, July 1989, Amsterdam, The Netherlands
• 23: A. Segev , H. Gunadhi, Event-join optimization in temporal relational databases, Proceedings of the 15th international conference on Very large data bases, p.205-215, July 1989, Amsterdam, The Netherlands
• 24: Arie Segev , Arie Shoshani, Logical modeling of temporal data, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.454-466, May 27-29, 1987, San Francisco, California, United States
• 25: Arie Segev , Arie Shoshani, The Representation of a Temporal Data Model in the Relational Environment, Proceedings of the 4th International Working Conference SSDBM on Statistical and Scientific Database Management, p.39-61, June 21-23, 1988
• 26: T. Sellis , C. Lin , L. Raschid, Data intensive production systems: the DIPS approach, ACM SIGMOD Record, v.18 n.3, p.52-58, Sep. 1989 [doi>10.1145/71031.71038]
• 27: A. Prasad Sistla , Ouri Wolfson, Temporal Triggers in Active Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.471-486, June 1995 [doi>10.1109/69.390251]
• 28: Richard Snodgrass , Ilsoo Ahn, Temporal databases, Computer, v.19 n.9, p.35-41, Sept. 1986 [doi>10.1109/MC.1986.1663327]
• 29: Richard Thomas Snodgrass , S. Gomez , E. McKenzie, Aggregates in the Temporal Query Language TQuel, IEEE Transactions on Knowledge and Data Engineering, v.5 n.5, p.826-842, October 1993 [doi>10.1109/69.243512]
• 30: L. J. Stockmeyer (1974), The complexity of decision procedures in Automata theory and Logic, Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report Tr-133.
• 31: Michael Stonebraker , Anant Jhingran , Jeffrey Goh , Spyros Potamianos, On rules, procedure, caching and views in data base systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.281-290, May 23-26, 1990, Atlantic City, New Jersey, United States
• 32: Michael Stonebraker , Greg Kemnitz, The POSTGRES next generation database management system, Communications of the ACM, v.34 n.10, p.78-92, Oct. 1991 [doi>10.1145/125223.125262]
• 33: D. Toman and J. Chomicki, Implementing Temporal Integrity Constraints Using an Active Database, Proc. of the 4th Int Workshop on Research Issues in Database Engineering, Feb. 94.
• 34: Alexander Tuzhilin , James Clifford, A temporal relational algebra as a basis for temporal relational completeness, Proceedings of the sixteenth international conference on Very large databases, p.13-23, September 1990, Brisbane, Australia
• 35: Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
• 36: Jennifer Widom , S. J. Finkelstein, Set-oriented production rules in relational database systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.259-270, May 23-26, 1990, Atlantic City, New Jersey, United States

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages
          Nouns: SYBASE

General Terms:
Algorithms, Languages, Performance