{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:41:04Z","timestamp":1752230464649},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199458"},{"type":"electronic","value":"9781447130338"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3033-8_3","type":"book-chapter","created":{"date-parts":[[2012,1,3]],"date-time":"2012-01-03T12:27:25Z","timestamp":1325593645000},"page":"43-57","source":"Crossref","is-referenced-by-count":7,"title":["Temporal connectives versus explicit timestamps in temporal query languages"],"prefix":"10.1007","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Herr","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Temporal connectives versus explicit timestamps in temporal query languages","author":"S Abiteboul","year":"1995","unstructured":"S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal connectives versus explicit timestamps in temporal query languages. Technical report, INRIA, 1995. in preparation."},{"key":"3_CR2","volume-title":"Addison- Wesley","author":"S Abiteboul","year":"1994","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison- Wesley; 1994."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(51)90006-0","volume":"78","author":"S Abiteboul","year":"1991","unstructured":"S. Abiteboul and E. Simon. Fundamental properties of deterministic and nondeterministic extensions of Datalog. Theoretical Computer Science, 78: 137\u2013158, 1991.","journal-title":"Theoretical Computer Science"},{"key":"3_CR4","first-page":"209","volume-title":"Proceedings 23rd ACM Symposium on Theory of Computing","author":"S Abiteboul","year":"1991","unstructured":"S. Abiteboul and V. Vianu. Generic computation and its complexity. In Proceedings 23rd ACM Symposium on Theory of Computing, pages 209\u2013219, 1991."},{"key":"3_CR5","volume-title":"H. Gallaire, J. Minker, and J.-M. Nicolas, editors, Advances in Data Base Theory, pages 211\u2013236. Plenum Press","author":"A Casanova","year":"1984","unstructured":"A. Casanova and A. Furtado. On the description of database transition constraints using temporal constraints. In H. Gallaire, J. Minker, and J.-M. Nicolas, editors, Advances in Data Base Theory, pages 211\u2013236. Plenum Press, 1984."},{"key":"3_CR6","volume-title":"Proceedings 8th International Conference on Data Engineering. IEEE","author":"J Chomicki","year":"1992","unstructured":"J. Chomicki. History-less checking of temporal integrity constraints. In Proceedings 8th International Conference on Data Engineering. IEEE, 1992."},{"key":"3_CR7","volume-title":"D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic: ICTL94) volume 827 of Lecture Notes in Computer Science, pages 506\u2013534. Springer-Verlag","author":"J Chomicki","year":"1994","unstructured":"J. Chomicki. Temporal query languages: a survey. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic: ICTL\u201994) volume 827 of Lecture Notes in Computer Science, pages 506\u2013534. Springer-Verlag, 1994."},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","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, 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"3_CR9","volume-title":"J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16. Elsevier science publishers","author":"EA Emerson","year":"1990","unstructured":"E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16. Elsevier science publishers, 1990."},{"key":"3_CR10","volume-title":"Addison-Wesley","author":"JE Hopcroft","year":"1979","unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"3_CR11","unstructured":"A. Tansel et al., editors. Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings, 1993."},{"key":"3_CR12","first-page":"250","volume-title":"Proceedings 5th ACM Symposium on Principles of Programming Languages","author":"MY Vardi","year":"1988","unstructured":"M.Y. Vardi. A temporal fixpoint calculus. In Proceedings 5th ACM Symposium on Principles of Programming Languages, pages 250\u2013259, 1988."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P Wolper","year":"1983","unstructured":"P. Wolper. Temporal logic can be more expressive. Information and Control, 56: 72\u201393, 1983.","journal-title":"Information and Control"}],"container-title":["Workshops in Computing","Recent Advances in Temporal Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3033-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:48:51Z","timestamp":1557964131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3033-8_3"}},"subtitle":["preliminary report"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199458","9781447130338"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3033-8_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}