{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T12:29:50Z","timestamp":1790425790372,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610571","type":"print"},{"value":"9783540499435","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014161","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:31:44Z","timestamp":1132734704000},"page":"325-341","source":"Crossref","is-referenced-by-count":14,"title":["Querying TSQL2 databases with temporal logic"],"prefix":"10.1007","author":[{"given":"Michael H.","family":"B\u00f6hlen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Chomicki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard T.","family":"Snodgrass","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"22_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"22_CR2","unstructured":"S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal Connectives versus Explicit Timestamps in Temporal Query Languages (unpublished manuscript)."},{"issue":"11","key":"22_CR3","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"16","author":"J. F. Allen","year":"1983","unstructured":"J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 16(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"M. H. B\u00f6hlen, C. S. Jensen, and R. T. Snodgrass. Evaluating and Enhancing the Completeness of TSQL2. Technical Report TR 95-5, Computer Science Department, University of Arizona, June 1995.","DOI":"10.1007\/978-1-4471-3033-8_9"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"J. Clifford and A. Croker. The Historical Relational Data Model (HRDM) and Algebra based on Lifespans. In Proceedings of the International Conference on Data Engineering, pages 528\u2013537, Los Angeles, CA, February 1987.","DOI":"10.1109\/ICDE.1987.7272420"},{"issue":"1","key":"22_CR6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/174638.174642","volume":"19","author":"J. Clifford","year":"1994","unstructured":"J. Clifford, A. Croker, and A. Tuzhilin. On Completeness of Historical Relational Query Languages. ACM Transactions on Database Systems, 19(1):64\u2013116, March 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Temporal Query Languages: a Survey. Proceedings of the First International Conference on Temporal Logic, pages 506\u2013534, 1994.","DOI":"10.1007\/BFb0014006"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/210197.210200","volume":"2","author":"J. Chomicki","year":"1995","unstructured":"J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, (20) 2, 149\u2013186, 1995.","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"J. Chomicki and D. Toman. Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 4, August 1995.","DOI":"10.1109\/69.404030"},{"key":"22_CR10","unstructured":"R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin\/Cummings Publishing Company, 2nd edition, 1994."},{"issue":"4","key":"22_CR11","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/49346.50065","volume":"13","author":"S. K. Gadia","year":"1988","unstructured":"S. K. Gadia. A Homogeneous Relational Model and Query Language for Temporal Databases. ACM Transactions on Database Systems, 13(4):418\u2013448, December 1988.","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.","DOI":"10.1007\/BFb0013976"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"M. Gertz and U.W. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings of the International Conference on Data Engineering, 1993.","DOI":"10.1109\/ICDE.1993.344081"},{"key":"22_CR14","unstructured":"D. Gabbay and P. McBrien. Temporal Logic and Historical Databases. In Proceedings of the International Conference on Very Large Databases, 1991."},{"key":"22_CR15","unstructured":"S. K. Gadia and S. S. Nair. Temporal Databases: A Prelude to Parametric Data. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 28\u201366. Benjamin\/Cummings Publishing Company, 1993."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"C. S. Jensen, J. Clifford, R. Elmasri, S. K. Gadia,P. Hayes, and S. Jajodia editors. A Glossary of Temporal Database Concepts. ACM SIGMOD Record, 23(1):52-64, March 1994.","DOI":"10.1145\/181550.181560"},{"issue":"3","key":"22_CR17","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1145\/322326.322332","volume":"29","author":"A. Klug","year":"1982","unstructured":"A. Klug. Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. Journal of the ACM, 29(3):699\u2013717, 1982.","journal-title":"Journal of the ACM"},{"key":"22_CR18","unstructured":"T. Y. C. Leung and R. R. Muntz. Stream Processing: Temporal Query Processing and Optimization. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, chapter 14, pages 329\u2013355. Benjamin\/Cummings Publishing Company, 1993."},{"issue":"3","key":"22_CR19","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U.W. Lipeck","year":"1987","unstructured":"U.W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Basedon Temporal Logic. Information Systems, 12(3):255\u2013269, 1987.","journal-title":"Information Systems"},{"key":"22_CR20","volume-title":"Understanding the New SQL: A Complete Guide","author":"J. Melton","year":"1993","unstructured":"J. Melton and A. R. Simon. Understanding the New SQL: A Complete Guide. Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1993."},{"key":"22_CR21","unstructured":"S. Navathe and R. Ahmed. Temporal Extensions to the Relational Model and SQL. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 92\u2013109. Benjamin\/Cummings Publishing Company, 1993."},{"issue":"2","key":"22_CR22","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/69.54721","volume":"2","author":"N. Sarda","year":"1990","unstructured":"N. Sarda. Extensions to SQL for Historical Databases. IEEE Transactions on Knowledge and Data Engineering, 2(2):220\u2013230, June 1990.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"22_CR23","unstructured":"N. Sarda. HSQL: A Historical Query Language. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings Publishing Company, 1993."},{"issue":"2","key":"22_CR24","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/22952.22956","volume":"12","author":"R. T. Snodgrass","year":"1987","unstructured":"R. T. Snodgrass. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247\u2013298, June 1987.","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"R. T. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 674+xxiv pages, 1995.","DOI":"10.1007\/978-1-4615-2289-8"},{"issue":"3","key":"22_CR26","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/69.390251","volume":"7","author":"A.P. Sistla","year":"1995","unstructured":"A.P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. IEEE Transactions on Knowledge and Data Engineering, 7(3):471\u2013486, June, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4","key":"22_CR27","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0306-4379(86)90014-1","volume":"11","author":"A. U. Tansel","year":"1986","unstructured":"A. U. Tansel. Adding time dimension to relational model and extending relational algebra. Information Systems, 11(4):343\u2013355, 1986.","journal-title":"Information Systems"},{"key":"22_CR28","unstructured":"D. Toman. Point-based vs. Interval-based Temporal Query Languages. TR-CS-95-15, Kansas State University, 1995."},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"D. Toman and D. Niwi\u0144ski. First-Order Temporal Queries Inexpressible in Temporal Logic. Proc. EDBT'96 (to appear), 1996.","DOI":"10.1007\/BFb0014160"},{"key":"22_CR30","unstructured":"A. Tuzhilin and J. Clifford. A Temporal Relational Algebra as a Basis for Temporal Relational Completeness. In Proceedings of the International Conference on Very Large Databases, 1990."},{"issue":"2","key":"22_CR31","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/114325.103712","volume":"16","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder and R.W. Topor. Safety and Translation of Relational Calculus Queries. ACM Transactions on Database Systems, 16(2):235\u2013278, June 1991.","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR32","unstructured":"B. W\u00fcthrich. Large Deductive Databases with Constraints. PhD thesis, Department Informatik, ETH Z\u00fcrich, 1991."}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:42:45Z","timestamp":1586580165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610571","9783540499435"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0014161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}