{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:29Z","timestamp":1725566669417},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285663"},{"type":"electronic","value":"9783540317296"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546924_59","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:09:19Z","timestamp":1127815759000},"page":"606-615","source":"Crossref","is-referenced-by-count":7,"title":["Transaction Management with Integrity Checking"],"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":"59_CR1","first-page":"566","volume-title":"16th International Conference on Very Large Data Bases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: McLeod, D., Sacks-Davis, R., Schek, H.-J. (eds.) 16th International Conference on Very Large Data Bases, pp. 566\u2013577. Morgan Kaufmann, San Francisco (1990)"},{"key":"59_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: Foundations of Deductive Databases and Logic Programming, pp. 243\u2013273. Morgan Kaufmann, San Francisco (1988)"},{"key":"59_CR3","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":"59_CR4","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":"59_CR5","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: Van Hentenryck, P. (ed.) ICLP 1994, pp. 456\u2013469. MIT Press, Cambridge (1994)"},{"key":"59_CR6","volume-title":"Database Systems. The complete book","author":"H. Garcia-Molina","year":"2002","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems. The complete book. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"59_CR7","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-1-4615-5643-5_9","volume-title":"Logics for Databases and Information Systems","author":"P. Godfrey","year":"1998","unstructured":"Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity constraints: Semantics and applications. In: Logics for Databases and Information Systems, pp. 265\u2013306. Kluwer, Dordrecht (1998)"},{"key":"59_CR8","first-page":"1","volume-title":"Knowl. Eng. Applications","author":"J. Grant","year":"1990","unstructured":"Grant, J., Minker, J.: Integrity constraints in knowledge based systems. In: Adeli, H. (ed.) Knowl. Eng. Applications, vol.\u00a0II, pp. 1\u201325. McGraw-Hill, New York (1990)"},{"volume-title":"Materialized Views. Techniques, Implementations, and Applications","year":"1999","key":"59_CR9","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized Views. Techniques, Implementations, and Applications. MIT Press, Cambridge (1999)"},{"key":"59_CR10","first-page":"145","volume-title":"ADT 1988","author":"L. Henschen","year":"1984","unstructured":"Henschen, L., McCune, W., Naqvi, S.: Compiling constraint-checking programs from first-order formulas. In: Gallaire, H., Minker, J., Nicolas, J.-M. (eds.) ADT 1988, vol.\u00a02, pp. 145\u2013169. Plenum Press, New York (1984)"},{"issue":"4","key":"59_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":"59_CR12","series-title":"Lecture Notes in Computer Science","first-page":"64","volume-title":"Advances in Databases and Information Systems","author":"D. Martinenghi","year":"2004","unstructured":"Martinenghi, D.: Optimal database locks for efficient integrity checking. In: Bencz\u00far, A.A., Demetrovics, J., Gottlob, G. (eds.) ADBIS 2004. LNCS, vol.\u00a03255, pp. 64\u201377. Springer, Heidelberg (2004)"},{"key":"59_CR13","unstructured":"Martinenghi, D.: A simplification procedure for integrity constraints (2004), \n                  \n                    http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html"},{"key":"59_CR14","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":"59_CR15","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"},{"issue":"1","key":"59_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/174638.174639","volume":"19","author":"K. Salem","year":"1994","unstructured":"Salem, K., Garcia-Molina, H., Shands, J.: Altruistic locking. ACM Trans. Database Syst.\u00a019(1), 117\u2013165 (1994)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"59_CR17","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 & Knowledge Engineering\u00a030(2), 135\u2013151 (1999)","journal-title":"Data & Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546924_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:57:42Z","timestamp":1619492262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546924_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285663","9783540317296"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11546924_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}