论文信息 - Model Theory of Deductive Databases - 字舞流文

Model Theory of Deductive Databases

Hugo Volger | H. Volger

[1] Jack Minker,et al. Logic and Databases: A Deductive Approach , 1984, CSUR.

[2] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.

[3] David W. Kueker,et al. Core structures for theories , 1975 .

[4] Pierre Siegel,et al. Saturation, Nonmonotonic Reasoning and the Closed-World Assumption , 1985, Artif. Intell..

[5] Johann A. Makowsky,et al. Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples , 1987, J. Comput. Syst. Sci..

[6] Paul D. Bacsich,et al. Syntactic characterisations of amalgamation, convexity and related properties , 1974, Journal of Symbolic Logic.

[7] Hugo Volger,et al. Preservation theorems for limits of structures and global sections of sheaves of structures , 1979 .

[8] Charles Pinter. A note on the decomposition of theories with respect to amalgamation, convexity, and related properties , 1978, Notre Dame J. Formal Log..

[9] G. Cherlin,et al. Convexity properties and algebraic closure operators , 1984 .

[10] Paul D. Bacsich,et al. Defining algebraic elements , 1973, Journal of Symbolic Logic.

[11] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.