{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:50:58Z","timestamp":1725648658213},"publisher-location":"London","reference-count":37,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199458"},{"type":"electronic","value":"9781447130338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3033-8_6","type":"book-chapter","created":{"date-parts":[[2012,1,3]],"date-time":"2012-01-03T17:27:25Z","timestamp":1325611645000},"page":"93-109","source":"Crossref","is-referenced-by-count":4,"title":["Databases and Temporal Constraints: Semantics and Complexity"],"prefix":"10.1007","author":[{"given":"Manolis","family":"Koubarakis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0304-3975(51)90007-2","volume":"8","author":"S Abiteboul","year":"1991","unstructured":"S. Abiteboul, P. Kanellakis, and G. Grahne. On the Representation and Querying of Sets of Possible Worlds. Theoretical Computer Science, T8 (1): 159\u2013187, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"JF Allen","year":"1984","unstructured":"J.F. Allen. Towards a General Model of Action and Time. Artificial Intelligence, 23 (2): 123\u2013154, July 1984.","journal-title":"Artificial Intelligence"},{"key":"6_CR3","volume-title":"Proceedings of the International Workshop On Temporal Databases","author":"V Brusoni","year":"1995","unstructured":"V. Brusoni, L. Console, B. Pernici, and P. Terenziani. Extending temporal relational databases to deal with imprecise and qualitative temporal information. In Proceedings of the International Workshop On Temporal Databases, 1995."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A Chandra","year":"1982","unstructured":"A. Chandra and D. Harel. Structure and Complexity of Relational Queries. Journal of Computer and System Sciences, 25: 99\u2013128, 1982.","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR5","volume-title":"Unpublished notes from a tutorial presented at the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"J Chomicki","year":"1993","unstructured":"Jan Chomicki. Temporal Databases. Unpublished notes from a tutorial presented at the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 1993."},{"key":"6_CR6","unstructured":"J. Cox and K. McAloon. Decision Procedures for Constraint Based Extensions of Datalog. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993. Originally appeared as Technical Report No. 90-09, Dept. of Computer and Information Sciences, Brooklyn College of C.U.N.Y."},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/76359.76360","volume":"36","author":"T Dean","year":"1989","unstructured":"T. Dean. Using Temporal Hierarchies to Efficiently Maintain Large Temporal Databases. Journal of ACM, 36 (4): 687\u2013718, 1989.","journal-title":"Journal of ACM"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1109\/ICDE.1993.344048","volume-title":"Proceedings of the, 9th International Conference on Data Engineering","author":"C Dyreson","year":"1993","unstructured":"C. Dyreson and R. Snodgrass. Valid-time Indeterminacy. In Proceedings of the, 9th International Conference on Data Engineering, pages 335\u2013343, 1993."},{"key":"6_CR9","volume-title":"Academic Press","author":"H-B Enderton","year":"1972","unstructured":"H.-B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972."},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1137\/0204006","volume":"4","author":"J Ferrante","year":"1975","unstructured":"J. Ferrante and C. Rackoff. A Decision Procedure for the First Order Theory of Real Addition with Order. SIAM Journal on Computing, 4 (1): 69\u201376, 1975.","journal-title":"SIAM Journal on Computing"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gosta Grahne. The Problem of Incomplete Information in Relational Databases. Technical Report Report A-1989-1, Department of Computer Science, University of Helsinki, Finland, 1989. Also published as Lecture Notes in Computer Science 554, Springer Verlag, 1991.","DOI":"10.1007\/3-540-54919-6"},{"key":"6_CR12","volume-title":"Proceedings of the Logic and Computational Complexity Workshop","author":"S Grumbach","year":"1994","unstructured":"S. Grumbach, J. Su, and C. Tollu. Linear constraint databases. In D. Leivant, editor, Proceedings of the Logic and Computational Complexity Workshop, Indianapolis, 1994. Springer Verlag. To appear in LNCS."},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T Imielinski","year":"1984","unstructured":"T. Imielinski and W. Lipski. Incomplete Information in Relational Databases. Journal of ACM, 31 (4): 761\u2013791, 1984.","journal-title":"Journal of ACM"},{"key":"6_CR14","first-page":"567","volume-title":"Proceedings of 19th International Conference on Very Large Databases (VLDB-93)","author":"J Jaffar","year":"1993","unstructured":"Jaffar J., A. Brodsky, and M. Maher. Towards Practical Constraint Databases. In Proceedings of 19th International Conference on Very Large Databases (VLDB-93), pages 567\u2013580, 1993."},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP(R) language and system. ACM Transaction on Programming Languages and Systems, 14 (3): 339\u2013395, July 1992.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"6_CR16","volume-title":"J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A, chapter 2. North- Holland","author":"DS Johnson","year":"1990","unstructured":"D.S. Johnson. A Catalog of Complexity Classes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A, chapter 2. North- Holland, 1990."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1145\/298514.298590","volume-title":"Proceedings of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"F Kabanza","year":"1990","unstructured":"F. Kabanza, J.-M. Stevenne, and P. Wolper. Handling Infinite Temporal Data. In Proceedings of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 392\u2013403, 1990."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Paris Kanellakis. Elements of Relational Database Theory. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 17. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Paris C. Kanellakis, Gabriel M. Kuper, and Peter Z. Revesz. Constraint Query Languages. In Proceedings of the 9th ACM SIGACT-SIGMOD- SIGART Symposium on Principles of Database Systems, pages 299\u2013313, 1990. Long version to appear in Journal of Computer and System Sciences.","DOI":"10.1145\/298514.298582"},{"key":"6_CR20","first-page":"96","volume-title":"Proceedings of Theoretical Aspects of Computer Software (TACS), volume 789 of Lecture Notes in Computer Science","author":"PC Kanellakis","year":"1994","unstructured":"P.C. Kanellakis and D. Goldin. Constraint Programming and Database Query Languages. In Proceedings of Theoretical Aspects of Computer Software (TACS), volume 789 of Lecture Notes in Computer Science, pages 96\u2013120. Springer-Verlag, April 1994."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"M. Koubarakis. Foundations of Temporal Constraint Databases. PhD thesis, Computer Science Division, Dept. of Electrical and Computer Engineering, National Technical University of Athens, February 1994. Available by anonymous ftp from host passion. doc. ic. ac. uk, file IC- Par c\/Papers\/ M. Koubarakis\/phdthesis. ps. Z.","DOI":"10.1007\/3-540-58601-6_106"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1109\/ICDE.1993.344049","volume-title":"Proceedings of the 9th International Conference on Data Engineering","author":"M Koubarakis","year":"1993","unstructured":"Manolis Koubarakis. Representation and Querying in Temporal Databases: the Power of Temporal Constraints. In Proceedings of the 9th International Conference on Data Engineering, pages 327\u2013334, April 1993."},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/B978-1-4832-1452-8.50131-7","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94)","author":"M Koubarakis","year":"1994","unstructured":"Manolis Koubarakis. Complexity Results for First-Order Theories of Temporal Constraints. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR\u201994), pages 379\u2013390. Morgan Kaufmann, San Francisco, CA, May 1994."},{"issue":"2","key":"6_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0306-4379(94)90008-6","volume":"19","author":"M Koubarakis","year":"1994","unstructured":"Manolis Koubarakis. Database Models for Infinite and Indefinite Temporal Information. Information Systems, 19 (2): 141\u2013173, March 1994.","journal-title":"Information Systems"},{"key":"6_CR25","volume-title":"A. Borning, editor. Proceedings of the 2nd International Workshop on the Principles and Practice of Constraint Programming (PPCP 94volume 874 of Lecture Notes in Computer Science, pages 266\u2013280. Springer Verlag","author":"M Koubarakis","year":"1994","unstructured":"Manolis Koubarakis. Foundations of Indefinite Constraint Databases. In A. Borning, editor. Proceedings of the 2nd International Workshop on the Principles and Practice of Constraint Programming (PPCP\u201994volume 874 of Lecture Notes in Computer Science, pages 266\u2013280. Springer Verlag, 1994."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"HJ Levesque","year":"1984","unstructured":"H.J. Levesque. Foundations of a Functional Approach to Knowledge Representation. Artificial Intelligence, 23: 155\u2013212, 1984.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"6_CR27","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320083.320088","volume":"4","author":"W Lipski Jr","year":"1979","unstructured":"Witold Jr. Lipski. On Semantic Issues Connected with Incomplete Information Databases. ACM Transcactions on Database Systems, 4 (3): 262\u2013296, September 1979.","journal-title":"ACM Transcactions on Database Systems"},{"key":"6_CR28","first-page":"737","volume-title":"Proceedings of the 10th International Conference on Logic Programming","author":"M Maher","year":"1993","unstructured":"M. Maher. A Logic Programming View of CLP. In Proceedings of the 10th International Conference on Logic Programming, pages 737\u2013753, 1993."},{"key":"6_CR29","first-page":"279","volume-title":"Proceedings of the 13th ACM SIGACT- SIGMOD-SIGART Symposium on Principles of Database Systems","author":"J Paredaens","year":"1994","unstructured":"J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings of the 13th ACM SIGACT- SIGMOD-SIGART Symposium on Principles of Database Systems, pages 279\u2013288, 1994."},{"key":"6_CR30","volume-title":"Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics, pages 595\u2013629. North-Holland","author":"MO Rabin","year":"1977","unstructured":"M.O. Rabin. Decidable theories. In Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics, pages 595\u2013629. North-Holland, 1977."},{"key":"6_CR31","first-page":"97","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge","author":"R Reiter","year":"1988","unstructured":"Ray Reiter. On Integrity Constraints. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, pages 97\u2013111, Asilomar, CA, 1988."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Peter Z. Revesz. A Closed Form for Datalog Queries with Integer Order. In Proceedings of the 3rd International Conference on Database Theory, pages 187\u2013201, 1990. Long version to appear in Theoretical Computer Science.","DOI":"10.1007\/3-540-53507-1_77"},{"key":"6_CR33","unstructured":"Divesh Srivastava. Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. In Proceedings of the 2nd International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 1992."},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/137097.137897","volume-title":"Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"D Srivastava","year":"1992","unstructured":"Divesh Srivastava and Raghu Ramakrishnan. Pushing Constraint Selections. In Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 301\u2013315, 1992."},{"key":"6_CR35","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/137097.137902","volume-title":"Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"R Meyden van der","year":"1992","unstructured":"Ron van der Meyden. The Complexity of Querying Indefinite Data About Linearly Ordered Domains (Preliminary Version). In Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 331\u2013345, 1992."},{"key":"6_CR36","first-page":"137","volume-title":"Proceedings of ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems","author":"M Vardi","year":"1982","unstructured":"Moshe Vardi. The Complexity of Relational Query Languages. In Proceedings of ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 137\u2013146, 1982."},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0022-0000(86)90016-4","volume":"33","author":"M Vardi","year":"1986","unstructured":"Moshe Vardi. Querying Logical Databases. Journal of Computer and System Sciences, 33: 142\u2013160, 1986.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Workshops in Computing","Recent Advances in Temporal Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3033-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T21:41:05Z","timestamp":1556055665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3033-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199458","9781447130338"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3033-8_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}