Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor
67,86 €
The primary focus of the work presented is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information; as a result, query execution can be reduced to searching the database for subgraphs that are similar to the given query graph and thus can be supported through bisimualtion.
Jetzt bei Ebay:
