Preview
Unable to display preview. Download preview PDF.
References
Bacsich, P.D.: Defining algebraic elements, J.Symb.Logic. 38(1973), 93–101
Bacsich, P.D.: Model theory of epimorphisms, Canad.Math.Bull. 17(1974), 471–477
Bacsich. P.D.,Rowlands-Hughes, D.: Syntactic characterisations of amalgamations, convexity and related properties, J.Symb.Logic 39(1974), 433–451
Boasu, G.,Siegel, P.: Saturation, nonmonotonic reasoning and the closed world assumption, Artificial Intelligence 25(1985), 13–63
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–146
Clark,K.L.: Negation as failure, in: Logic and Databases, (Gallaire,H.,Minker,J.,eds.), Plenum Press 1978, 293–324
Gallaire, H.,Minker, J.,Nicolas, J.-M.: Logic and databases: a deductive approach, Computing Surveys 16(1984), 153–185
Kueker, D.W.: Core structures for theories, Fund.Math. 89(1975), 155–171
Makowsky, J.A.: Why Horn formulas matter in computer science: initial structures and generic examples, J.C.S.S. 34(1987), 266–292
Malcev,A.I.: Algebraic Systems, Akademie Verlag, Berlin 1973, english translation from russian original, Nauka, Moskwa 1968
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–308
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–118
Relter,R.: On closed world databases, in: Logic and Databases, (Gallaire, H.,Minker,J.,eds.), Plenum Press 1978, 55–76
Volger, H.: Preservation theorems for limits of structures and global sections of sheaves of structures, Math.Z. 166(1979), 27–53
Volger,H.: On theories which admit initial models, MIP 8708, Univ.Passau 1987, 12 pages
Yahya, A.,Henschen, L.J.: Deduction in non-Horn databases, J. Automated Reasoning 1(1985), 141–160
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag
About this paper
Cite this paper
Volger, H. (1988). Model theory of deductive databases. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '87. CSL 1987. Lecture Notes in Computer Science, vol 329. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50241-6_47
Download citation
DOI: https://doi.org/10.1007/3-540-50241-6_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50241-8
Online ISBN: 978-3-540-45960-6
eBook Packages: Springer Book Archive