摘要:
A semantic description storing means stores semantic descriptions representative of meanings of respective document components. A semantic description designating means designates one of the semantic descriptions stored in the semantic description storing means. A schema storage means stores, in a correlated manner, a schema and the designated semantic description of a document component of the schema. A document retrieving means performs retrieval on a database by using the semantic description thus stored in the schema storage means. A retrieval formula conversion means causes the schema retrieving means to call the correspondence between the semantic description and the schema from the schema storage means, receives a first retrieval formula relating to a first schema and directed to first retrieval, and converts the first retrieval formula to a second retrieval formula relating to a second schema and directed to second retrieval that is equivalent to the first retrieval.
摘要:
An information processing system, which includes: an information distribution server; a client apparatus; and a plurality of service providing servers that provide service to a user of the client apparatus, and the information distribution server including: a user authentication information memory that stores user authentication information; a receiving section that receives authentication information from the plurality of service providing servers; and an authentication proxy information distributing section that distributes authentication proxy information prepared based on the user authentication information and the authentication information, and the client apparatus including: a user authentication section that carries out authentication of the user, and an authentication proxy section that, if the authentication is carried out by the user authentication section, executes a proxy authentication when the user accesses at least one of the plurality of service providing servers on the basis of the distributed authentication proxy information.
摘要:
A document editing apparatus edits document generic logical information in accordance with a set of restrictions. The document generic logical information defines a document generic logical structure. The restrictions are applied to the document generic logical information to ensure that any logical unit of a document having a logical structure consistent with document generic logical structure, can be extracted as a tree structure. The apparatus includes an editing device for editing the document generic logical information, and a judging device for judging whether the document generic logical information meets the restrictions.
摘要:
This invention provides a document database management system that reduces time to retrieve a structured document and improves precision of a result of the retrieving. Query input unit inputs a query including structural elements and a relationship between them. Document type retriever retrieves at least one document type that matches to the structural elements and the relationships between them included in the inputted query. Document type display displays the at least one retrieved document type on the screen of the display device. Document type input unit selects a document type from the at least one document type displayed on the screen. Document retriever retrieves a document satisfying the inputted query from prospective documents, each of which is created according to the document type inputted by the document type input unit.
摘要:
In a document database managing system for managing a structured document constructed of document constructive elements, a document retrieving object instructing apparatus is employed as a query editor. The document retrieving object instructing apparatus includes instructing means for instructing a condition related to the document constructive elements in the structured document; connection condition instructing means for instructing one of a parent-child relationship and also an ancestor-descendant relationship between the document constructive elements; and retrieving means for producing a retrieve condition based upon the instructions issued from the instructing means and the connection condition instructing means and for retrieving document data stored in a database in accordance with the retrieve condition.
摘要:
A computer readable recording medium storing a control program causing a computer arranged on a same terminal as a resource to execute a process for authentication performed at the time of accessing to the resource, the process including: determining whether or not a request from a browser to the resource presents information indicating that the authentication has been done; verifying whether or not the authentication has been done, when it is determined that the request does not present information indicating that the authentication has been done; issuing to the browser the information indicating that the authentication has been done, when it is verified that the authentication has been done; and relaying data communication between the browser and the resource, when it is determined that the request presents the information indicating that the authentication has been done.
摘要:
An electronic ticket system for virtually preventing forgery, copying and other unauthorized uses of electronic tickets; for proving to a third party the contents of an electronic ticket contested between a user and an issuing party; and for protecting users' anonymity upon ticket use. The system comprises a ticket creating and issuing device, a ticket proving device, and a ticket verification device. A ticket creating unit in the ticket creating and issuing device creates specifications of a ticket representing a predetermined service or product in response to a ticket creating request. A ticket issuing unit of the ticket creating and issuing device, in reply to a ticket issuing request, issues the corresponding ticket using as input a ticket identifier, a proving identifier, a ticket specification identifier, and ticket added information. The ticket proving device gets a ticket issued by the ticket issuing unit and communicates with the ticket verification device to prove the possession of the ticket. The ticket verification device has a ticket verifying procedure and, on getting the ticket identifier created by the ticket creating unit, communicates with the ticket proving device to verify the ticket.
摘要:
Authentication is performed at a high speed even in a device with small CPU power and memory. A challenge information computation unit of a verification instrument generates a random number and transfers the random number and identification information together as challenge information to a proving instrument. A unidirectional function computation unit of a proving instrument applies a unidirectional function to private information stored in a private information memory unit and right identification information of challenge information. A response information computation unit performs operations on a computation result of the unidirectional function and the proof support information to obtain proof information. A unidirectional function computation part applies a unidirectional function to the proof information and a random number contained in the challenge information to obtain response information and returns it to the verification unit. A unidirectional function computation unit of the verification instrument applies a unidirectional function to the proof information and a random number of the challenge information. A response information verification instrument compares the application result of the unidirectional function with the response information and acknowledges use qualifications if and only if they coincide.
摘要:
A method and an apparatus for processing documents expressed in terms of the graph based on the graph theory. Grouped constituent description series as the contents of a predescribed document are stored in a constituent description series retaining section. A first identifier acquisition section acquires an identifier series corresponding to the constituent satisfying a designated first condition from the grouped constituent description series that are retained in the constituent description series retaining section. The acquired identifier series is stored in an identifier series retaining section. A second identifier acquisition section acquires the identifier series satisfying a designated second condition from the identifier series that are retained in the identifier series retaining section. The acquired identifier series is stored in the identifier series retaining section in a state that it can be distinguished from other constituent description series already retained therein. A constituent description series acquisition section acquires a constituent description series corresponding to the identifier series that is acquired from the identifier series retaining section by the second identifier acquisition section, from the specified constituent description series that are retained in the constituent description series retaining section.
摘要:
A document database management apparatus is disclosed for managing a database composed of a plurality of documents. The document database management apparatus includes a generating regulation management section for holding a regulation to generate a logical structure of a document in the database from a logical structure of the document to be stored in the database, a document generating section for generating a document in the database from the document to be stored in accordance with the regulation stored in the generating regulation management section, and a document management section for storing a document generated by the document generation section in the database.