{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:31Z","timestamp":1725663931537},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581833"},{"type":"electronic","value":"9783540484738"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58183-9_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:27:01Z","timestamp":1330270021000},"page":"28-41","source":"Crossref","is-referenced-by-count":1,"title":["Temporal database technology for air traffic flow management"],"prefix":"10.1007","author":[{"given":"S. M.","family":"Sripada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. L.","family":"Rosser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Bedford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. A.","family":"Kowalski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Bayer, P.: State-Of-The-Art Report on Reactive Processing in Databases and Artificial Intelligence. The Knowledge Engineering Review, Vol.8, No.2, 1993","DOI":"10.1017\/S0269888900000138"},{"key":"6_CR2","unstructured":"Bedford, J.M.: EQUATOR Temporal Database Management System \u2014 User Guide and Report. Technical Report AMS&T\/EQ\/REP\/33, Ferranti International plc, May 1992"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Jensen, C.S. et al.: A Concensus Glossary of Temporal Database Concepts. ACM SIGMOD Record, Vol.23, No. 1, March 1994","DOI":"10.1145\/181550.181560"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Kowalski,R.A., Sergot,M.J.: A logic-based calculus of events. In New Generation Computing. 1986","DOI":"10.1007\/BF03037383"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Maiocchi, R., Pernici, B., Barbie, F.: Automatic Deduction of Temporal Information. ACM Transactions on Database Systems. Vol.17, No.4, December 1992","DOI":"10.1145\/146931.146934"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Snodgrass, R.T. et al.: TSQL2 Language Specification. ACM SIGMOD Record, Vol.23, No.1, March 1994","DOI":"10.1145\/181550.181562"},{"key":"6_CR7","unstructured":"Sripada, S.M.: Temporal Reasoning in Deductive Databases. Doctoral Thesis. Department of Computing, Imperial College of Science, Technology & Medicine, University of London, January 1991"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Sripada, S.M.: A Temporal Approach to Belief Revision in Knowledge Bases. In Proc. 9th IEEE Conference on Artificial Intelligence for Applications, CAIA'93, Orlando, Florida, March 1993","DOI":"10.1109\/CAIA.1993.366661"},{"key":"6_CR9","unstructured":"Sripada, S.M.: The Design of the ChronoBase Temporal Deductive Database System. In Proc. International Workshop on Infrastructure for Temporal Databases (NSF Workshop), Arlington, Texas, June 1993"}],"container-title":["Lecture Notes in Computer Science","Applications of Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58183-9_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:21:50Z","timestamp":1640931710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58183-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581833","9783540484738"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58183-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}