{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:30:18Z","timestamp":1725561018671},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208969"},{"type":"electronic","value":"9783540246077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24607-7_10","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:16:11Z","timestamp":1280391371000},"page":"147-165","source":"Crossref","is-referenced-by-count":2,"title":["Semantics of Objectified XML Constraints"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Briggs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0950-5849(02)00010-1","volume":"44","author":"S. Alagi\u0107","year":"2002","unstructured":"Alagi\u0107, S.: Institutions: Integrating objects, XML and databases. Information and Software Technology\u00a044, 207\u2013216 (2002)","journal-title":"Information and Software Technology"},{"key":"10_CR2","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":"10_CR3","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":"10_CR4","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Chee-Yong, C., Fan, W., Freire, J., Rastog, R.: Capturing both types and constraints in data integration. In: ACM SIGMOD Conference on Management of Data (2003)","DOI":"10.1145\/872757.872792"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Davidson, S., Fan, W., Hara, C., Jing, Q.: Propagating XML constraints to relations. In: The 19th International Conference on Data Engineering, ICDE (2003)","DOI":"10.1109\/ICDE.2003.1260820"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Fan, W., Libkin, L.: On XML constraints in the presence of DTDs. In: Proceedings of ACM PODS, pp. 114\u2013125 (2001); also in Journal of the ACM\u00a049(3), 368\u2013406 (2002)","DOI":"10.1145\/375551.375568"},{"key":"10_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"},{"key":"10_CR8","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":"10_CR9","volume-title":"The Object Data Standard: ODMG 3.0","author":"R.G.G. Cattell","year":"2000","unstructured":"Cattell, R.G.G., Barry, D., Berler, M., Eastman, J., Jordan, D., Russell, C., Schadow, O., Stanienda, T., Velez, F.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann, San Francisco (2000)"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537601.003.0014","volume-title":"Topology and Category Theory in Computer Science","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: Types as theories. In: Reed, G.M., Roscoe, A.W., Wachter, R.F. (eds.) Topology and Category Theory in Computer Science, pp. 357\u2013390. Clarendon Press, Oxford (1991)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-45070-2_8","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"V. Gapeyev","year":"2003","unstructured":"Gapeyev, V., Pierce, B.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 151\u2013175. Springer, Heidelberg (2003)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.: Regular expression types for XML. In: Proceedings of ICFP, pp. 11\u201322 (2000)","DOI":"10.1145\/351240.351242"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal calculus for Java and GJ. In: Proceedings of OOPSLA 2001, and in ACM Transactions on Programming Languages and Systems 23(3) (2001)","DOI":"10.1145\/503502.503505"},{"key":"10_CR14","unstructured":"JAXB documentation, http:\/\/www.oasis-open.org\/cover\/jaxb.html"},{"key":"10_CR15","unstructured":"JDOM documentation, http:\/\/www.jdom.org\/"},{"key":"10_CR16","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":"10_CR17","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR18","unstructured":"Meijer, E., Schulte, W.: Unifying tables, objects and documents, Microsoft Research (2003)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/S0022-0000(02)00030-2","volume":"66","author":"T. Milo","year":"2003","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. Journal of Computer and Systems Sciences\u00a066, 66\u201367 (2003)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10_CR20","unstructured":"W3C: XML Schema, http:\/\/www.w3c.org\/XML\/schema"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24607-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T21:47:10Z","timestamp":1711662430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24607-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208969","9783540246077"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24607-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}