{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:15:39Z","timestamp":1725632139086},"publisher-location":"London","reference-count":42,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199830"},{"type":"electronic","value":"9781447130802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-3080-2_8","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T06:51:50Z","timestamp":1320907910000},"page":"122-141","source":"Crossref","is-referenced-by-count":2,"title":["Temporal Conditions with Retroactive and Proactive Updates"],"prefix":"10.1007","author":[{"given":"Minglin","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Prasad Sistla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ouri","family":"Wolfson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"P. Sistla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systems. To appear at Sigmod, 1995.","DOI":"10.1145\/223784.223844"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"J. Chomicki. History-less Checking of Dynamic Integrity Constraints. In Proceedings IEEE International Conference on Data Engineering, Phoenix, Arizona, Febraury 1992.","DOI":"10.1109\/ICDE.1992.213153"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"J. Chomicki, Real-Time Integrity Constraints. ACM Symposium on Principles of Database Systems, June 1992.","DOI":"10.1145\/137097.137889"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"D. Cohen. Compiling Complex Database Triggers. In Proceedings of ACM SIGMOD, 1989.","DOI":"10.1145\/67544.66947"},{"key":"8_CR5","unstructured":"S. Ceri and J. Widom. Production Rules in Parallel and Distributed Database Environments. In Proceedings of VLDB, 1992."},{"key":"8_CR6","unstructured":"S. Chakravarthy et al. HiPAC: A Research Project in Active, Time-Constrained Database Management. TR XAIT-89-02, Xerox Advanced Information Technology, 1989."},{"key":"8_CR7","unstructured":"S. Chakravarthy et al. Composite Events for Active Databases: Semantics, Contexts and Detection. In Proceedings of VLDB, 1994."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"U. Dayal. Active Database Management Systems. In Proceedings of the Third International Conference on Data and Knowledge Bases \u2014 Improving Usability and Responsiveness, Jerusalem, June 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"8_CR9","unstructured":"M. Deng. Past Temporal Logic Trigger Evaluation System. Masters Project Report, University of Illinois at Chicago, Department of EE and CS, 1994."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In Proceedings of ACM-SIGMOD Conference, 1990.","DOI":"10.1145\/93597.98730"},{"key":"8_CR11","unstructured":"U. Dayal, M. Hsu, R. Ladin A Transactional Model for Long-Running Activities, Proceedings of the 17th Conf. on VLDB, 1991."},{"key":"8_CR12","unstructured":"M. Darnovsky and J. Bowman. TRANSACT-SQL USER\u2019S GUIDE. Document 3231-2.1 Sybase Inc., 1987."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"O. Etzion, A. Gal, and A. Segev. Retroactive and Proactive Database Processing. In Procceedings of the 4th Int. Workshop on Research Issues in Database Engineering, Feb. 94.","DOI":"10.1109\/RIDE.1994.282845"},{"key":"8_CR14","unstructured":"A. Elmagarmid, editor, Data Eng. Bulletin, Special Issue on Unconventional Transaction Management, March 1991."},{"key":"8_CR15","unstructured":"S. Gatziu and K. Dittrich. SAMOS: an Active Object-Oriented Database System. Data Engineering Bulletin, December 1992."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"N. H. Gehani, H. V. Jagadish, and O. Shmueli. Event Specification in an Active Object-Oriented Database. In Proceedings of the ACM-SIGMOD Conference, 1992.","DOI":"10.1145\/130283.130300"},{"key":"8_CR17","unstructured":"N. H. Gehani, H. V. Jagadish, and O. Shmueli. Composite Event Specification in Active Databases: Model & Implementation. In Proceedings of the 18th International Conference on Very Large Databases, August 1992."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"M. Gertz and U. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings International Conference on Data Engineering, 1993.","DOI":"10.1109\/ICDE.1993.344081"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"E. N. Hanson. Rule Condition Testing and Action Execution in Ariel. In Proceedings of the ACM-SIGMOD 1992, International Conference on Management of Data, June 1992.","DOI":"10.1145\/130283.130295"},{"key":"8_CR20","unstructured":"E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems. Research Report RJ9023, IBM Research Division, 1992."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"A. Kotz, K. Dittrich, and J. Mulle. Supporting Semantic Rules by a Generalized Event\/Trigger Mechanism. In Proceedings of the EDBT\u201988, Springer Verlag LNCS 303, 1988.","DOI":"10.1007\/3-540-19074-0_48"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"G. Kiernan, C. de Maindreville, and E. Simon. Making Deductive Database a Practical Technology: A Step Forward. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.","DOI":"10.1145\/93597.98733"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"UW Lipeck","year":"1987","unstructured":"U. W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, 12(3):255\u2013269, 1987.","journal-title":"Information Systems"},{"key":"8_CR24","unstructured":"U. W. Lipeck and G. Saake, Using Finite-Linear Temporal Logic for Specifying Database Dynamics. Lecture Notes in Computer Science, Springer-Verlag, 1988."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"D. R. McCarthy and U. Dayal. The Architecture of An Active Database Management System. In Proceedings ACM-SIGMOD 1989 International Conference Management of Data, Portland, Oregon, pages 215\u2013224, May-June 1989.","DOI":"10.1145\/67544.66946"},{"key":"8_CR26","unstructured":"T. Risch. Monitoring Database Objects. In Proceedings of VLDB, August 1989."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"T. Sellis, editor. Special Issue on Rule Management and Processing in Expert Database Systems. SIGMOD RECORD, 18(3), September 1989.","DOI":"10.1145\/71031.71038"},{"key":"8_CR28","unstructured":"A. Segev and H. Gunadhi. Event-Join Optimization in Temporal Relational Databases.In Proceedings of VLDB, August 1989."},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On Rules, Procedures, Caching and Views in Database Systems. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.","DOI":"10.1145\/93597.98737"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"M. Stonebraker and G. Kemnitz. The Postgres Next-generation Database Management System. CACM, October 1991.","DOI":"10.1145\/125223.125262"},{"key":"8_CR31","unstructured":"R. Snodgrass, editor. Data Engineering, Special Issue on Temporal Databases, December 1988."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"R. Snodgrass and I. Ahn. The Temporal Databases. IEEE Computer, September 1986.","DOI":"10.1109\/MC.1986.1663327"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"R. Snodgrass, S. Gomez, and E. McKenzie. Aggregates in the Temporal Query Language TQuel. IEEE Transactions on Knowledge and Data Engineering, October 1993.","DOI":"10.1109\/69.243512"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"A. Segev and A. Shoshani. Logical Modeling of Temporal Data. In Proceedings of the ACM-Sigmod International Conference on Management of ata, 1987.","DOI":"10.1145\/38713.38760"},{"key":"8_CR35","unstructured":"A. Segev and A. Shoshani. The Representation of a Temporal Data Model in the Relational Environment. In Proceedings of the 4th International Conference on Statistical and Scientific Data Management, June 1988."},{"key":"8_CR36","unstructured":"L. J. Stockmeyer. The complexity of decision procedures in Automata theory and Logic. Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report TR-133, 1974."},{"key":"8_CR37","unstructured":"A. P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. Technical Report, EECS Department, University of Illinois at Chicago, 1993."},{"key":"8_CR38","unstructured":"A. Tuzhilin and J. Clifford. A Temporal Relational Algebra as a Basis for Temporal Relational Completeness. In Proceedings of the 16th VLDB Conference, 1990."},{"key":"8_CR39","unstructured":"D. Toman and J. Chomicki. Implementing Temporal Integrity Constraints Using an Active Database. In Proceedings of the 4th International Workshop on Research Issues in Database Engineering, February 1994."},{"key":"8_CR40","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988."},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"X. Wang, S. Jajodia, and V. Subrahmanian. Temporal Modules: An Approach Toward Federated Temporal Databases. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1993.","DOI":"10.1145\/170035.170074"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"J. Widom and S. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.","DOI":"10.1145\/93597.98735"}],"container-title":["Workshops in Computing","Active and Real-Time Database Systems (ARTDB-95)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3080-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T09:59:14Z","timestamp":1593251954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3080-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540199830","9781447130802"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3080-2_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1996]]}}}