{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:42Z","timestamp":1725663162658},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:19:06Z","timestamp":1330201146000},"page":"322-334","source":"Crossref","is-referenced-by-count":2,"title":["Model theory of deductive databases"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Volger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.2307\/2271731","volume":"38","author":"P.D. Bacsich","year":"1973","unstructured":"Bacsich, P.D.: Defining algebraic elements, J.Symb.Logic. 38(1973), 93\u2013101","journal-title":"J.Symb.Logic."},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"471","DOI":"10.4153\/CMB-1974-083-6","volume":"17","author":"P.D. Bacsich","year":"1974","unstructured":"Bacsich, P.D.: Model theory of epimorphisms, Canad.Math.Bull. 17(1974), 471\u2013477","journal-title":"Canad.Math.Bull."},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"433","DOI":"10.2307\/2272886","volume":"39","author":"P.D. Bacsich","year":"1974","unstructured":"Bacsich. P.D.,Rowlands-Hughes, D.: Syntactic characterisations of amalgamations, convexity and related properties, J.Symb.Logic 39(1974), 433\u2013451","journal-title":"J.Symb.Logic"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Boasu","year":"1985","unstructured":"Boasu, G.,Siegel, P.: Saturation, nonmonotonic reasoning and the closed world assumption, Artificial Intelligence 25(1985), 13\u201363","journal-title":"Artificial Intelligence"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Cherlin,G.L., Volger,H.: Convexity properties and algebraic closure operators, in: Models and Sets, Proc.Logic Colloq.'83, Aachen, part 1, Lecture Notes in Math. 1103, Springer Verlag 1984, 113\u2013146","DOI":"10.1007\/BFb0099384"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Clark,K.L.: Negation as failure, in: Logic and Databases, (Gallaire,H.,Minker,J.,eds.), Plenum Press 1978, 293\u2013324","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire, H.,Minker, J.,Nicolas, J.-M.: Logic and databases: a deductive approach, Computing Surveys 16(1984), 153\u2013185","journal-title":"Computing Surveys"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.4064\/fm-89-2-155-171","volume":"89","author":"D.W. Kueker","year":"1975","unstructured":"Kueker, D.W.: Core structures for theories, Fund.Math. 89(1975), 155\u2013171","journal-title":"Fund.Math."},{"key":"23_CR9","first-page":"266","volume":"34","author":"J.A. Makowsky","year":"1987","unstructured":"Makowsky, J.A.: Why Horn formulas matter in computer science: initial structures and generic examples, J.C.S.S. 34(1987), 266\u2013292","journal-title":"J.C.S.S."},{"key":"23_CR10","unstructured":"Malcev,A.I.: Algebraic Systems, Akademie Verlag, Berlin 1973, english translation from russian original, Nauka, Moskwa 1968"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Minker,J.: On indefinite databases and the closed world assumption, Proc.6th Conf. on Automated Deduction,Lecture Notes in Comp.Sci. 138, Springer Verlag 1982, 292\u2013308","DOI":"10.1007\/BFb0000066"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1305\/ndjfl\/1093888212","volume":"19","author":"C. Pinter","year":"1978","unstructured":"Pinter, C.: A note on the decomposition of theories with respect to amalgamation, convexity and related properties, Notre Dame J.Formal Logic 19(1978),115\u2013118","journal-title":"Notre Dame J.Formal Logic"},{"key":"23_CR13","unstructured":"Relter,R.: On closed world databases, in: Logic and Databases, (Gallaire, H.,Minker,J.,eds.), Plenum Press 1978, 55\u201376"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01173845","volume":"166","author":"H. Volger","year":"1979","unstructured":"Volger, H.: Preservation theorems for limits of structures and global sections of sheaves of structures, Math.Z. 166(1979), 27\u201353","journal-title":"Math.Z."},{"key":"23_CR15","unstructured":"Volger,H.: On theories which admit initial models, MIP 8708, Univ.Passau 1987, 12 pages"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A.,Henschen, L.J.: Deduction in non-Horn databases, J. Automated Reasoning 1(1985), 141\u2013160","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:36Z","timestamp":1619571276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}