{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:39Z","timestamp":1725560439038},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285854"},{"type":"electronic","value":"9783540318958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11547686_9","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:38:26Z","timestamp":1127817506000},"page":"109-124","source":"Crossref","is-referenced-by-count":5,"title":["Efficient Integrity Checking for Databases with Recursive Views"],"prefix":"10.1007","author":[{"given":"Davide","family":"Martinenghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Christiansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1988)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/773153.773164","volume-title":"Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"A. Behrend","year":"2003","unstructured":"Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases. In: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 102\u2013110. ACM Press, New York (2003)"},{"key":"9_CR3","unstructured":"Behrend, A.: Soft Stratification for Transformation-Based Approaches to Deductive Databases. PhD thesis, University of Bonn (2004)"},{"key":"9_CR4","unstructured":"Catarci, T., Cruz, I.F.: On expressing stratified datalog. In: 2nd ICLP Workshop on Deductive Databases and Logic Programming, pp. 85\u2013100 (1994)"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U.S. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U.S., 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":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-25938-1_16","volume-title":"Logic Based Program Synthesis and Transformation","author":"H. Christiansen","year":"2004","unstructured":"Christiansen, H., Martinenghi, D.: Simplification of database integrity constraints revisited: A transformational approach. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 178\u2013197. Springer, Heidelberg (2004)"},{"key":"9_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: Database integrity: challenges and solutions, pp. 203\u2013249. Idea Group Publishing, USA (2002)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/344788.344808","volume":"29","author":"G. Dong","year":"2000","unstructured":"Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus\/SQL. SIGMOD Record\u00a029(1), 44\u201351 (2000)","journal-title":"SIGMOD Record"},{"key":"9_CR9","series-title":"Logical Foundations","first-page":"183","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"N. Eisinger","year":"1993","unstructured":"Eisinger, N., Ohlbach, H.J.: Deduction systems based on resolution. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Logical Foundations, vol.\u00a01, pp. 183\u2013271. Clarendon Press, Oxford (1993)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity constraints: Semantics and applications. Logics for Databases and Information Systems, 265\u2013306 (1998)","DOI":"10.1007\/978-1-4615-5643-5_9"},{"key":"9_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: Knowledge Engineering. Applications, vol.\u00a0II, pp. 1\u201325. McGraw-Hill, New York (1990)"},{"volume-title":"Materialized views: techniques, implementations, and applications","year":"1999","key":"9_CR12","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)"},{"key":"9_CR13","unstructured":"INCITS. Information technology - Database languages - SQL - Part 2: Foundation (SQL\/Foundation) - INCITS\/ISO\/IEC 9075-2-1999 (1999)"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/103516.103521","volume":"38","author":"Y.E. Ioannidis","year":"1991","unstructured":"Ioannidis, Y.E., Wong, E.: Towards an algebraic theory of recursion. J. ACM\u00a038(2), 329\u2013381 (1991)","journal-title":"J. ACM"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kapur, D., Narendran, P.: Np-completeness of the set unification and matching problems. In: CADE, pp. 489\u2013495 (1986)","DOI":"10.1007\/3-540-16780-3_113"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Knuth, D., Bendix, P.: Simple word problems in universal algebras. Computational Problems in Abstract Algebras, 263\u2013297 (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"9_CR17","first-page":"495","volume-title":"VLDB 1996, Proceedings of 22th International Conference on Very Large Data Bases","author":"S.Y. Lee","year":"1996","unstructured":"Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: VLDB 1996, Proceedings of 22th International Conference on Very Large Data Bases, pp. 495\u2013505. Morgan Kaufmann, San Francisco (1996)"},{"issue":"2","key":"9_CR18","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":"9_CR19","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W., Sonenberg, L., Topor, R.W.: Integrity constraint checking in stratified databases. JLP\u00a04(4), 331\u2013343 (1987)","journal-title":"JLP"},{"key":"9_CR20","unstructured":"Martinenghi, D.: A simplification procedure for integrity constraints (2004), http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-48054-4_6","volume-title":"Advances in Conceptual Modeling: ER 1999 Workshops","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: A survey of current methods for integrity constraint maintenance and view updating. In: Advances in Conceptual Modeling: ER 1999 Workshops. LNCS, vol.\u00a01727, pp. 62\u201373. Springer, Heidelberg (1999)"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/58562.59303","volume":"36","author":"J.F. Naughton","year":"1989","unstructured":"Naughton, J.F.: Minimizing function-free recursive inference rules. J. ACM\u00a036(1), 69\u201391 (1989)","journal-title":"J. ACM"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/67544.66948","volume-title":"Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data","author":"J.F. Naughton","year":"1989","unstructured":"Naughton, J.F., Ramakrishnan, R., Sagiv, Y., Ullman, J.D.: Efficient evaluation of right-, left-, and mult-lineare rules. In: Clifford, J., Lindsay, B.G., Maier, D. (eds.) Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, pp. 235\u2013242. ACM Press, New York (1989)"},{"key":"9_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 Informatica\u00a018, 227\u2013253 (1982)","journal-title":"Acta Informatica"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Nienhuys-Cheng, S.H., de Wolf, R.: The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution. In: ASIAN 1995, pp. 269\u2013285 (1995)","DOI":"10.1007\/3-540-60688-2_50"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1109\/ICDE.1988.105477","volume-title":"Proceedings of the Fourth International Conference on Data Engineering","author":"X. Qian","year":"1988","unstructured":"Qian, X.: An effective method for integrity constraint simplification. In: Proceedings of the Fourth International Conference on Data Engineering, pp. 338\u2013345. IEEE Computer Society, Los Alamitos (1988)"},{"issue":"1","key":"9_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM\u00a012(1), 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"9_CR28","unstructured":"S\u00e1enz-P\u00e9rez, F.: Datalog educational system v1.1. user\u2019s manual. Technical Report 139-04, Faculty of Computer Science, UCM (2004), Available from http:\/\/www.fdi.ucm.es\/profesor\/fernan\/DES\/"},{"key":"9_CR29","unstructured":"Selj\u00e9e, R.: A Fact Integrity Constraint Checking System for the Validation of Semantic Integrity Constraints after Updating Consistent Deductive Databases. PhD thesis, Tilburg University (1997)"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11547686_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:40:38Z","timestamp":1605624038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11547686_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285854","9783540318958"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11547686_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}