| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Deductive Power in a Relational Database Query Language | .... 4 |
| 2.1 | Basic Approaches | .... 4 |
| 2.2 | Basic Concepts | .... 5 |
| 2.3 | Relationally Complete Query Language | .... 5 |
| 2.4 | Least Fixed Point operator | .... 7 |
| 3 | Interfece between PROLOG and RDBMS | .... 8 |
| 3.1 | replace PROLOG Program | .... 8 |
| 3.2 | Examples | .... 10 |
| 4 | Conclusion | .... 14 |
| 5 | Acknowledgement | .... 15 |
| 6 | References | .... 15 |
| 7 | Appendix A | .... 18 |
| 7.1 | Appendix B | .... 19 |
| 7.2 | Appendix C | .... 22 |
| End | .... 23 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports