{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:20:08Z","timestamp":1736659208634,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540467885"},{"type":"electronic","value":"9783540467908"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11896548_19","type":"book-chapter","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T06:02:49Z","timestamp":1161151369000},"page":"206-219","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Integrity Checking over XML Documents"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Braga","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Campi","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1145\/1042046.1042050","volume":"29","author":"A. Balmin","year":"2004","unstructured":"Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. ACM Trans. Database Syst.\u00a029(4), 710\u2013751 (2004)","journal-title":"ACM Trans. Database Syst."},{"key":"19_CR2","unstructured":"Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated Update Management for XML Integrity Constraints. In: Inf. Proc. of PLAN-X Workshop (2002)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bohannon, P., Freire, J., Roy, P., Sim\u00e9on, J.: From XML schema to relations: A cost-based approach to XML storage. In: ICDE, pp. 64\u201375 (2002)","DOI":"10.1109\/ICDE.2002.994698"},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/584792.584866","volume-title":"CIKM","author":"Y. Chen","year":"2002","unstructured":"Chen, Y., Davidson, S.B., Zheng, Y.: Xkvalidator: a constraint validator for XML. In: CIKM, pp. 446\u2013452. ACM Press, New York (2002)"},{"issue":"4","key":"19_CR5","doi-asserted-by":"crossref","first-page":"371","DOI":"10.3233\/FUN-2006-71402","volume":"71","author":"H. Christiansen","year":"2006","unstructured":"Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae\u00a071(4), 371\u2013417 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Fernandez, M., Suciu, D.: Storing semi-struct-ured data with STORED. In: SIGMOD, pp. 431\u2013442 (1999)","DOI":"10.1145\/304181.304220"},{"issue":"1","key":"19_CR7","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":"19_CR8","unstructured":"eXist. Open source native xml database, http:\/\/exist.sourceforge.net"},{"issue":"5","key":"19_CR9","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/S1389-1286(02)00219-0","volume":"39","author":"W. Fan","year":"2002","unstructured":"Fan, W., Kuper, G.M., Sim\u00e9on, J.: A unified constraint model for XML. Computer Networks\u00a039(5), 489\u2013505 (2002)","journal-title":"Computer Networks"},{"issue":"3","key":"19_CR10","first-page":"27","volume":"22","author":"D. Florescu","year":"1999","unstructured":"Florescu, D., Kossman, D.: Storing and Querying XML Data using an RDMBS. IEEE Data Eng. Bull.\u00a022(3), 27\u201334 (1999)","journal-title":"IEEE Data Eng. Bull."},{"volume-title":"Materialized views: techniques, implementations, and applications","year":"1999","key":"19_CR11","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., Kaushik, R., Naughton, J.: XML-SQL query translation literature: The state of the art and open problems. In: XSym, pp. 1\u201318 (2003)","DOI":"10.1007\/978-3-540-39429-7_1"},{"key":"19_CR13","unstructured":"Laux, A., Matin, L.: XUpdate working draft. Technical report (2000), http:\/\/www.xmldb.org\/xupdate"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Levy, A., Sagiv, Y.: Constraints and redundancy in datalog. In: PODS, New York, NY, USA, pp. 67\u201380 (1992)","DOI":"10.1145\/137097.137111"},{"key":"19_CR15","unstructured":"Ley, M.: Digital Bibliography & Library Project, http:\/\/dblp.uni-trier.de\/"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Martinenghi, D.: Simplification of integrity constraints with aggregates and arithmetic built-ins. In: Flexible Query-Answering Systems, pp. 348\u2013361 (2004)","DOI":"10.1007\/978-3-540-25957-2_28"},{"key":"19_CR17","unstructured":"Martinenghi, D.: A simplification procedure for integrity constraints (2004), http:\/\/www.ruc.dk\/~dm\/spic"},{"issue":"3","key":"19_CR18","first-page":"239","volume":"4","author":"W. May","year":"2004","unstructured":"May, W.: XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. TPLP\u00a04(3), 239\u2013287 (2004)","journal-title":"TPLP"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: ER Workshops, pp. 62\u201373 (1999)","DOI":"10.1007\/3-540-48054-4_6"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","first-page":"312","volume-title":"Database Theory - ICDT 2003","author":"F. Neven","year":"2002","unstructured":"Neven, F., Schwentick, T.: XPath containment in the Presence of Disjunction, DTDs, and Variables. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 312\u2013326. Springer, Heidelberg (2002)"},{"key":"19_CR21","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":"19_CR22","doi-asserted-by":"crossref","unstructured":"Sawires, A., Tatemura, J., Po, O., Agrawal, D., Candan, K.S.: Incremental maintenance of path expression views. In: SIGMOD (2005)","DOI":"10.1145\/1066157.1066208"},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/974121.974140","volume":"33","author":"T. Schwentick","year":"2004","unstructured":"Schwentick, T.: XPath query containment. SIGMOD Record\u00a033(1), 101\u2013109 (2004)","journal-title":"SIGMOD Record"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Segoufin, L., Vianu, V.: Validating Streaming XML Documents. In: PODS, pp. 53\u201364 (2002)","DOI":"10.1145\/543613.543622"},{"key":"19_CR25","unstructured":"Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D., Naughton, J.: Relational Databases for Querying XML Documents: Limitations and Opportunities. In: VLDB, pp. 302\u2013314 (1999)"},{"key":"19_CR26","unstructured":"Suciu, D.: Query Decomposition and View Maintenance for Query Languages for Unstructured Data. In: VLDB, pp. 227\u2013238 (1996)"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Tatarinov, I., Ives, Z.G., Halevy, A.Y., Weld, D.S.: Updating XML. In: SIGMOD (2001)","DOI":"10.1145\/375663.375720"}],"container-title":["Lecture Notes in Computer Science","Current Trends in Database Technology \u2013 EDBT 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11896548_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T15:57:17Z","timestamp":1736611037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11896548_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540467885","9783540467908"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11896548_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}