| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Overview of the System | .... 2 |
| 3 | Query Language and Interface | .... 3 |
| 4 | Query processing in PHI | .... 4 |
| 4.1 | Query Transformation | .... 4 |
| 4.2 | HCT/P (HCT/P by Partial Evalution) | .... 5 |
| 4.3 | HCT/S (HCT by Substitution) | .... 5 |
| 4.4 | HCT/R (HCT by restrictor) | .... 5 |
| 5 | Evalution | .... 7 |
| 6 | Conclusion | .... 8 |
| Reference | .... 8 | |
| End | .... 9 |
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports