{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:04Z","timestamp":1725560164171},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221746"},{"type":"electronic","value":"9783540259381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25938-1_16","type":"book-chapter","created":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T12:45:52Z","timestamp":1280061952000},"page":"178-197","source":"Crossref","is-referenced-by-count":11,"title":["Simplification of Database Integrity Constraints Revisited: A Transformational Approach"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Advances in Soft Computing series","first-page":"141","volume-title":"Proceedings of FQAS 2000, Flexible Query Answering Systems","author":"S. Abdennadher","year":"2000","unstructured":"Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction. In: Larsen, H.L., Kacprzyk, J., Zadrozny, S., Andreasen, T., Christiansen, H. (eds.) Proceedings of FQAS 2000, Flexible Query Answering Systems. Advances in Soft Computing series, pp. 141\u2013152. Physica-Verlag (Springer), Heidelberg (2000)"},{"issue":"1-3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0743-1066(98)10009-2","volume":"37","author":"H. Christiansen","year":"1998","unstructured":"Christiansen, H.: Automated reasoning with a constraint-based metainterpreter. Journal of Logic Programming\u00a037(1-3), 213\u2013253 (1998)","journal-title":"Journal of Logic Programming"},{"key":"16_CR3","first-page":"5","volume-title":"Proceedings of the 12th International Conference on Application of Prolog, INAP 1999","author":"H. Christiansen","year":"1999","unstructured":"Christiansen, H.: Integrity constraints and constraint logic programming (Invited talk). In: Proceedings of the 12th International Conference on Application of Prolog, INAP 1999, pp. 5\u201312. Science University of Tokyo, Japan (1999)"},{"issue":"2","key":"16_CR4","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 Transactions on Database Systems (TODS)\u00a015(2), 162\u2013207 (1990)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1080\/088395100117034","volume":"14","author":"H. Christiansen","year":"2000","unstructured":"Christiansen, H., Martinenghi, D.: Symbolic constraints for meta-logic programming. Journal of Applied Artificial Intelligence\u00a014, 345\u2013367 (2000)","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"16_CR6","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.: Simplification of integrity constraints for data integration. In: Seipel, D., Turull-Torres, J.-M. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 31\u201348. Springer, Heidelberg (2004)"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4018\/978-1-930708-38-9.ch007","volume-title":"Database Integrity: Challenges and Solutions","author":"H. Decker","year":"2002","unstructured":"Decker, H.: Translating Advanced Integrity Checking Technology to SQL. In: Doorn, J., Rivero, L.C. (eds.) Database Integrity: Challenges and Solutions, pp. 203\u2013249. Idea Group, USA (2002)"},{"key":"16_CR8","first-page":"456","volume-title":"Proceedings of the Eleventh International Conference on Logic Programming","author":"H. Decker","year":"1994","unstructured":"Decker, H., Celma, M.: A slick procedure for integrity checking in deductive databases. Logic Programming. In: Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, pp. 456\u2013469. MIT Press, Cambridge (1994)"},{"key":"16_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":"16_CR10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-1-4615-5643-5_9","volume-title":"Logics for Databases and Information System","author":"P. Godfrey","year":"1998","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 (1998)"},{"key":"16_CR11","series-title":"Applications","first-page":"1","volume-title":"Knowledge Engineering","author":"J. Grant","year":"1990","unstructured":"Grant, J., Minker, J.: Integrity Constraints in Knowledge Based Systems. In: Adeli, H. (ed.) Knowledge Engineering. Applications, vol.\u00a0II, pp. 1\u201325. McGraw-Hill, New York (1990)"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/131295.131297","volume":"35","author":"J. Grant","year":"1992","unstructured":"Grant, J., Minker, J.: The Impact of Logic Programming on Databases. Communications of the ACM\u00a035(3), 66\u201381 (1992)","journal-title":"Communications of the ACM"},{"issue":"10","key":"16_CR13","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. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"16_CR14","first-page":"145","volume-title":"Advances in Database Theory","author":"L. Henschen","year":"1984","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, vol.\u00a02, pp. 145\u2013169. Plenum Press, New York (1984)"},{"issue":"2","key":"16_CR15","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. Journal of Logic Programming\u00a036(2), 149\u2013193 (1998)","journal-title":"Journal of Logic Programming"},{"key":"16_CR16","first-page":"495","volume-title":"Proc. of 22th International Conference on Very Large Data Bases (VLDB 1996)","author":"S.Y. Lee","year":"1996","unstructured":"Lee, S.Y., Ling, T.W.: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. In: Vijayaraman, T.M., et al. (eds.) Proc. of 22th International Conference on Very Large Data Bases (VLDB 1996), Mumbai, Bombay, September 3-6, pp. 495\u2013505. Morgan Kaufmann, India (1996)"},{"issue":"4","key":"16_CR17","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. Journal of Logic Programming\u00a04(4), 331\u2013343 (1987)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. Lloyd","year":"1985","unstructured":"Lloyd, J., Topor, R.: A Basis for Deductive Database Systems. Journal of Logic Programming\u00a02(2), 93\u2013109 (1985)","journal-title":"Journal of Logic Programming"},{"key":"16_CR19","unstructured":"Martinenghi, D.: A Simplification Procedure for Integrity Constraints. World Wide Web (2003), \n                    \n                      http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html"},{"key":"16_CR20","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 Informatica\u00a018, 227\u2013253 (1982)","journal-title":"Acta Informatica"},{"key":"16_CR21","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":"16_CR22","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1109\/ICDE.1988.105477","volume-title":"Proc. of the Fourth International Conference on Data Engineering","author":"X. Qian","year":"1988","unstructured":"Qian, X.: An Effective Method for Integrity Constraint Simplification. In: Proc. of the Fourth International Conference on Data Engineering, pp. 338\u2013345. IEEE Computer Society, Los Alamitos (1988)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R.: A Theorem-Proving Approach to Database Integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, Kaufmann, Los Altos, CA, pp. 313\u2013362 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50013-0"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25938-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:54Z","timestamp":1605761934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25938-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221746","9783540259381"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25938-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}