Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Storing semistructured data with STORED
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
XMill: an efficient compressor for XML data
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Symbolic Model Checking
Optimizing Regular Path Expressions Using Graph Schemas
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Weaving Relations for Cache Performance
Proceedings of the 27th International Conference on Very Large Data Bases
Improving XML Processing Using Adapted Data Structures
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Query Evaluation on Compressed Trees (Extended Abstract)
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
XGRIND: A Query-Friendly XML Compressor
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Efficient algorithms for processing XPath queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Tree pattern aggregation for scalable XML data dissemination
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Vectorizing and Querying Large XML Repositories
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Supporting efficient query processing on compressed XML files
Proceedings of the 2005 ACM symposium on Applied computing
Closure properties and decision problems of dag automata
Information Processing Letters
Comparative Analysis of XML Compression Technologies
World Wide Web
MTree: an XML XPath graph index
Proceedings of the 2006 ACM symposium on Applied computing
Structural characterizations of the semantics of XPath as navigation tool on a document
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity of tree automata and XPath on grammar-compressed trees
Theoretical Computer Science - Implementation and application of automata
XQueC: A query-conscious compressed XML database
ACM Transactions on Internet Technology (TOIT)
Querying and maintaining a compact XML storage
Proceedings of the 16th international conference on World Wide Web
Dynamic access-control policies on XML encrypted data
ACM Transactions on Information and System Security (TISSEC)
The Effects of XML Compression on SOAP Performance
World Wide Web
Client-based access control management for XML documents
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
FluXQuery: an optimizing XQuery processor for streaming XML data
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Bulk data in main memory-based XQuery evaluation
XIME-P '07 Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives
Efficient memory representation of XML document trees
Information Systems
Quantity comparison of concurrency control methods for XML database systems based on DOM API
International Journal of Web Engineering and Technology
XML Storage and Processing on Mobile Devices
WISE '08 Proceedings of the 9th international conference on Web Information Systems Engineering
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Parameter Reduction in Grammar-Compressed Trees
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Efficient XML usage within wireless sensor networks
Proceedings of the 4th Annual International Conference on Wireless Internet
Compacting XML Structures Using a Dynamic Labeling Scheme
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
How to edit gigabyte XML files on a mobile phone with XAS, RefTrees, and RAXS
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Compression of Probabilistic XML Documents
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Optimizing updates of recursive XML views of relations
The VLDB Journal — The International Journal on Very Large Data Bases
Closure properties and decision problems of dag automata
Information Processing Letters
Connecting resource-constrained robots to knowledge-based systems
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
An efficient index lattice for XML query evaluation
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Data sources selection for XML data sources
International Journal of Intelligent Information and Database Systems
Sharing large data collections between mobile peers
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
CSC: supporting queries on compressed cached XML
ADC '09 Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92
Predicate-based indexing for desktop search
The VLDB Journal — The International Journal on Very Large Data Bases
Searchable compression of office documents by XML schema subtraction
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
Optimizing incremental maintenance of minimal bisimulation of cyclic graphs
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Updates on grammar-compressed XML data
BNCOD'11 Proceedings of the 28th British national conference on Advances in databases
Automata for positive core XPath queries on compressed documents
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Document decomposition for XML compression: a heuristic approach
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
An efficient co-operative framework for multi-query processing over compressed XML data
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Efficient memory representation of XML documents
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
An efficient approach to support querying secure outsourced XML information
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Dictionary compression and information source correction
LSSC'09 Proceedings of the 7th international conference on Large-Scale Scientific Computing
A resource efficient hybrid data structure for twig queries
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
DTD-driven structure preserving XML compression
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
Tree automata and XPath on compressed trees
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Query preserving graph compression
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Efficient external-memory bisimulation on DAGs
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Parameter reduction and automata evaluation for grammar-compressed trees
Journal of Computer and System Sciences
Entity Notation: enabling knowledge representations for resource-constrained sensors
Personal and Ubiquitous Computing
Fast answering of XPath query workloads on web collections
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
Data management for mobile Ajax web 2.0 applications
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Proceedings of the 16th International Conference on Database Theory
Regularities and dynamics in bisimulation reductions of big graphs
First International Workshop on Graph Data Management Experiences and Systems
External memory K-bisimulation reduction of big graphs
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Tree compression with top trees
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Fast multi-update operations on compressed XML data
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Bisimulation reduction of big graphs on mapreduce
BNCOD'13 Proceedings of the 29th British National conference on Big Data
XML tree structure compression using RePair
Information Systems
Hi-index | 0.00 |
Central to any XML query language is a path language such as XPath which operates on the tree structure of the XML document. We demonstrate in this paper that the tree structure can be effectively compressed and manipulated using techniques derived from symbolic model checking. Specifically, we show first that succinct representations of document tree structures based on sharing subtrees are highly effective. Second, we show that compressed structures can be queried directly and efficiently through a process of manipulating selections of nodes and partial decompression. We study both the theoretical and experimental properties of this technique and provide algorithms for querying our compressed instances using node-selecting path query languages such as XPath. We believe the ability to store and manipulate large portions of the structure of very large XML documents in main memory is crucial to the development of efficient, scalable native XML databases and query engines.