{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:04:01Z","timestamp":1725519841326},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885931"},{"type":"electronic","value":"9783540885948"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88594-8_9","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T09:36:43Z","timestamp":1224495403000},"page":"160-179","source":"Crossref","is-referenced-by-count":3,"title":["Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context"],"prefix":"10.1007","author":[{"given":"Stephen J.","family":"Hegner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Systems\u00a06, 557\u2013575 (1981)","journal-title":"ACM Trans. Database Systems"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Lechtenb\u00f6rger, J.: The impact of the constant complement approach towards view updating. In: Proceedings of the Twenty-Second ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, California, June 09-11, 2003, pp. 49\u201355 (2003)","DOI":"10.1145\/773153.773159"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026158013113","volume":"40","author":"S.J. Hegner","year":"2004","unstructured":"Hegner, S.J.: An order-based theory of updates for database views. Ann. Math. Art. Intell.\u00a040, 63\u2013125 (2004)","journal-title":"Ann. Math. Art. Intell."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Programming Languages and Systems\u00a029 (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-540-77684-0_10","volume-title":"Foundations of Information and Knowledge Systems","author":"S.J. Hegner","year":"2008","unstructured":"Hegner, S.J.: Information-optimal reflections of view updates on relational database schemata. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 112\u2013131. Springer, Heidelberg (2008)"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69956-6","volume-title":"The Structure of the Relational Database Model","author":"J. Paredaens","year":"1989","unstructured":"Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The Structure of the Relational Database Model. Springer, Heidelberg (1989)"},{"key":"9_CR7","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"9_CR8","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, San Francisco (1987)"},{"key":"9_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/319702.319730","volume":"7","author":"B.E. Jacobs","year":"1982","unstructured":"Jacobs, B.E., Aronson, A.R., Klug, A.C.: On interpretations of relational languages and solutions to the implied constraint problem. ACM Trans. Database Systems\u00a07, 291\u2013315 (1982)","journal-title":"ACM Trans. Database Systems"},{"key":"9_CR11","unstructured":"Herrlich, H., Strecker, G.E.: Category Theory. Allyn and Bacon (1973)"},{"key":"9_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"J.D. Monk","year":"1976","unstructured":"Monk, J.D.: Mathematical Logic. Springer, Heidelberg (1976)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"Fagin, R.: Horn clauses and database dependencies. J. Assoc. Comp. Mach.\u00a029, 952\u2013985 (1982)","journal-title":"J. Assoc. Comp. Mach."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn clauses. J. Logic Programming\u00a03, 267\u2013284 (1984)","journal-title":"J. Logic Programming"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theoret. Comput. Sci.\u00a0336, 89\u2013124 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. Assoc. Comp. Mach.\u00a031, 718\u2013741 (1984)","journal-title":"J. Assoc. Comp. Mach."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/S0022-0000(05)80021-2","volume":"48","author":"S.J. Hegner","year":"1994","unstructured":"Hegner, S.J.: Unique complements and decompositions of database schemata. J. Comput. System Sci.\u00a048, 9\u201357 (1994)","journal-title":"J. Comput. System Sci."},{"key":"9_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-Relationship Modeling","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-Relationship Modeling. Springer, Heidelberg (2000)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s10472-005-9013-y","volume":"46","author":"S.J. Hegner","year":"2006","unstructured":"Hegner, S.J.: The complexity of embedded axiomatization for a class of closed database views. Ann. Math. Art. Intell.\u00a046, 38\u201397 (2006)","journal-title":"Ann. Math. Art. Intell."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Fagin, R.: Inverting schema mappings. ACM Trans. Database Systems\u00a032 (2007)","DOI":"10.1145\/1292609.1292615"}],"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-540-88594-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T15:11:57Z","timestamp":1551625917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88594-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885931","9783540885948"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88594-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}