Hyperset Approach to Semi-structured Databases

Authors:
Richard Molyneux;Vladimir Sazonov
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool;Department of Computer Science, University of Liverpool, Liverpool
Venue:
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Year:
2009

Citing 12
Cited 0

An implementation of an efficient algorithm for bisimulation equivalence

Science of Computer Programming
Hereditarily-finite sets, data bases and polynomial-time computability

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Vicious circles: on the mathematics of non-wellfounded phenomena

Vicious circles: on the mathematics of non-wellfounded phenomena
&Dgr;-languages for sets and LOGSPACE computable graph transformers

NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
Linear ordering on graphs, anti-founded sets and polynomial time computability

Theoretical Computer Science
Data on the Web: from relations to semistructured data and XML

Data on the Web: from relations to semistructured data and XML
Δ: Set-theoretic query language capturing LOGSPACE

Annals of Mathematics and Artificial Intelligence
Techniques for Decidability and Undecidability of Bisimilarity

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bounded Hyperset Theory and Web-like Data Bases

KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
UnQL: a query language and algebra for semistructured data based on structural recursion

The VLDB Journal — The International Journal on Very Large Data Bases
An efficient algorithm for computing bisimulation equivalence

Theoretical Computer Science
Logical definability and query languages over ranked and unranked trees

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.