{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:22Z","timestamp":1725664342073},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_106","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:27Z","timestamp":1330274247000},"page":"266-280","source":"Crossref","is-referenced-by-count":12,"title":["Foundations of indefinite constraint databases"],"prefix":"10.1007","author":[{"given":"Manolis","family":"Koubarakis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"22_CR1","unstructured":"F. Afrati, S. Cosmadakis, S. Grumbach, and G. Kuper. Linear vs. Polynomial Constraints in Database Query Languages. In this volume."},{"key":"22_CR2","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."},{"key":"22_CR3","unstructured":"H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972."},{"key":"22_CR4","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":"22_CR5","doi-asserted-by":"crossref","unstructured":"S. Grumbach and J. Su. Finitely representable databases. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 289\u2013300, 1994.","DOI":"10.1145\/182591.182654"},{"issue":"4","key":"22_CR6","doi-asserted-by":"crossref","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"},{"issue":"2","key":"22_CR7","first-page":"29","volume":"12","author":"T. Imielinski","year":"1989","unstructured":"T. Imielinski. Incomplete Information in Logical Databases. Data Engineering, 12(2):29\u201339, 1989.","journal-title":"Data Engineering"},{"key":"22_CR8","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":"22_CR9","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-57887-0_92"},{"key":"22_CR10","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":"22_CR11","doi-asserted-by":"crossref","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.","DOI":"10.1109\/ICDE.1993.344049"},{"key":"22_CR12","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.","DOI":"10.1007\/3-540-58601-6_106"},{"key":"22_CR13","first-page":"379","volume-title":"Complexity Results for First-Order Theories of Temporal Constraints","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 '94), pages 379\u2013390. Morgan Kaufmann, San Francisco, CA, May 1994."},{"issue":"2","key":"22_CR14","doi-asserted-by":"crossref","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":"22_CR15","doi-asserted-by":"crossref","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.","DOI":"10.1145\/298514.298590"},{"key":"22_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"H.J. 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":"22_CR17","doi-asserted-by":"crossref","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":"22_CR18","unstructured":"M. Maher. A Logic Programming View of CLP. In Proceedings of the 10th International Conference on Logic Programming, pages 737\u2013753, 1993."},{"key":"22_CR19","unstructured":"David Maier. The theory of relational databases. Computer Science Press, 1983."},{"key":"22_CR20","doi-asserted-by":"crossref","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.","DOI":"10.1145\/182591.182640"},{"key":"22_CR21","doi-asserted-by":"crossref","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.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"22_CR22","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":"22_CR23","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":"22_CR24","unstructured":"D. Srivastava, R. Ramakrishnan, and P. Revesz. Constraint Objects. In this volume."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"P.J. Stuckey. Constructive Negation for Constraint Logic Programming. In Proceedings of Symposium on Logic in Computer Science, pages 328\u2013339, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"key":"22_CR26","doi-asserted-by":"crossref","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.","DOI":"10.1145\/137097.137902"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:16Z","timestamp":1605648196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}