{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:15:17Z","timestamp":1743128117106,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234408"},{"type":"electronic","value":"9783642234415"}],"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-23441-5_7","type":"book-chapter","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T22:35:01Z","timestamp":1313188501000},"page":"114-133","source":"Crossref","is-referenced-by-count":1,"title":["A Proof System with Bounded Non-determinism in Database Transformations"],"prefix":"10.1007","author":[{"given":"Qing","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/inco.1997.2675","volume":"140","author":"E. Gr\u00e4del","year":"1998","unstructured":"Gr\u00e4del, E., Gurevich, Y.: Metafinite model theory. Information and Computation\u00a0140(1), 26\u201381 (1998)","journal-title":"Information and Computation"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-1-4471-3229-5_19","volume-title":"Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)","author":"R. Groenboom","year":"1994","unstructured":"Groenboom, R., de Renardel Lavalette, G.: Reasoning about dynamic features in specification languages - a modal view on creation and modification. In: Proceedings of the International Workshop on Semantics of Specification Languages (SoSL), pp. 340\u2013355. Springer, Heidelberg (1994)"},{"key":"#cr-split#-7_CR4.1","unstructured":"Groenboom, R., de Renardel Lavalette, G.: A formalization of evolving algebras. In: Proceedings of Accolade 1995 (1995);"},{"key":"#cr-split#-7_CR4.2","unstructured":"Dutch Research School in Logic"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y. Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Transactions on Computational Logic\u00a01(1), 77\u2013111 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Hughes, G., Cresswell, M.: A new introduction to modal logic. Burns & Oates (1996)","DOI":"10.4324\/9780203290644"},{"key":"7_CR7","volume-title":"Logical Perspectives on Language and Information","author":"G. Renardel Lavalette de","year":"2001","unstructured":"de Renardel Lavalette, G.: A logic of modification and creation. In: Logical Perspectives on Language and Information. CSLI publications, Stanford (2001)"},{"issue":"4","key":"7_CR8","first-page":"765","volume":"19","author":"K.-D. Schewe","year":"2010","unstructured":"Schewe, K.-D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybernetica\u00a019(4), 765\u2013805 (2010)","journal-title":"Acta Cybernetica"},{"key":"7_CR9","unstructured":"Sch\u00f6negge, A.: Extending Dynamic Logic for Reasoning about Evolving Algebras. Technical Report 49\/95, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik (1995)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"St\u00e4rk, R., Nanchen, S.: A logic for abstract state machine. Journal of Universal Computer Science\u00a07(11) (2001)","DOI":"10.1007\/3-540-44802-0_16"},{"key":"7_CR11","unstructured":"Van den Bussche, J.: Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp (1993)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/137097.137866","volume-title":"Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"J. Bussche Van den","year":"1992","unstructured":"Van den Bussche, J., Van Gucht, D.: Semi-determinism (extended abstract). In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 191\u2013201. ACM Press, New York (1992)"},{"key":"7_CR13","volume-title":"Logical Foundations of Database Transformations for Complex-Value Databases","author":"Q. Wang","year":"2010","unstructured":"Wang, Q.: Logical Foundations of Database Transformations for Complex-Value Databases. Logos Verlag, Berlin (2010)"},{"key":"7_CR14","unstructured":"Wang, Q., Schewe, K.-D.: Axiomatization of database transformations. In: Proceedings of the 14th International ASM Workshop (2007)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-540-77684-0_24","volume-title":"Foundations of Information and Knowledge Systems","author":"Q. Wang","year":"2008","unstructured":"Wang, Q., Schewe, K.-D.: Towards a Logic for Abstract MetaFinite State Machines. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 365\u2013380. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23441-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T21:31:50Z","timestamp":1560461510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23441-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234408","9783642234415"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23441-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}