{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T11:46:06Z","timestamp":1773834366541,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642230875","type":"print"},{"value":"9783642230882","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23088-2_7","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T08:56:20Z","timestamp":1314262580000},"page":"94-109","source":"Crossref","is-referenced-by-count":5,"title":["Attribute Grammar for XML Integrity Constraint Validation"],"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":[{"key":"7_CR1","volume-title":"Compilers: principles, techniques, and tools","author":"A.V. Aho","year":"1988","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley, Reading (1988)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: A normal form for XML documents. In: ACM Symposium on Principles of Database System (2002)","DOI":"10.1145\/543613.543625"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS)\u00a029(1) (2004)","DOI":"10.1145\/974750.974757"},{"key":"7_CR4","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)"},{"issue":"6","key":"7_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2006.11.025","volume":"174","author":"N. Bidoit","year":"2007","unstructured":"Bidoit, N., Colazzo, D.: Testing XML constraint satisfiability. Electr. Notes Theor. Comput. Sci.\u00a0174(6), 45\u201361 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"7_CR6","first-page":"285","volume":"31","author":"B. Bouchou","year":"2007","unstructured":"Bouchou, B., Cheriat, A., Halfeld Ferrari, M., Laurent, D., Lima, M., Musicante, M.: Efficient constraint validation for updated XML databases. Informatica\u00a031(3), 285\u2013310 (2007)","journal-title":"Informatica"},{"issue":"3","key":"7_CR7","first-page":"331","volume":"28","author":"B. Bouchou","year":"2009","unstructured":"Bouchou, B., Halfeld Ferrari, M., Lima, M.: Contraintes d\u2019int\u00e9grit\u00e9 pour XML. visite guid\u00e9e par une syntaxe homog\u00e9ne. Technique et Science Informatiques\u00a028(3), 331\u2013364 (2009)","journal-title":"visite guid\u00e9e par une syntaxe homog\u00e9ne. Technique et Science Informatiques"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Y., Davidson, S., Zheng, Y.: XKvalidator: A constraint validator for XML. In: Proceedings of ACM Conf. on Information and Knowledge Management (2002)","DOI":"10.1145\/584792.584866"},{"key":"7_CR9","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)","DOI":"10.1145\/1754239.1754260"},{"key":"7_CR10","unstructured":"Halfeld Ferrari, M.: Les aspects dynamiques de XML sp\u00e9cification des interfaces de services web avec PEWS. Habilitation \u00e1 diriger des recherches, Universit\u00e9 Fran\u00e7ois Rabelais de Tours (2007)"},{"key":"7_CR11","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":"7_CR12","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)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s00778-005-0169-1","volume":"16","author":"C. Koch","year":"2007","unstructured":"Koch, C., Scherzinger, S.: Attribute grammars for scalable query processing on XML streams. The VLDB Journal\u00a016, 317\u2013342 (2007)","journal-title":"The VLDB Journal"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Liu, J., Vincent, M.W., Liu, C.: Functional dependencies, from relational to XML. In: Ershov Memorial Conference, pp. 531\u2013538 (2003)","DOI":"10.1007\/978-3-540-39866-0_51"},{"key":"7_CR15","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)","DOI":"10.1007\/3-540-44543-9_7"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1254","DOI":"10.1007\/978-3-642-05151-7_37","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"M.. S. Shahriar","year":"2009","unstructured":"Shahriar, M. S., Liu, J.: On the performances of checking XML key and functional dependency satisfactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05871, pp. 1254\u20131271. Springer, Heidelberg (2009)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Vincent, M.W., Liu, J.: Checking functional dependency satisfaction in XML. In: XSym, pp. 4\u201317 (2005)","DOI":"10.1007\/11547273_2"},{"key":"7_CR18","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)","DOI":"10.1145\/1016028.1016029"},{"key":"7_CR19","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":"7_CR20","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s00778-007-0063-0","volume":"17","author":"C. Yu","year":"2008","unstructured":"Yu, C., Jagadish, H.: XML schema refinement through redundancy detection and normalization. The VLDB Journal\u00a017, 203\u2013223 (2008)","journal-title":"The VLDB Journal"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Zhao, X., Xin, J., Zhang, E.: XML functional dependency and schema normalization. In: HIS 2009: Proceedings of the 9th International Conference on Hybrid Intelligent Systems, pp. 307\u2013312 (2009)","DOI":"10.1109\/HIS.2009.276"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23088-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T07:37:20Z","timestamp":1560497840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23088-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230875","9783642230882"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23088-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}