{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:33:29Z","timestamp":1780382009236,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617846","type":"print"},{"value":"9783540706854","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0019911","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:49:37Z","timestamp":1138200577000},"page":"5-26","source":"Crossref","is-referenced-by-count":7,"title":["Translation schemes and the fundamental problem of database design"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Makowsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E. V.","family":"Ravve","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"2_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Database. Addison Wesley, 1994."},{"issue":"4","key":"2_CR2","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557\u2013575, 1981.","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"2_CR3","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1137\/0213006","volume":"13","author":"C. Beeri","year":"1984","unstructured":"C. Beeri and M. Vardi. Formal systems for tuple and equality generating dependencies. SIAM Journal on Computing, 13(1):76\u201398, 1984.","journal-title":"SIAM Journal on Computing"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(90)90080-L","volume":"48","author":"K.J. Compton","year":"1990","unstructured":"K.J. Compton and C.W. Henson. A uniform method for proving lower bounds on the computational complexity of logical theories. Annals of Pure and Applied Logic, 48:1\u201379, 1990.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"A. Chandra, H. Lewis, and J.A. Makowsky. Embedded implicational dependencies and their implication problem. In ACM Symposium on the Theory of Computing 1981, pages 342\u2013354. ACM, 1981.","DOI":"10.1145\/800076.802488"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(94)90268-2","volume":"126","author":"B. Courcelle","year":"1994","unstructured":"B. Courcelle. Monadic second order graph transductions: A survey. Theoretical Computer Science, 126:53\u201375, 1994.","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"E. Dahlhaus. Reductions to NP-complete problems by interpretations. In E. B\u00f6rger et. al., editor, Logic and Machines: Decision Problems and Complexity, volume 171, pages 357\u2013365. Springer Verlag, 1983.","DOI":"10.1007\/3-540-13331-3_51"},{"key":"2_CR8","unstructured":"A. Dawar. Feasible Computation Through Model Theory. PhD thesis, Department of Computer Science, University of Maryland, 1993."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"H.D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic, 2nd edition. Undergraduate Texts in Mathematics. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4757-2355-7"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"R. Fagin and M. Vardi. The theory of data dependencies. In M. Anshel and W. Gewirtz, editors, Proceedings of Symposia in Applied Mathematics, volume 34 of American Mathematical Society, pages 19\u201371. RI, 1986.","DOI":"10.1090\/psapm\/034\/846853"},{"key":"2_CR11","volume-title":"volume 40 of Die Grundleheren der mathematischen Wissenschaften in Einzeldarstellungn","author":"D. Hilbert","year":"1970","unstructured":"D. Hilbert and P. Bernays. Grundlagen der Mathematik, I, volume 40 of Die Grundleheren der mathematischen Wissenschaften in Einzeldarstellungn. Springer Verlag, Heidelberg, 2nd edition, 1970.","edition":"2nd edition"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1148","volume":"122","author":"C. Herrmann","year":"1995","unstructured":"C. Herrmann. On the ubdecidability of implication between embedded multivalued database dependencies. Information and Computation, 122:221\u2013235, 1995.","journal-title":"Information and Computation"},{"issue":"4","key":"2_CR13","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that capture complexity classes. SIAM Journal on Computing, 16(4):760\u2013778, Aug 1987.","journal-title":"SIAM Journal on Computing"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"P.G. Kolaitis. Implicit definability on finite structures and unambiguous computations. In FOCS'90, pages 168\u2013180. IEEE, 1990.","DOI":"10.1109\/LICS.1990.113743"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"A. Keller and J.D. Ullman. On complementary and independent mappings. Proc. ACM SIGMOD Symp. on the Management of Data, pages 145\u2013148, 1984.","DOI":"10.21236\/ADA145557"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J.A. Makowsky. Capturing complexity classes with Lindstr\u00f6m quantifiers. In MFCS'94, volume 841 of Lecture Notes in Computer Science, pages 68\u201371. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_59"},{"key":"2_CR17","unstructured":"J. Mycielski, P. Pudl\u00e1k, and A.S. Stern. A Lattice of Chapters of Mathematics, volume 426 of Memoirs of the American Mathematical Society. American Mathematical Society, 1990."},{"key":"2_CR18","unstructured":"H. Mannila and K.J. R\u00c4ih\u00c4. The Design of Relational Databases. Addison-Wesley, 1992."},{"key":"2_CR19","volume-title":"Technical Report","author":"J.A. Makowsky","year":"1996","unstructured":"J.A. Makowsky and E. Ravve. Dependency preserving refinment of database schemes. Technical Report, April 1996, Department of Computer Science, Technion-Israel Institute of Technology, Haifa, Israel, 1996."},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF00289111","volume":"23.3","author":"J.A. Makowsky","year":"1986","unstructured":"J.A. Makowsky and M. Vardi. On the expressive power of data dependencies. Acta Informatica, 23.3:231\u2013244, 1986.","journal-title":"Acta Informatica"},{"key":"2_CR21","series-title":"volume 17 of EATCS Monographs on Theeoretical Computer Science","volume-title":"The Structure of the Relational Database Model","year":"1989","unstructured":"J. Paredaens, P. De Bra, M. Gyssens, and D. Van Gucht, editors. The Structure of the Relational Database Model, volume 17 of EATCS Monographs on Theeoretical Computer Science. Springer Verlag, Heidelberg, 1989."},{"key":"2_CR22","unstructured":"M.A. Rabin. A simple method for undecidability proofs and some applications. In Y. Bar Hillel, editor, Logic, Methodology and Philosophy of Science II, Studies in Logic, pages 58\u201368. North Holland, 1965."},{"key":"2_CR23","volume-title":"volume 126 of Teubner-Texte zur Mathematik","author":"B. Thalheim","year":"1991","unstructured":"B. Thalheim. Dependencies in Relational Databses, volume 126 of Teubner-Texte zur Mathematik. B.G. Teubner Verlagsgesellschaft, Leipzig, 1991."},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01556354","volume":"7","author":"B. Thalheim","year":"1993","unstructured":"B. Thalheim. Foundation of entity-relationship modeling. Annals of Mathematics and Artificial Intelligence, 7:197\u2013256, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR25","unstructured":"B. Thalheim. A survey on database constraints. Reine Informatik I-8\/1994, Fakult\u00c4t f\u00fcr Mathematik, Naturwissenschaften und Informatik, 1994."},{"key":"2_CR26","unstructured":"J.D. Ullman. Principles of Database Systems. Principles of Computer Science Series. Computer Science Press, 2nd edition, 1982."},{"key":"2_CR27","unstructured":"M. Vardi. Fundamentals of dependency theory. In Trends in Theoretical Computer Science, pages 171\u2013224. Computer Science Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T08:58:13Z","timestamp":1586681893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617846","9783540706854"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0019911","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}