{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:57:07Z","timestamp":1743019027189,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387355443"},{"type":"electronic","value":"9780387399409"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-39940-9_402","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T09:07:40Z","timestamp":1253092060000},"page":"2987-2991","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Logic in Database Query Languages"],"prefix":"10.1007","author":[{"given":"Jan","family":"Chomicki","sequence":"first","affiliation":[]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"402_CR1_402","doi-asserted-by":"crossref","unstructured":"Abiteboul S., Herr L., and Van den Bussche J. Temporal versus first-order logic to query temporal databases. In Proc. 15th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 1996, pp. 49\u201357.","DOI":"10.1145\/237661.237674"},{"key":"402_CR2_402","first-page":"294","volume-title":"In Temporal Databases: Theory, Design, and Implementation, Chap. 13","author":"M. Baudinet","year":"1993","unstructured":"Baudinet M., Chomicki J., and Wolper P. Temporal deductive databases. In Temporal Databases: Theory, Design, and Implementation, Chap. 13, A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, R.T. and Snodgrass Benjamin\/Cummings, Reading, MA, 1993, pp. 294\u2013320."},{"key":"402_CR3_402","unstructured":"de Castilho J.M.V., Casanova M.A., and Furtado A.L. A temporal framework for database specifications. In Proc. 8th Int. Conf. on Very Data Bases, 1982, pp. 280\u2013291."},{"key":"402_CR4_402","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. Gabbay","year":"1994","unstructured":"Gabbay D., Hodkinson I., and Reynolds M. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, New York, 1994."},{"issue":"1\u20132","key":"402_CR5_402","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.14.9-54","volume":"14","author":"V. Goranko","year":"2004","unstructured":"Goranko V., Montanari A., and Sciavicco G. A road map of interval temporal logics and duration calculi. J. Appl. Non-Classical Logics, 14(1\u20132):9\u201354, 2004.","journal-title":"J. Appl. Non-Classical Logics"},{"key":"402_CR6_402","volume-title":"Tense Logic and the Theory of Linear Order. PhD Thesis","author":"J. Kamp","year":"1968","unstructured":"Kamp J. Tense Logic and the Theory of Linear Order. PhD Thesis, University of California, Los Angeles, 1968."},{"issue":"4","key":"402_CR7_402","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255\u2013299, 1990.","journal-title":"Real-Time Systems"},{"key":"402_CR8_402","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna Z. and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, Berlin, 1992."},{"key":"402_CR9_402","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas A. Temporal aspects of logical procedure definition. Inf. Syst., 5:167\u2013187, 1980.","journal-title":"Inf. Syst."},{"key":"402_CR10_402","doi-asserted-by":"crossref","unstructured":"Toman D. On incompleteness of multi-dimensional first-order temporal logics. In Proc. 10th Int. Symp. Temporal Representation and Reasoning\/4th Int. Conf. Temporal Logic, 2003, pp. 99\u2013106.","DOI":"10.1109\/TIME.2003.1214885"},{"key":"402_CR11_402","doi-asserted-by":"crossref","unstructured":"Toman D. and Niwinski D. First-order queries over temporal databases inexpressible in temporal logic. In Advances in Database Technology, Proc. 5th Int. Conf. on Extending Database Technology, pp, 307\u2013324.1996,","DOI":"10.1007\/BFb0014160"},{"key":"402_CR12_402","unstructured":"Tuzhilin A. and Clifford J. A temporal relational algebra as a basis for temporal relational completeness. In Proc. 16th Int. Conf. on Very Large Data Bases, 1990, pp. 13-23."},{"key":"402_CR13_402","doi-asserted-by":"crossref","unstructured":"van Benthem J. The Logic of Time. D. Reidel, 2nd edn., 1991.","DOI":"10.1007\/978-94-015-7947-6"},{"key":"402_CR14_402","doi-asserted-by":"crossref","unstructured":"Vardi M.Y. A temporal fixpoint calculus. In Proc. 15th ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, 1988, pp. 250\u2013259.","DOI":"10.1145\/73560.73582"},{"key":"402_CR15_402","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"Wolper P. Temporal logic can be more expressive. Inf. Contr., 56:72\u201399, 1983.","journal-title":"Inf. Contr."}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39940-9_402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T05:34:57Z","timestamp":1739338497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39940-9_402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387355443","9780387399409"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39940-9_402","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}