| 摘要 |
Structured data is stored into a structured data file, which is a text file. Index information is generated to speed up searching or updating of the structured data and stored into an index file, which is a binary file. When a general-purpose structured data processor on an external device side updated the content of the structured data file, a dedicated structured data processor detects that the structured data file has been updated and analyzes the updated structured data file. Subsequently, the dedicated structured data processor generates new index information relating to the structured data having the analyzed structured data file to update the index file using the new index information.
|
