Deductive databases and logic programming
Subrata Kumar Das · Addison-Wesley eBooks · 1992
Part I: Introduction History and Overview Part II: Background Material Mathematical Preliminaries Mathematical Logic Resolution Theorem Proving Part III: Logic Programming Logic Programming Definite Programs Normal Programs Disjunctive Programs and General Programs Prolog Part IV: Deductive Databases Deductive Databases Query Evaluation Integrity Constraints Constraint Checking Methods A Prototype Deductive Database System Parallel Deductive Databases Formalizing Aggregate and Transitional Constraints Part V: Conclusion Extensions and Additional References Appendix A: Listing of the Prototype References Symbol Index Subject Index