Hyperset Approach to Semi-structured Databases Computation of Bisimulation in the Distributed Case

摘要

We will briefly describe the recently implemented hyperset approach to semi-structured or Web-like and possibly distributed databases with the query system available online at http://www.csc. Liv.ac.uk/～molyneux/t/. As this approach is crucially based on the bisimulation relation, the main stress in this paper is on its computation in the distributed case by using a so called bisimulation engine and local approximations of the global bisimulation relation.