| Presentation | 2002/5/10 Completeness and Soundness of Declarative Tree Manipulation Mechanism Miyuki MURATA, Tetsuro KAKESHITA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The schema of self reference object, such as list, tree and graph, is cyclic. Number of declarative languages, such as OQL and XML-QL, are proposed to retrieve complex objects. However most of them cannot treat self reference objects. Moreover declarative manipulation for the retrieved self reference object is seldom investigated. In this paper we propose the view function which provides declarative retrieval and manipulation mechanism for tree. The view function is defined using domain variables and selection conditions. A domain variable matches to a certain component of the tree structure, such as node, edge and subtree. A selection condition is used either to retrieve target tree or to specify manipulation to the target tree. We also define the notion of manipulation completeness and soundness. And we prove that the manipulation using the view function is complete and sound. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Database / Query language / Declarative manipulation / Tree structure / Completeness / Soundness |
| Paper # | DE2002-5 |
| Date of Issue |
| Conference Information | |
| Committee | DE |
|---|---|
| Conference Date | 2002/5/10(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Data Engineering (DE) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Completeness and Soundness of Declarative Tree Manipulation Mechanism |
| Sub Title (in English) | |
| Keyword(1) | Database |
| Keyword(2) | Query language |
| Keyword(3) | Declarative manipulation |
| Keyword(4) | Tree structure |
| Keyword(5) | Completeness |
| Keyword(6) | Soundness |
| 1st Author's Name | Miyuki MURATA |
| 1st Author's Affiliation | Yatsushrio National College of Technology() |
| 2nd Author's Name | Tetsuro KAKESHITA |
| 2nd Author's Affiliation | Saga University |
| Date | 2002/5/10 |
| Paper # | DE2002-5 |
| Volume (vol) | vol.102 |
| Number (no) | 64 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |