On recursive axioms in deductive databases
暂无分享，去创建一个
[1] Stuart C. Shapiro,et al. Inference with Recursive Rules , 1980, AAAI.
[2] Lawrence J. Henschen,et al. Performing Inferences over Recursive Data Bases , 1980, AAAI.
[3] Ivan Kramosil,et al. A Note on Deduction Rules with Negative Premises , 1975, IJCAI.
[4] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[5] Jean-Marie Nicolas,et al. Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.
[6] Chin-Liang Chang. DEDUCE 2: Further Investigations of Deduction in Relational Data Bases , 1977, Logic and Data Bases.
[7] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.
[8] Michael Stonebraker,et al. Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.
[9] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[10] Raymond Reiter,et al. Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.
[11] Chin-Liang Chang. On Evaluation of Queries Containing Derived Relations in a Relational Data Base , 1979, Advances in Data Base Theory.
[12] Michael A. Harrison,et al. Introduction to formal language theory , 1978 .