{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:50Z","timestamp":1725455990838},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013994","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"283-300","source":"Crossref","is-referenced-by-count":6,"title":["On the completeness of temporal database query languages"],"prefix":"10.1007","author":[{"given":"Michael","family":"B\u00f6hlen","sequence":"first","affiliation":[]},{"given":"Robert","family":"Marti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 16(11), 1983.","DOI":"10.1145\/182.358434"},{"key":"18_CR2","volume-title":"Technical report","author":"M. B\u00f6hlen","year":"1992","unstructured":"M. B\u00f6hlen and R. Marti. A Temporal Extension of the Deductive Database System Pro-Quel. Technical report, Departement Informatik, ETH Z\u00fcrich, 1992."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"M. B\u00f6hlen and R. Marti. Handling Temporal Knowledge in a Deductive Database System. In A. Oberweis W. Stucky, editor, Datenbanksysteme in B\u00fcro, Technik und Wissenschaft, 1993.","DOI":"10.1007\/978-3-642-86096-6_23"},{"key":"18_CR4","unstructured":"M. B\u00f6hlen. The Temporal Deductive Database System ChronoLog. PhD thesis, Departement Informatik, ETH Z\u00fcrich, 1994."},{"key":"18_CR5","volume-title":"Technical report","author":"J. Burse","year":"1992","unstructured":"J. Burse. Pro-Quel: Using Prolog to Implement a Deductive Database System. Technical report, Departement Informatik, ETH Z\u00fcrich, 1992."},{"key":"18_CR6","unstructured":"J. Clifford, A. Croker, and A. Tuzhilin. On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 496\u2013533. Benjamin\/Cummings Publishing Company, 1993."},{"key":"18_CR7","volume-title":"Surveys in Computer Science","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Surveys in Computer Science, Springer Verlag, Berlin, 1990."},{"key":"18_CR8","first-page":"65","volume":"6","author":"E. F. Codd","year":"1972","unstructured":"E. F. Codd. Relational Completeness of Data Base Sublanguages. Courant Computer Symposia Series, 6:65\u201398, 1972.","journal-title":"Courant Computer Symposia Series"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"D. Gabbay. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, pages 409\u2013448. Springer-Verlag, LNCS 398, 1987.","DOI":"10.1007\/3-540-51803-7_36"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"S. K. Gadia. Weak Temporal Relations. In Proceedings of the International Conference on Principles of Database Systems, 1986.","DOI":"10.1145\/6012.15406"},{"issue":"4","key":"18_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 Languages for Temporal Databases. ACM Transactions on Database Systems, 13(4):418\u2013448, 1988.","journal-title":"ACM Transactions on Database Systems"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"S. K. Gadia and C. Yeung. A Generalized Model for a Relational Temporal Database. In Proceedings of the ACM SIGMOD International Conference on Management of Data, 1988.","DOI":"10.1145\/50202.50233"},{"key":"18_CR13","unstructured":"B. Haugh. Non-standard Semantics for the Method of Temporal Arguments. In P. Jackson, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 449\u2013455, 1987."},{"key":"18_CR14","unstructured":"P.M. Hill and R.W. Topor. A Semantics for Typed Logic Programs. In F. Pfenning, editor, Types in Logic Programming, chapter 1, pages 1\u201362. MIT Press, 1992."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"C. Jensen, M. Soo, and R. Snodgrass. Unification of Temporal Data Models. In International Conference on Data Engineering, 1993.","DOI":"10.1109\/ICDE.1993.344056"},{"key":"18_CR16","unstructured":"H.F. Korth and A. Silberschatz. Database system concepts. McGraw-Hill, 1991."},{"key":"18_CR17","volume-title":"Symbolic Computation","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Logic Programming. Symbolic Computation, Springer Verlag, Berlin, 1987."},{"key":"18_CR18","unstructured":"R. Marti. Research in Deductive Databases at ETH: The LogiQuel Project. In SI-DBTA Proceedings Database Research in Switzerland, pages 130\u2013143, 1991."},{"issue":"4","key":"18_CR19","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/125137.125166","volume":"23","author":"L. E. McKenzie","year":"1991","unstructured":"L. E. McKenzie and R. T. Snodgrass. Evaluation of Relational Algebras Incorporating the Time Dimension in Databases. ACM Computing Surveys, 23(4):501\u2013543, 1991.","journal-title":"ACM Computing Surveys"},{"key":"18_CR20","volume-title":"A Logical Language for Data and Knowledge Bases","author":"S. Naqvi","year":"1989","unstructured":"S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989."},{"key":"18_CR21","unstructured":"H. Reichgelt. A Comparison of First Order and Modal Logics of Time. In P. Jackson and F. van Harmelen H. Reichgelt, editors, Logic-Based Knowledge Representation. MIT Press, 1989."},{"key":"18_CR22","unstructured":"R. Snodgrass. An Overview of TQuel. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 141\u2013182. Benjamin\/Cummings Publishing Company, 1993."},{"issue":"1","key":"18_CR23","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/122050.122054","volume":"20","author":"M. Soo","year":"1991","unstructured":"M. Soo. Bibliography on Temporal Databases. SIGMOD RECORD, 20(1):14\u201323, 1991.","journal-title":"SIGMOD RECORD"},{"key":"18_CR24","unstructured":"A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass. Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings Publishing Company, 1993."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:35:11Z","timestamp":1586565311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013994","relation":{},"subject":[]}}