{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:48Z","timestamp":1725664068317},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589075"},{"type":"electronic","value":"9783540491361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58907-4_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:53:32Z","timestamp":1330257212000},"page":"322-337","source":"Crossref","is-referenced-by-count":6,"title":["Constraint-generating dependencies"],"prefix":"10.1007","author":[{"given":"Marianne","family":"Baudinet","sequence":"first","affiliation":[]},{"given":"Jan","family":"Chomicki","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Wolper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B. Aspvall","year":"1979","unstructured":"B. Aspvall, M. Plass, and R. Tarjan. A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett., 8(3):121\u2013123, 1979.","journal-title":"Inf. Process. Lett."},{"key":"25_CR2","unstructured":"M. Baudinet. On the expressiveness of temporal logic programming. To appear in Information and Computation."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"M. Baudinet. Temporal logic programming is complete and expressive. In Sixteenth ACM Symposium on Principles of Programming Languages, pages 267\u2013280, Austin, Texas, Jan. 1989.","DOI":"10.1145\/75277.75301"},{"key":"25_CR4","unstructured":"M. Baudinet, J. Chomicki, and P. Wolper. Temporal deductive databases. In A. Tansel, et al., editors, Temporal Databases. Theory, Design, and Implementation, chapter 13, pages 294\u2013320. Benjamin\/Cummings, 1993."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"M. Baudinet, M. Ni\u00e9zette, and P. Wolper. On the representation of infinite temporal data and queries. In Tenth ACM Symposium on Principles of Database Systems, pages 280\u2013290, Denver, Colorado, May 1991.","DOI":"10.1145\/113413.113439"},{"issue":"4","key":"25_CR6","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"C. Beeri and M. Vardi. A proof procedure for data dependencies. Journal of the ACM, 31(4):718\u2013741, Oct. 1984.","journal-title":"Journal of the ACM"},{"key":"25_CR7","unstructured":"A. Brodsky, J. Jaffar, and M. J. Maher. Toward practical constraint databases. In 19th International Conference on Very Large Data Bases, Dublin, Aug. 1993."},{"key":"25_CR8","unstructured":"A. Brodsky, C. Lassez, and J.-L. Lassez. Separability of polyhedra and a new approach to spatial storage. In Proceedings of the First Workhop on Principles and Practice of Constraint Programming, Newport, Rhode Island, Apr. 1993."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Polynomial time query processing in temporal deductive databases. In Ninth ACM Symposium on Principles of Database Systems, pages 379\u2013391, Nashville, Tennessee, Apr. 1990.","DOI":"10.1145\/298514.298589"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imieli\u0144ski. Temporal deductive databases and infinite objects. In Seventh ACM Symposium on Principles of Database Systems, pages 61\u201373, Austin, Texas, Mar. 1988.","DOI":"10.1145\/308386.308416"},{"issue":"2","key":"25_CR11","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/151634.151635","volume":"18","author":"J. Chomicki","year":"1993","unstructured":"J. Chomicki and T. Imieli\u0144ski. Finite Representation of Infinite Query Answers. ACM Transactions on Database Systems, 18(2):181\u2013223, June 1993.","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR12","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."},{"key":"25_CR13","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York, 1979."},{"key":"25_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(83)90084-1","volume":"26","author":"S. Ginsburg","year":"1983","unstructured":"S. Ginsburg and R. Hull. Order dependency in the relational model. Theoretical Computer Science, 26:149\u2013195, 1983.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"25_CR15","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/5925.5929","volume":"33","author":"S. Ginsburg","year":"1986","unstructured":"S. Ginsburg and R. Hull. Sort sets in the relational model. Journal of the ACM, 33(3):465\u2013488, July 1986.","journal-title":"Journal of the ACM"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"A. Gupta, Y. Sagiv, J. D. Ullman, and J. Widom. Constraint checking with partial information. In Thirteenth ACM Symposium on Principles of Database Systems, pages 45\u201355, Minneapolis, MN, May 1994.","DOI":"10.1145\/182591.182597"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"N. S. Ishakbeyo\u011flu and Z. M. Ozsoyo\u011flu. On the maintenance of implication integrity constraints. In Fourth International Conference on Database and Expert Systems Applications, pages 221\u2013232, Prague, Sept. 1993. LNCS 720, Springer.","DOI":"10.1007\/3-540-57234-1_20"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"C. Jensen and R. Snodgrass. Temporal specialization. In Eighth International Conference on Data Enfineering, pages 594\u2013603, Tempe, Arizona, Feb. 1992. IEEE.","DOI":"10.1109\/ICDE.1992.213149"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"F. Kabanza, J.-M. St\u00e9venne, and P. Wolper. Handling infinite temporal data. In Ninth ACM Symposium on Principles of Database Systems, pages 392\u2013403, Nashville, Tennessee, Apr. 1990.","DOI":"10.1145\/298514.298590"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"P. Kanellakis. Elements of relational database theory. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 17, pages 1073\u20131158. Elsevier\/MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis, G. M. Kuper, and P. Revesz. Constraint query languages. In Ninth ACM Symposium on Principles of Database Systems, pages 299\u2013313, Nashville, Tennessee, Apr. 1990.","DOI":"10.1145\/298514.298582"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis, S. Ramaswamy, D. E. Vengroff, and J. S. Vitter. Indexing for data models with constraints and classes. In Twelfth ACM Symposium on Principles of Database Systems, pages 233\u2013243, Washington, DC, May 1993.","DOI":"10.1145\/153850.153884"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"M. Koubarakis. Representation and querying in temporal databases: the power of temporal constraints. In Ninth International Conference on Data Engineering, Vienna, Austria, Apr. 1993.","DOI":"10.1109\/ICDE.1993.344049"},{"key":"25_CR24","unstructured":"D. Maier. The Theory of Relational Databases. Computer Science Press, 1983."},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"P. Revesz. A closed form for Datalog queries with integer order. In S. Abiteboul and P. Kanellakis, editors, ICDT '90, Proceedings of the Third International Conference on Database Theory, pages 187\u2013201, Paris, Dec. 1990. LNCS 470, Springer.","DOI":"10.1007\/3-540-53507-1_77"},{"key":"25_CR26","unstructured":"D. Rosenkrantz and H. B. I. Hunt. Processing conjunctive predicates and queries. In International Conference on Very Large Data Bases, pages 64\u201372, 1980."},{"key":"25_CR27","unstructured":"A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986."},{"key":"25_CR28","unstructured":"D. Srivastava. Subsumption in constraint query languages with linear arithmetic constraints. In Second International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, Jan. 1992."},{"key":"25_CR29","volume-title":"Teubner-Texte zur Mathematik, Band 126","author":"B. Thalheim","year":"1991","unstructured":"B. Thalheim. Dependencies in Relational Databases. Teubner-Texte zur Mathematik, Band 126. B.G. Teubner Verlagsgesellschaft, Stuttgart, 1991."},{"key":"25_CR30","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems \u2014 Volume II: The New Technologies. Computer Science Press, 1989."},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"R. van der Meyden. The complexity of querying indefinite data about linearly ordered domains. In Eleventh ACM Symposium on Principles of Database Systems, pages 331\u2013345, San Diego, California, June 1992.","DOI":"10.1145\/137097.137902"},{"key":"25_CR32","unstructured":"M. Vardi. Fundamentals of dependency theory. In E. B\u00f6rger, editor, Trends in Theoretical Computer Science, pages 171\u2013224. Computer Science Press, 1988."},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"X. Zhang and Z. M. Ozsoyo\u011flu. On efficient reasoning with implication constraints. In Third International Conference on Deductive and Object-Oriented Databases, Phoenix, Arizona, Dec. 1993.","DOI":"10.1007\/3-540-57530-8_15"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58907-4_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:24:35Z","timestamp":1605630275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58907-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589075","9783540491361"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-58907-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}