{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:36Z","timestamp":1742617176592,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_102","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:01Z","timestamp":1330274221000},"page":"205-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"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,7]]},"reference":[{"key":"18_CR1","unstructured":"M. Baudinet. On the expressiveness of temporal logic programming. To appear in Information and Computation."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"M. Baudinet. Temporal logic programming is complete and expressive. In Sixteenth ACM Symp. on Principles of Programming Languages, pp. 267\u2013280, Austin, TX, Jan. 1989.","DOI":"10.21236\/ADA326173"},{"key":"18_CR3","unstructured":"M. Baudinet, J. Chomicki, and P. Wolper. Temporal deductive databases. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, eds., Temporal Databases. Theory, Design, and Implementation, chapter 13, pp. 294\u2013320. Benjamin\/Cummings, 1993."},{"key":"18_CR4","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 Symp. on Principles of Database Systems, pp. 280\u2013290, Denver, CO, May 1991.","DOI":"10.1145\/113413.113439"},{"issue":"4","key":"18_CR5","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. J. ACM, 31(4):718\u2013741, Oct. 1984.","journal-title":"J. ACM"},{"key":"18_CR6","unstructured":"A. Brodsky, J. Jaffar, and M. J. Maher. Toward practical constraint databases. In 19th Intl. Conf. on Very Large Data Bases, Dublin, Ireland, Aug. 1993."},{"key":"18_CR7","unstructured":"A. Brodsky, C. Lassez, and J.-L. Lassez. Separability of polyhedra and a new approach to spatial storage. In Proc. of the First Workhop on Principles and Practice of Constraint Programming, Newport, Rhode Island, Apr. 1993."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Polynomial time query processing in temporal deductive databases. In Ninth ACM Symp. on Principles of Database Systems, pp. 379\u2013391, Nashville, TN, Apr. 1990.","DOI":"10.1145\/298514.298589"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imieli\u0144ski. Temporal deductive databases and infinite objects. In Seventh ACM Symp. on Principles of Database Systems, pp. 61\u201373, Austin, TX, Mar. 1988.","DOI":"10.1145\/308386.308416"},{"issue":"2","key":"18_CR10","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":"18_CR11","unstructured":"J. Cox and K. McAloon. Decision procedures for constraint based extensions of Datalog. In F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming: Selected Research. MIT Press, 1993."},{"key":"18_CR12","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":"18_CR13","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":"18_CR14","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. J. ACM, 33(3):465\u2013488, July 1986.","journal-title":"J. ACM"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"A. Gupta, Y. Sagiv, J. D. Ullman, and J. Widom. Constraint checking with partial information. In Thirteenth ACM Symp. on Principles of Database Systems, pp. 45\u201355, Minneapolis, MN, May 1994.","DOI":"10.1145\/182591.182597"},{"key":"18_CR16","first-page":"221","volume-title":"LNCS 720","author":"N. S. Ishakbeyoglu","year":"1993","unstructured":"N. S. Ishakbeyoglu and Z. M. Ozsoyoglu. On the maintenance of implication integrity constraints. In Fourth Intl. Conf. on Database and Expert Systems Applications, pp. 221\u2013232, Prague, Sept. 1993. LNCS 720, Springer-Verlag."},{"key":"18_CR17","first-page":"594","volume-title":"Temporal specialization","author":"C. Jensen","year":"1992","unstructured":"C. Jensen and R. Snodgrass. Temporal specialization. In Eighth Intl. Conf. on Data Enfineering, pp. 594\u2013603, Tempe, AZ, Feb. 1992. IEEE."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"F. Kabanza, J.-M. St\u00e9venne, and P. Wolper. Handling infinite temporal data. In Ninth ACM Symp. on Principles of Database Systems, pp. 392\u2013403, Nashville, TN, Apr. 1990.","DOI":"10.1145\/298514.298590"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis, G. M. Kuper, and P. Revesz. Constraint query languages. In Ninth ACM Symp. on Principles of Database Systems, pp. 299\u2013313, Nashville, TN, Apr. 1990.","DOI":"10.1145\/298514.298582"},{"key":"18_CR20","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 Symp. on Principles of Database Systems, pp. 233\u2013243, Washington, DC, May 1993.","DOI":"10.1145\/153850.153884"},{"key":"18_CR21","unstructured":"M. Koubarakis. Dense time and temporal constraints with \u2260. In Proc. of the Third Intl. Conf. On Principles of Knowledge Representation and Reasoning, pp. 24\u201335, Oct. 1992."},{"key":"18_CR22","unstructured":"M. Koubarakis. Representation and querying in temporal databases: the power of temporal constraints. In Ninth Intl. Conf. on Data Engineering, Vienna, Apr. 1993."},{"key":"18_CR23","unstructured":"D. Maier. The Theory of Relational Databases. Computer Science Press, 1983."},{"key":"18_CR24","first-page":"187","volume-title":"ICDT '90, Proc. of the Third Intl. Conf. on Database Theory","author":"P. Revesz","year":"1990","unstructured":"P. Revesz. A closed form for Datalog queries with integer order. In S. Abiteboul and P. Kanellakis, eds., ICDT '90, Proc. of the Third Intl. Conf. on Database Theory, pp. 187\u2013201, Paris, Dec. 1990. LNCS 470, Springer-Verlag."},{"key":"18_CR25","unstructured":"D. Rosenkrantz and H. B. I. Hunt. Processing conjunctive predicates and queries. In Intl. Conf. on Very Large Data Bases, pp. 64\u201372, 1980."},{"key":"18_CR26","unstructured":"A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986."},{"key":"18_CR27","unstructured":"D. Srivastava. Subsumption in constraint query languages with linear arithmetic constraints. In Second Intl. Symp. on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, Jan. 1992."},{"key":"18_CR28","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":"18_CR29","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems \u2014 Volume II: The New Technologies. Computer Science Press, 1989."},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"R. van der Meyden. The complexity of querying indefinite data about linearly ordered domains. In Eleventh ACM Symp. on Principles of Database Systems, pp. 331\u2013345, San Diego, CA, June 1992.","DOI":"10.1145\/137097.137902"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"X. Zhang and Z. M. Ozsoyoglu. On efficient reasoning with implication constraints. In Third Intl. Conf. on Deductive and Object-Oriented Databases, Phoenix, AZ, Dec. 1993.","DOI":"10.1007\/3-540-57530-8_15"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:36:45Z","timestamp":1742596605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}