{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:31Z","timestamp":1725551611505},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305538"},{"type":"electronic","value":"9783540316503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591191_49","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:44:25Z","timestamp":1132652665000},"page":"712-727","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Integrity Checking: Limitations and Possibilities"],"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":"49_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"49_CR2","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":"49_CR3","first-page":"566","volume-title":"Proceedings of VLDB 1990","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: Proceedings of VLDB 1990, pp. 566\u2013577. Morgan Kaufmann, San Francisco (1990)"},{"issue":"2","key":"49_CR4","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 Trans. on Database Syst (TODS)\u00a015(2), 162\u2013207 (1990)","journal-title":"ACM Trans. on Database Syst. (TODS)"},{"key":"49_CR5","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)"},{"key":"49_CR6","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)"},{"volume-title":"Materialized views: techniques, implementations, and applications","year":"1999","key":"49_CR7","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)"},{"key":"49_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/3-540-16780-3_113","volume-title":"8th International Conference on Automated Deduction","author":"D. Kapur","year":"1986","unstructured":"Kapur, D., Narendran, P.: Np-completeness of the set unification and matching problems. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol.\u00a0230, pp. 489\u2013495. Springer, Heidelberg (1986)"},{"key":"49_CR9","first-page":"495","volume-title":"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: VLDB 1996, pp. 495\u2013505. Kaufmann, San Francisco (1996)"},{"issue":"2","key":"49_CR10","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":"49_CR11","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":"49_CR12","unstructured":"Martinenghi, D.: (2005), \n                  \n                    http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html"},{"key":"49_CR13","unstructured":"Martinenghi, D.: Advanced Techniques for Efficient Data Integrity Checking. PhD thesis, Roskilde University, Denmark, in Datalogiske Skrifter, 105 (2005), \n                  \n                    http:\/\/www.ruc.dk\/dat\/forskning\/skrifter\/DS105.pdf"},{"key":"49_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/11547686_9","volume-title":"Advances in Databases and Information Systems","author":"D. Martinenghi","year":"2005","unstructured":"Martinenghi, D., Christiansen, H.: Efficient integrity checking for databases with recursive views. In: Eder, J., Haav, H.-M., Kalja, A., Penjam, J. (eds.) ADBIS 2005. LNCS, vol.\u00a03631, pp. 109\u2013124. Springer, Heidelberg (2005)"},{"key":"49_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/67544.66948","volume-title":"SIGMOD 1989","author":"J.F. Naughton","year":"1989","unstructured":"Naughton, J.F., Ramakrishnan, R., Sagiv, Y., Ullman, J.D.: Efficient evaluation of right-, left-, and mult-linear rules. In: SIGMOD 1989, pp. 235\u2013242. ACM Press, New York (1989)"},{"key":"49_CR16","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":"49_CR17","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 Press, Los Alamitos (1988)"},{"key":"49_CR18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/B978-0-934613-40-8.50013-0","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Sadri","year":"1988","unstructured":"Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Foundations of Deductive Databases and Logic Programming, pp. 313\u2013362. Kaufmann, Los Altos (1988)"},{"issue":"1","key":"49_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0169-023X(94)00032-A","volume":"15","author":"R. Selj\u00e9e","year":"1995","unstructured":"Selj\u00e9e, R.: A new method for integrity constraint checking in deductive databases. Data Knowl. Eng.\u00a015(1), 63\u2013102 (1995)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"49_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0169-023X(99)00007-5","volume":"30","author":"R. Selj\u00e9e","year":"1999","unstructured":"Selj\u00e9e, R., de Swart, H.C.M.: Three types of redundancy in integrity checking: An optimal solution. Data Knowl. Eng.\u00a030(2), 135\u2013151 (1999)","journal-title":"Data Knowl. Eng."},{"key":"49_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/28659.28685","volume-title":"Proceedings of the sixth ACM PODS symposium","author":"O. Shmueli","year":"1987","unstructured":"Shmueli, O.: Decidability and expressiveness aspects of logic queries. In: Proceedings of the sixth ACM PODS symposium, pp. 237\u2013249. ACM Press, New York (1987)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591191_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:38Z","timestamp":1619506298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591191_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305538","9783540316503"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11591191_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}