{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:47:21Z","timestamp":1725702441674},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341786"},{"type":"electronic","value":"9783642341793"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34179-3_6","type":"book-chapter","created":{"date-parts":[[2012,9,22]],"date-time":"2012-09-22T06:40:00Z","timestamp":1348296000000},"page":"167-197","source":"Crossref","is-referenced-by-count":2,"title":["A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"Bouchou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirian","family":"Halfeld-Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Adriana Vidigal","family":"Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing Company (1995)","key":"6_CR1"},{"unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley (1988)","key":"6_CR2"},{"doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS)\u00a029(1) (2004)","key":"6_CR3","DOI":"10.1145\/974750.974757"},{"unstructured":"Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Program Language Technologies for XML, PLANX 2002 (2002)","key":"6_CR4"},{"unstructured":"Michael, B., Angela, B., Sergio, F., Avinash, V.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P (2005)","key":"6_CR5"},{"issue":"3","key":"6_CR6","first-page":"285","volume":"31","author":"B. Bouchou","year":"2007","unstructured":"Bouchou, B., Cheriat, A., Halfeld Ferrari, M., Laurent, D., Adriana, M., Lima, V., Musicante, M.: Efficient constraint validation for updated XML databases. Informatica\u00a031(3), 285\u2013310 (2007)","journal-title":"Informatica"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.3166\/tsi.28.331-364","volume":"28","author":"B. Bouchou","year":"2009","unstructured":"Bouchou, B., Halfeld Ferrari, M., Adriana, M., Lima, V.: Contraintes d\u2019int\u00e9grit\u00e9 pour XML. visite guid\u00e9e par une syntaxe homog\u00e8ne. Technique et Science Informatiques\u00a028(3), 331\u2013364 (2009)","journal-title":"Technique et Science Informatiques"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-23088-2_7","volume-title":"Database and Expert Systems Applications","author":"B. Bouchou","year":"2011","unstructured":"Bouchou, B., Halfeld Ferrari, M., Lima, M.A.V.: Attribute Grammar for XML Integrity Constraint Validation. In: Hameurlain, A., Liddle, S.W., Schewe, K.-D., Zhou, X. (eds.) DEXA 2011, Part I. LNCS, vol.\u00a06860, pp. 94\u2013109. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. In: WWW 2001, May 2-5 (2001)","key":"6_CR9","DOI":"10.1145\/371920.371984"},{"doi-asserted-by":"crossref","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Reasoning about keys for XML. Information Systems\u00a028(8) (2003)","key":"6_CR10","DOI":"10.1016\/S0306-4379(03)00028-0"},{"doi-asserted-by":"crossref","unstructured":"Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and XML. SIGMOD Record\u00a030(1) (2001)","key":"6_CR11","DOI":"10.1145\/373626.373697"},{"doi-asserted-by":"crossref","unstructured":"Chen, Y., Davidson, S., Zheng, Y.: XKvalidator: A constraint validator for XML. In: Proceedings of ACM Conference on Information and Knowledge Management (2002)","key":"6_CR12","DOI":"10.1145\/584792.584866"},{"unstructured":"Fan, W.: XML contraints: Specification, analysis, and applications (invited talk). In: LAIC (2005)","key":"6_CR13"},{"doi-asserted-by":"crossref","unstructured":"Gire, F., Idabal, H.: Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. In: EDBT\/ICDT Workshops (2010)","key":"6_CR14","DOI":"10.1145\/1754239.1754260"},{"unstructured":"Halfeld Ferrari, M.: Les aspects dynamiques de XML sp\u00e9cification des interfaces de services web avec PEWS. Habilitation \u00e0 Diriger Des Recherches, Universit\u00e9 Fran\u00e7ois Rabelais de Tours (2007)","key":"6_CR15"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-13824-9_14","volume-title":"Logic, Language, Information and Computation","author":"S. Hartmann","year":"2010","unstructured":"Hartmann, S., Link, S., Trinh, T.: Solving the Implication Problem for XML Functional Dependencies with Properties. In: Dawar, A., de Queiroz, R. (eds.) WoLLIC 2010. LNCS, vol.\u00a06188, pp. 161\u2013175. Springer, Heidelberg (2010)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11663881_10","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Hartmann","year":"2006","unstructured":"Hartmann, S., Trinh, T.: Axiomatising Functional Dependencies for XML with Frequencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 159\u2013178. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR18","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.ic.2008.09.004","volume":"208","author":"S. Hartmann","year":"2010","unstructured":"Hartmann, S., Link, S.: Numerical constraints on XML data. Inf. Comput.\u00a0208(5), 521\u2013544 (2010)","journal-title":"Inf. Comput."},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-45876-X_10","volume-title":"Advances in Database Technology - EDBT 2002","author":"M. Lee Li","year":"2002","unstructured":"Li Lee, M., Ling, T.-W., Low, W.L.: Designing Functional Dependencies for XML. In: Jensen, C.S., Jeffery, K., Pokorn\u00fd, J., \u0160altenis, S., Bertino, E., B\u00f6hm, K., Jarke, M. (eds.) EDBT 2002. LNCS, vol.\u00a02287, pp. 124\u2013141. Springer, Heidelberg (2002)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-39866-0_51","volume-title":"Perspectives of System Informatics","author":"J. Liu","year":"2004","unstructured":"Liu, J., Vincent, M.W., Liu, C.: Functional Dependencies, from Relational to XML. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 531\u2013538. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Neven, F.: Extensions of attribute grammars for structured document queries. In: Proceedings of International Workshop on Database Programming Languages (1999)","key":"6_CR21","DOI":"10.1007\/3-540-44543-9_7"},{"doi-asserted-by":"crossref","unstructured":"Shahriar, M.S., Liu, J.: On the performances of checking XML key and functional dependency satisfactions. In: OTM Conferences, vol.\u00a0(2), pp. 1254\u20131271 (2009)","key":"6_CR22","DOI":"10.1007\/978-3-642-05151-7_37"},{"unstructured":"Sur, G.M., Hammer, J., Simeon, J.: An XQuery-based language for processing updates in XML. In: PLAN-X - Programming Language Technologies for XML a Workshop Colocated with POPL 2004 (2004)","key":"6_CR23"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/11547273_2","volume-title":"Database and XML Technologies","author":"M.W. Vincent","year":"2005","unstructured":"Vincent, M.W., Liu, J.: Checking Functional Dependency Satisfaction in XML. In: Bressan, S., Ceri, S., Hunt, E., Ives, Z.G., Bellahs\u00e8ne, Z., Rys, M., Unland, R. (eds.) XSym 2005. LNCS, vol.\u00a03671, pp. 4\u201317. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Transactions on Database Systems\u00a029(3) (2004)","key":"6_CR25","DOI":"10.1145\/1016028.1016029"},{"unstructured":"Wang, J., Topor, R.: Removing XML data redundancies using functional and equality-generating dependencies. In: Proceedings of the 16th Australasian Database Conference (2005)","key":"6_CR26"},{"doi-asserted-by":"crossref","unstructured":"Zhao, X., Xin, J., Zhang, E.: XML functional dependency and schema normalization. In: Proceedings of the 9th International Conference on Hybrid Intelligent Systems, HIS 2009, pp. 307\u2013312 (2009)","key":"6_CR27","DOI":"10.1109\/HIS.2009.276"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34179-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:13:27Z","timestamp":1606187607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34179-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341786","9783642341793"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34179-3_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2012]]}}}