{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:46:27Z","timestamp":1725489987808},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744672"},{"type":"electronic","value":"9783540744696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74469-6_50","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T12:33:31Z","timestamp":1187786011000},"page":"509-518","source":"Crossref","is-referenced-by-count":3,"title":["A Logic Framework to Support Database Refactoring"],"prefix":"10.1007","author":[{"given":"Shi-Kuo","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Deufemia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Polese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Vacca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","volume-title":"Refactoring databases: Evolutionary database design","author":"S.W. Ambler","year":"2006","unstructured":"Ambler, S.W., Sadalage, P.J.: Refactoring databases: Evolutionary database design. Addison-Wesley, London (2006)"},{"key":"50_CR2","volume-title":"The description logic handbook: Theory, implementation, and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press, Cambridge (2003)"},{"key":"50_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/38713.38748","volume-title":"Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data","author":"J. Banerjee","year":"1987","unstructured":"Banerjee, J., Kim, W., Kim, H.J., Korth, H.F.: Semantics and implementation of schema evolution in object-oriented databases. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, pp. 311\u2013322. ACM Press, New York (1987)"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Bonner, A.J.: Hypothetical Datalog: Negation and linear recursion. Rutgers University (1989)","DOI":"10.1145\/73721.73750"},{"key":"50_CR5","unstructured":"Du Bois, B., Van Gorp, P., Amsel, A., Van Eetvelde, N., Stenten, H., Demeyer, S., Mens, T.: A discussion of refactoring in research and practice. Technical report, n. 2004-03, University of Antwerp, Belgium (2004)"},{"key":"50_CR6","unstructured":"Franconi, E., Grandi, F., Mandreoli, F.: A general framework for evolving schemata support. In: Proceedings of SEBD 2000, pp. 371\u2013384 (2000)"},{"key":"50_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511526664","volume-title":"Belief Revision","author":"P. G\u00e4rdenfors","year":"1992","unstructured":"G\u00e4rdenfors, P.: Belief revision: An introduction. In: Belief Revision, pp. 1\u201320. Cambridge University Press, Cambridge (1992)"},{"key":"50_CR8","first-page":"67","volume-title":"Logic, Language and Computation","author":"J. Gerbrandy","year":"1999","unstructured":"Gerbrandy, J.: Dynamic epistemic logic. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Logic, Language and Computation, vol.\u00a02, pp. 67\u201384. CSLI Publications, Stanford (1999)"},{"key":"50_CR9","volume-title":"Knowledge Contributors, Synthese Library no. 322","author":"J. Hintikka","year":"2003","unstructured":"Hintikka, J.: A second generation epistemic logic and its general significance. In: Hendricks,, et al. (eds.) Knowledge Contributors, Synthese Library no. 322, Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"50_CR10","unstructured":"Karahasanovic, A.: Identifying impacts of database schema changes on application. In: Proceedings of the 8th Doctoral Consortium at the CAiSE 2001, pp. 93\u2013104 (2001)"},{"key":"50_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-57530-8_6","volume-title":"Deductive and Object-Oriented Databases","author":"V.S. Lakshmanan Laks","year":"1993","unstructured":"Lakshmanan Laks, V.S., Sadri, F., Subramanian, I.N.: On the logical foundations of schema integration and evolution in heterogeneous database systems. In: Ceri, S., Tsur, S., Tanaka, K. (eds.) DOOD 1993. LNCS, vol.\u00a0760, pp. 81\u2013100. Springer, Heidelberg (1993)"},{"issue":"6","key":"50_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MC.2003.1204375","volume":"36","author":"C. Larman","year":"2003","unstructured":"Larman, C., Basili, V.R.: Iterative and incremental development: A brief history. IEEE Computer\u00a036(6), 47\u201356 (2003)","journal-title":"IEEE Computer"},{"issue":"3","key":"50_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S0960129500000256","volume":"3","author":"Z. Luo","year":"1993","unstructured":"Luo, Z.: Program specification and data refinement in type theory. Mathematical Structures in Computer Science\u00a03(3), 333\u2013363 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"50_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-540-30133-2_5","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"S. Maghsoudi","year":"2004","unstructured":"Maghsoudi, S., Watson, I.: Epistemic logic and planning. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol.\u00a03213, pp. 36\u201345. Springer, Heidelberg (2004)"},{"issue":"2","key":"50_CR15","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A survey of software refactoring. IEEE Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"50_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for AI and computer science","author":"J.J. Meyer","year":"1995","unstructured":"Meyer, J.J., Van Der Hoek, W.: Epistemic logic for AI and computer science. Cambridge University Press, Cambridge (1995)"},{"key":"50_CR17","unstructured":"Nguyen, G., Rieu, D.: Schema evolution in object-oriented database systems. Rapports de Recherche 947 (1988)"},{"issue":"1","key":"50_CR18","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/244810.244813","volume":"22","author":"R.J. Peters","year":"1997","unstructured":"Peters, R.J., \u00d6zsu, M.T.: An axiomatic model of dynamic schema evolution in objectbase systems. ACM Transactions on Database Systems\u00a022(1), 75\u2013114 (1997)","journal-title":"ACM Transactions on Database Systems"},{"key":"50_CR19","volume-title":"How to Solve It","author":"G. Polya","year":"1957","unstructured":"Polya, G.: How to Solve It. Princeton University Press, Princeton (1957)"},{"key":"50_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BFb0024363","volume-title":"Entity-Relationship Approach - ER \u201993","author":"J.F. Roddick","year":"1994","unstructured":"Roddick, J.F., Craske, N.G., Richards, T.J.: A taxonomy for schema versioning based on the relational and entity relationship models. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds.) ER 1993. LNCS, vol.\u00a0823, pp. 137\u2013148. Springer, Heidelberg (1994)"},{"issue":"7","key":"50_CR21","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/0950-5849(95)91494-K","volume":"37","author":"J.F. Roddick","year":"1995","unstructured":"Roddick, J.F.: A survey of schema versioning issues for database systems. Information and Software Technology\u00a037(7), 383\u2013393 (1995)","journal-title":"Information and Software Technology"},{"key":"50_CR22","doi-asserted-by":"crossref","DOI":"10.1515\/9780691186672","volume-title":"Conceptual revolutions","author":"P. Thagard","year":"1992","unstructured":"Thagard, P.: Conceptual revolutions. Princeton University Press, Princeton (1992)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74469-6_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:22:11Z","timestamp":1605763331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74469-6_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744672","9783540744696"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74469-6_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}