{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:41:17Z","timestamp":1725565277116},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221609"},{"type":"electronic","value":"9783540259572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25957-2_28","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T00:04:44Z","timestamp":1284163484000},"page":"348-361","source":"Crossref","is-referenced-by-count":4,"title":["Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins"],"prefix":"10.1007","author":[{"given":"Davide","family":"Martinenghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","first-page":"235","volume-title":"VLDB 1987","author":"G. B\u00fclzingsloewen","year":"1987","unstructured":"B\u00fclzingsloewen, G.: Translating and Optimizing SQL Queries Having Aggregates. In: VLDB 1987, pp. 235\u2013243. Morgan Kaufmann, San Francisco (1987)"},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/B978-0-934613-40-8.50011-7","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"U.S. Chakravarthy","year":"1988","unstructured":"Chakravarthy, U.S., Grant, J., Minker, J.: Foundations of semantic query optimization for deductive databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 243\u2013273. Morgan Kaufmann, San Francisco (1988)"},{"issue":"2","key":"28_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM TODS\u00a015(2), 162\u2013207 (1990)","journal-title":"ACM TODS"},{"doi-asserted-by":"crossref","unstructured":"Christiansen, H., Martinenghi, D.: Simplification of database integrity constraints revisited: A transformational approach. To appear In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 178\u2013197. Springer, Heidelberg (2004)","key":"28_CR4","DOI":"10.1007\/978-3-540-25938-1_16"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-24627-5_4","volume-title":"Foundations of Information and Knowledge Systems","author":"H. Christiansen","year":"2004","unstructured":"Christiansen, H., Martinenghi, D.: In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 31\u201348. Springer, Heidelberg (2004)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/3-540-44472-6_6","volume-title":"Current Issues in Databases and Information Systems","author":"S. Cohen","year":"2000","unstructured":"Cohen, S., Nutt, W., Serebrenik, A.: Algorithms for Rewriting Aggregate Queries Using Views. In: Masunaga, Y., Thalheim, B., \u0160tuller, J., Pokorn\u00fd, J. (eds.) ADBIS 2000 and DASFAA 2000. LNCS, vol.\u00a01884, pp. 65\u201378. Springer, Heidelberg (2000)"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"28_CR8","first-page":"59","volume-title":"ACM SIGACT-SIGMOD-SIGART PODS 1993","author":"S. Chaudhuri","year":"1993","unstructured":"Chaudhuri, S., Vardi, M.: Optimization of real conjunctive queries. In: ACM SIGACT-SIGMOD-SIGART PODS 1993, pp. 59\u201370. ACM Press, New York (1993)"},{"key":"28_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"28_CR10","volume-title":"Deductive Databases and Logic Programming","author":"S. Das","year":"1992","unstructured":"Das, S.: Deductive Databases and Logic Programming. Addison-Wesley, Reading (1992)"},{"key":"28_CR11","first-page":"456","volume-title":"ICLP 1994","author":"H. Decker","year":"1994","unstructured":"Decker, H., Celma, M.: A slick procedure for integrity checking in deductive databases. In: ICLP 1994, pp. 456\u2013469. MIT Press, Cambridge (1994)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Pelov, N., Bruynooghe, M.: Ultimate Well-founded and Stable Semantics for Logic Programs with Aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"issue":"1-3","key":"28_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T.W. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.W.: Theory and Practice of Constraint Handling Rules. JLP\u00a037(1-3), 95\u2013138 (1998)","journal-title":"JLP"},{"issue":"5","key":"28_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/S0306-4379(02)00006-6","volume":"27","author":"F. Furfaro","year":"2002","unstructured":"Furfaro, F., Greco, S., Ganguly, S., Zaniolo, C.: Pushing extrema aggregates to optimize logic queries. Inf. Syst.\u00a027(5), 321\u2013343 (2002)","journal-title":"Inf. Syst."},{"key":"28_CR15","first-page":"1","volume-title":"Knowledge Eng. II, Applications","author":"J. Grant","year":"1990","unstructured":"Grant, J., Minker, J.: Integrity Constraints in Knowledge Based Systems. In: Adeli, H. (ed.) Knowledge Eng. II, Applications, pp. 1\u201325. McGraw-Hill, New York (1990)"},{"key":"28_CR16","first-page":"265","volume-title":"Logics for Databases and Information System","author":"P. Godfrey","year":"1988","unstructured":"Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity Constraints: Semantics and Applications. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information System, pp. 265\u2013306. Kluwer, Dordrecht (1988)"},{"doi-asserted-by":"crossref","unstructured":"Henschen, L., McCune, W., Naqvi, S.: Compiling Constraint-Checking Programs from First-Order Formulas. In: Gallaire, H., Nicolas, J.-M., Minker, J. (eds.) Advances in Database Theory 1982, vol.\u00a02, pp. 145\u2013169. Plenum Press (1984)","key":"28_CR17","DOI":"10.1007\/978-1-4615-9385-0_6"},{"issue":"10","key":"28_CR18","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint Logic Programming: A Survey. JLP\u00a019\/20, 503\u2013581 (1994)","journal-title":"JLP"},{"key":"28_CR20","first-page":"387","volume-title":"ISLP 1991","author":"D. Kemp","year":"1991","unstructured":"Kemp, D., Stuckey, P.: Semantics of Logic Programs with Aggregates. In: ISLP 1991, pp. 387\u2013401. MIT Press, Cambridge (1991)"},{"issue":"2","key":"28_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0743-1066(97)10012-7","volume":"36","author":"M. Leuschel","year":"1998","unstructured":"Leuschel, M., De Schreye, D.: Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. JLP\u00a036(2), 149\u2013193 (1998)","journal-title":"JLP"},{"issue":"4","key":"28_CR22","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J., Sonenberg, L., Topor, R.: Integrity Constraint Checking in Stratified Databases. JLP\u00a04(4), 331\u2013343 (1987)","journal-title":"JLP"},{"unstructured":"Martinenghi, D.: A Simplification Procedure for Integrity Constraints. World Wide Web, \n                    \n                      http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html\n                    \n                    \n                   (2003)","key":"28_CR23"},{"key":"28_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf.\u00a018, 227\u2013253 (1982)","journal-title":"Acta Inf."},{"key":"28_CR25","volume-title":"Logic, Programming and Prolog","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Ma\u0142uzy\u0144ski, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons Ltd, Chichester (1995)","edition":"2"},{"key":"28_CR26","first-page":"338","volume-title":"ICDE 1988","author":"X. Qian","year":"1988","unstructured":"Qian, X.: An Effective Method for Integrity Constraint Simplification. In: ICDE 1988, pp. 338\u2013345. IEEE Computer Society, Los Alamitos (1988)"},{"key":"28_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-44543-9_4","volume-title":"Research Issues in Structured and Semistructured Database Programming","author":"H. Wang","year":"2000","unstructured":"Wang, H., Zaniolo, C.: User-Defined Aggregates in Database Languages. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol.\u00a01949, pp. 43\u201360. Springer, Heidelberg (2000)"},{"key":"28_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-45632-5_5","volume-title":"Computational Logic: Logic Programming and Beyond","author":"C. Zaniolo","year":"2002","unstructured":"Zaniolo, C.: Key Constraints and Monotonic Aggregates in Deductive Databases. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 109\u2013134. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25957-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:19:09Z","timestamp":1620011949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25957-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221609","9783540259572"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25957-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}