Three partition refinement algorithms
SIAM Journal on Computing
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
G-Log: a deductive language for a graph-based data model
G-Log: a deductive language for a graph-based data model
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A unifying view of abstract domain design
ACM Computing Surveys (CSUR)
A query language for a Web-site management system
ACM SIGMOD Record
Lore: a database management system for semistructured data
ACM SIGMOD Record
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
WWW '99 Proceedings of the eighth international conference on World Wide Web
XML-GL: a graphical language for querying and restructuring XML documents
WWW '99 Proceedings of the eighth international conference on World Wide Web
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
DIS '96 Proceedings of the fourth international conference on on Parallel and distributed information systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A Graph-Oriented Object Database Model
IEEE Transactions on Knowledge and Data Engineering
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
A Schema-Based Approach to Modeling and Querying WWW Data
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
WebOQL: Restructuring Documents, Databases, and Webs
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Model-Checking Based Data Retrieval
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Bounded Hyperset Theory and Web-like Data Bases
Bounded Hyperset Theory and Web-like Data Bases
Model-Checking Based Data Retrieval
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Specifying temporal data models for semistructured data by a constraint-based approach
Proceedings of the 2004 ACM symposium on Applied computing
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying model-checking to solve queries on semistructured data
Computer Languages, Systems and Structures
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Computational Logic (TOCL)
Summarizing XML data by means of association rules
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Hi-index | 5.25 |
The amount and variety of data available electronically have dramatically increased in the last decade; however, data and documents are stored in different ways and do not usually show their internal structure. In order to take full advantage of the topological structure of digital documents, and particularly web sites, their hierarchical organization should be exploited by introducing a notion of query similar to the one used in database systems. A good approach, in that respect, is the one provided by graphical query languages, originally designed to model object bases and later proposed for semistructured data, like G-Log. The aim of this paper is to provide suitable graph-based semantics to this language, supporting both data structure variability and topological similarities between queries and document structures. A suite of operational semantics based on the notion of bisimulation is introduced both at the concrete level (instances) and at the abstract level (schemata), giving rise to a semantic framework that benefits from the cross-fertilization of tools originally designed in quite different research areas (databases, concurrency, logics, static analysis).