{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:15:28Z","timestamp":1725549328951},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540242604"},{"type":"electronic","value":"9783540305972"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-30597-2_2","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T23:34:10Z","timestamp":1267400050000},"page":"15-41","source":"Crossref","is-referenced-by-count":11,"title":["Consistency of XML Specifications"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Arenas","sequence":"first","affiliation":[]},{"given":"Wenfei","family":"Fan","sequence":"additional","affiliation":[]},{"given":"Leonid","family":"Libkin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_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)"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1006\/jcss.1999.1627","volume":"58","author":"S. Abiteboul","year":"1999","unstructured":"Abiteboul, S., Vianu, V.: Regular path queries with constraints. J. Computer and System Sciences (JCSS)\u00a058(4), 428\u2013452 (1999)","journal-title":"J. Computer and System Sciences (JCSS)"},{"key":"2_CR3","unstructured":"Apparao, V., Byrne, S., Champion, M., Isaacs, S., Jacobs, I., Le Hors, A., Nicol, G., Robie, J., Sutor, R., Wilson, C., Wood, L.: Document Object Model (DOM) Level 1 Specification. W3C Recommendation (October 1998), http:\/\/www.w3.org\/TR\/REC-DOM-Level-1\/"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Fan, W., Libkin, L.: On verifying consistency of XML specifications. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 259\u2013270 (2002)","DOI":"10.1145\/543613.543647"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-46146-9_27","volume-title":"Database and Expert Systems Applications","author":"M. Arenas","year":"2002","unstructured":"Arenas, M., Fan, W., Libkin, L.: What\u2019s Hard about XML Schema Constraints? In: Hameurlain, A., Cicchetti, R., Traunm\u00fcller, R. (eds.) DEXA 2002. LNCS, vol.\u00a02453, pp. 269\u2013278. Springer, Heidelberg (2002)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: A Normal Form for XML Documents. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 85\u201396 (2002)","DOI":"10.1145\/543613.543625"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Baru, C., Gupta, A., Lud\u00e4scher, B., Marciano, R., Papakonstantinou, Y., Velikhov, P., Chu, V.: XML-based information mediation with MIX. In: Proc. of ACM SIGMOD Conf. on Management of Data (SIGMOD), pp. 597\u2013599 (1999)","DOI":"10.1145\/304181.304590"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-49257-7_19","volume-title":"Database Theory - ICDT\u201999","author":"C. Beeri","year":"1998","unstructured":"Beeri, C., Milo, T.: Schemas for integration and translation of structured and semi-structured data. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol.\u00a01540, pp. 296\u2013313. Springer, Heidelberg (1998)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Chan, C., Fan, W., Freire, J., Rastogi, R.: Capturing both Types and Constraints in Data Integration. In: Proc. of ACM SIGMOD Conf. on Management of Data (SIGMOD), pp. 277\u2013288 (2003)","DOI":"10.1145\/872757.872792"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Boag, S., Chamberlin, D., Fern\u00e1ndez, M., Florescu, D., Robie, J., Sim\u00e9on, J.: XQuery 1.0: An XML Query Language. W3C Working Draft (November 2003), http:\/\/www.w3.org\/TR\/xquery","DOI":"10.1145\/872757.872877"},{"key":"2_CR11","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible Markup Language (XML) 1.0. W3C Recommendation (February 1998), http:\/\/www.w3.org\/TR\/REC-xml\/"},{"issue":"5","key":"2_CR12","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S1389-1286(02)00223-2","volume":"39","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Keys for XML. Computer Networks\u00a039(5), 473\u2013487 (2002)","journal-title":"Computer Networks"},{"issue":"8","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1037","DOI":"10.1016\/S0306-4379(03)00028-0","volume":"28","author":"P. Buneman","year":"2003","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Information Systems\u00a028(8), 1037\u20131063 (2003)","journal-title":"Information Systems"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1145\/937555.937560","volume":"4","author":"P. Buneman","year":"2003","unstructured":"Buneman, P., Fan, W., Weinstein, S.: Interaction between path and type constraints. ACM Trans. on Computational Logic (TOCL)\u00a04(4), 530\u2013577 (2003)","journal-title":"ACM Trans. on Computational Logic (TOCL)"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/logcom\/9.3.295","volume":"9","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Representing and reasoning on XML documents: A description logic approach. J. Logic and Computation\u00a09(3), 295\u2013318 (1999)","journal-title":"J. Logic and Computation"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Lenzerini, M.: Making object-oriented schemas more expressive. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 243\u2013254 (1994)","DOI":"10.1145\/182591.182620"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Lenzerini, M.: On the interaction between ISA and cardinality constraints. In: Proc. IEEE Int\u2019l. Conf. on Data Engineering (ICDE), pp. 204\u2013213 (1994)","DOI":"10.1109\/ICDE.1994.283032"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"The World Wide Web and Databases","author":"M. Carey","year":"2001","unstructured":"Carey, M., Florescu, D., Ives, Z., Lu, Y., Shanmugasundaram, J., Shekita, E., Subramanian, S.: XPERANTO: Publishing object-relational data as XML. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997. Springer, Heidelberg (2001)"},{"key":"2_CR19","unstructured":"Clark, J.: XSL Transformations (XSLT). W3C Recommendation (November 1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"2_CR20","unstructured":"Clark, J., DeRose, S.: XML Path Language (XPath). W3C Recommendation (November 1999), http:\/\/www.w3.org\/TR\/xpath"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/78935.78937","volume":"37","author":"S.S. Cosmadakis","year":"1990","unstructured":"Cosmadakis, S.S., Kanellakis, P.C., Vardi, M.Y.: Polynomial-time implication problems for unary inclusion dependencies. J. ACM\u00a037(1), 15\u201346 (1990)","journal-title":"J. ACM"},{"issue":"1","key":"2_CR22","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/s007780100045","volume":"10","author":"A. Eyal","year":"2001","unstructured":"Eyal, A., Milo, T.: Integrating and customizing heterogeneous e-commerce applications. VLDB Journal\u00a010(1), 16\u201338 (2001)","journal-title":"VLDB Journal"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/567112.567117","volume":"49","author":"W. Fan","year":"2002","unstructured":"Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. J. ACM\u00a049(3), 368\u2013406 (2002)","journal-title":"J. ACM"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Fan, W., Sim\u00e9on, J.: Integrity constraints for XML. In: PODS 2000, pp. 23\u201334 (2000)","DOI":"10.1145\/335168.335172"},{"issue":"2","key":"2_CR25","first-page":"12","volume":"24","author":"M. Fernandez","year":"2001","unstructured":"Fernandez, M., Morishima, A., Suciu, D., Tan, W.: Publishing relational data in XML: the SilkRoute approach. IEEE Data Eng. Bull.\u00a024(2), 12\u201319 (2001)","journal-title":"IEEE Data Eng. Bull."},{"issue":"3","key":"2_CR26","first-page":"27","volume":"22","author":"D. Florescu","year":"1999","unstructured":"Florescu, D., Kossmann, D.: Storing and querying XML data using an RDMBS. IEEE Data Eng. Bull.\u00a022(3), 27\u201334 (1999)","journal-title":"IEEE Data Eng. Bull."},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S0218843096000166","volume":"5","author":"D. Florescu","year":"1996","unstructured":"Florescu, D., Raschid, L., Valduriez, P.: A methodology for query reformulation in CIS using semantic knowledge. Int\u2019l. J. Cooperative Information Systems (IJCIS)\u00a05(4), 431\u2013468 (1996)","journal-title":"Int\u2019l. J. Cooperative Information Systems (IJCIS)"},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/0020-0190(80)90013-7","volume":"11","author":"P.C. Kanellakis","year":"1980","unstructured":"Kanellakis, P.C.: On the computational complexity of cardinality constraints in relational databases. Information Processing Letters\u00a011(2), 98\u2013101 (1980)","journal-title":"Information Processing Letters"},{"key":"2_CR29","volume-title":"Hilbert\u2019s 10th Problem","author":"Y. Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y.: Hilbert\u2019s 10th Problem. MIT Press, Cambridge (1993)"},{"key":"2_CR30","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"2000","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison Wesley, Reading (2000)","edition":"2"},{"key":"2_CR31","unstructured":"Layman, A., Jung, E., Maler, E., Thompson, H., Paoli, J., Tigue, J., Mikula, N., De Rose, S.: XML-Data. W3C Note (January 1998), http:\/\/www.w3.org\/TR\/1998\/NOTE-XML-data"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-45393-8_24","volume-title":"Conceptual Modeling - ER 2000","author":"D. Lee","year":"2000","unstructured":"Lee, D., Chu, W.W.: Constraint-preserving transformation from XML document type to relational schema. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 323\u2013338. Springer, Heidelberg (2000)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"McAllester, D., Givan, R., Witty, C., Kozen, D.: Tarskian set constraints. In: IEEE Symp. on Logic in Computer Science (LICS), pp. 138\u2013147 (1996)","DOI":"10.1109\/LICS.1996.561313"},{"key":"2_CR34","volume-title":"Understanding the New SQL: A Complete Guide","author":"J. Melton","year":"1993","unstructured":"Melton, J., Simon, A.: Understanding the New SQL: A Complete Guide. Morgan Kaufmann, San Francisco (1993)"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-44543-9_7","volume-title":"Research Issues in Structured and Semistructured Database Programming","author":"F. Neven","year":"2000","unstructured":"Neven, F.: Extensions of attribute grammars for structured document queries. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol.\u00a01949, pp. 99\u2013116. Springer, Heidelberg (2000)"},{"key":"2_CR36","volume-title":"Combinatorial Optimization: Algorithms and Complexity","author":"C.H. Papadimitriou","year":"1982","unstructured":"Papadimitriou, C.H., Steiglitz, K.: Combinatorial Optimization: Algorithms and Complexity. Prentice Hall, Englewood Cliffs (1982)"},{"key":"2_CR37","unstructured":"Popa, L.: Object\/Relational Query Optimization with Chase and Backchase. PhD thesis, University of Pennsylvania (2000)"},{"key":"2_CR38","unstructured":"Shanmugasundaram, J., Shekita, E., Barr, R., Carey, M., Lindsay, B., Pirahesh, H., Reinwald, B.: Efficiently publishing relational data as XML documents. In: Proc. of Int\u2019l. Conf. on Very Large Databases (VLDB), pp. 65\u201376 (2000)"},{"key":"2_CR39","unstructured":"Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D.J., Naughton, J.F.: Relational databases for querying XML documents: Limitations and opportunities. In: Proc. of Int\u2019l. Conf. on Very Large Databases (VLDB), pp. 302\u2013314 (1999)"},{"key":"2_CR40","unstructured":"Thompson, H., Beech, D., Malone, M., Mendelsohn, N.: XML Schema. W3C Recommendation (May 2001), http:\/\/www.w3.org\/XML\/Schema"},{"key":"2_CR41","volume-title":"Database and Knowledge Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Database and Knowledge Base Systems. Computer Science Press, Rockville (1988)"},{"key":"2_CR42","first-page":"41","volume-title":"Handbook of Formal Languages","author":"S. Yu","year":"1996","unstructured":"Yu, S.: Regular Languages. In: Rosenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a01, pp. 41\u2013110. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Inconsistency Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30597-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T17:23:09Z","timestamp":1685467389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30597-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540242604","9783540305972"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30597-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}