{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:41Z","timestamp":1725471281106},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359692"},{"type":"electronic","value":"9783540359715"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11788911_26","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T09:15:34Z","timestamp":1159175734000},"page":"262-265","source":"Crossref","is-referenced-by-count":3,"title":["Verification Theories for XML Schema"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Royer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Briggs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-46093-4_14","volume-title":"Database Programming Languages","author":"S. Alagi\u0107","year":"2002","unstructured":"Alagi\u0107, S., Bernstein, P.A.: A model theory for generic schema management. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol.\u00a02397, pp. 228\u2013246. Springer, Heidelberg (2002)"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-24607-7_6","volume-title":"Database Programming Languages","author":"S. Alagi\u0107","year":"2004","unstructured":"Alagi\u0107, S., Logan, J.: Consistency of Java transactions. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 71\u201389. Springer, Heidelberg (2004)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-24607-7_10","volume-title":"Database Programming Languages","author":"S. Alagi\u0107","year":"2004","unstructured":"Alagi\u0107, S., Briggs, D.: Semantics of Objectified XML. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 147\u2013165. Springer, Heidelberg (2004)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/3-540-47993-7_25","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"S. Alagi\u0107","year":"2002","unstructured":"Alagi\u0107, S., Kouznetsova, S.: Behavioral compatibility of self-typed theories. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 585\u2013608. Springer, Heidelberg (2002)"},{"key":"26_CR5","unstructured":"Archer, M., Di Vito, B., Munoz, C.: Developing user strategies in PVS: A tutorial. In: Proceedings of STRATA 2003 (2003)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-46093-4_8","volume-title":"Database Programming Languages","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.-C.: Reasoning about keys for XML. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol.\u00a02397, pp. 133\u2013148. Springer, Heidelberg (2002)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/S0022-0000(02)00032-6","volume":"66","author":"W. Fan","year":"2003","unstructured":"Fan, W., Simeon, J.: Integrity constraints for XML. Journal of Computer and System Sciences\u00a066, 254\u2013291 (2003)","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1040305.1040310","volume-title":"Proceedings of POPL 2005","author":"H. Hosoya","year":"2005","unstructured":"Hosoya, H., Frisch, A., Castagna, G.: Parametric polymorphism for XML. In: Proceedings of POPL 2005, pp. 50\u201362. ACM, New York (2005)"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-44503-X_21","volume-title":"Database Theory - ICDT 2001","author":"G.M. Kuper","year":"2000","unstructured":"Kuper, G.M., Simeon, J.: Subsumption for XML types. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 331\u2013345. Springer, Heidelberg (2000)"},{"key":"26_CR11","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Clavert, D.W.J.: PVS Language Reference. SRI International, Computer Science Laboratory, Menlo Park, California"},{"key":"26_CR12","unstructured":"Owre, S., Shankar, N.: Writing PVS proof strategies, Computer Science Laboratory, SRI International, \n                    \n                      http:\/\/www.csl.sri.com"},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Transactions on Database Systems\u00a014, 322\u2013368 (1989)","journal-title":"ACM Transactions on Database Systems"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-49059-0_26","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"D. Spelt","year":"1999","unstructured":"Spelt, D., Even, S.: A theorem prover-based analysis tool for object-oriented databases. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, pp. 375\u2013389. Springer, Heidelberg (1999)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/604131.604132","volume-title":"Proceedings of POPL 2003","author":"J. Simeon","year":"2003","unstructured":"Simeon, J., Wadler, P.: The Essence of XML. In: Proceedings of POPL 2003, pp. 1\u201313. ACM, New York (2003)"},{"key":"26_CR16","unstructured":"W3C: XML Schema Part 0: Primer, 2nd edn., \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-0\/"},{"key":"26_CR17","unstructured":"W3C: XML Schema Part 1: Structures, 2nd edn., \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-1\/"}],"container-title":["Lecture Notes in Computer Science","Flexible and Efficient Information Handling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11788911_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:22:40Z","timestamp":1619508160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11788911_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359692","9783540359715"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11788911_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}