Regular expressions into finite automata
Theoretical Computer Science
Dyn-FO (preliminary version): a parallel, dynamic complexity class
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity models for incremental computation
Theoretical Computer Science - Special issue on dynamic and on-line algorithms
Handbook of formal languages, vol. 1
One-unambiguous regular languages
Information and Computation
Materialized views: techniques, implementations, and applications
Materialized views: techniques, implementations, and applications
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incremental maintenance of recursive views using relational calculus/SQL
ACM SIGMOD Record
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Introduction to Circuit Complexity: A Uniform Approach
Introduction to Circuit Complexity: A Uniform Approach
Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Incremental Validation of XML Documents
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Query Decomposition and View Maintenance for Query Languages for Unstructured Data
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Typing and querying XML documents: some complexity bounds
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
WWW '03 Proceedings of the 12th international conference on World Wide Web
From XML Schema to Relations: A Cost-Based Approach to XML Storage
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Managing XML Data: An Abridged Overview
Computing in Science and Engineering
Checking potential validity of XML documents
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
IMAX: Incremental Maintenance of Schema-Based XML Statistics
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Designing information-preserving mapping schemes for XML
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Impact of XML schema evolution on valid documents
Proceedings of the 7th annual ACM international workshop on Web information and data management
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Journal of Computer and System Sciences
Efficient Revalidation of XML Documents
IEEE Transactions on Knowledge and Data Engineering
Weaving temporal and reliability aspects into a schema tapestry
Data & Knowledge Engineering
Semantic validation for XML updates
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Validating quicksand: Temporal schema versioning in τXSchema
Data & Knowledge Engineering
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Linear time membership in a class of regular expressions with interleaving and counting
Proceedings of the 17th ACM conference on Information and knowledge management
Fast and compact regular expression matching
Theoretical Computer Science
Proceedings of the 12th International Conference on Database Theory
Efficient inclusion for a class of XML types with interleaving and counting
Information Systems
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
EXup: an engine for the evolution of XML schemas and associated documents
Proceedings of the 2010 EDBT/ICDT Workshops
Incremental validation of string-based XML data in databases, file systems, and streams
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Extending XML triggers with path-granularity
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Efficient inclusion for a class of XML types with interleaving and counting
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Visibly pushdown transducers for approximate validation of streaming XML
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
XML: some papers in a haystack
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Efficient evaluation for a temporal logic on changing XML documents
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Context schema evolution in context-aware data management
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Consistency of temporal XML documents
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
Efficient incremental validation of XML documents after composite updates
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
Schema-mediated exchange of temporal XML data
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Foundations of XML based on logic and automata: a snapshot
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
The dynamic complexity of formal languages
ACM Transactions on Computational Logic (TOCL)
XML schema evolution: incremental validation and efficient document adaptation
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
Validating XML documents in the streaming model with external memory
ACM Transactions on Database Systems (TODS) - Invited papers issue
XTrigger: XML database trigger
Computer Science - Research and Development
Hi-index | 0.00 |
We discuss incremental validation of XML documentswith respect to DTDs and XML Schema definitions. We considerinsertions and deletions of subtrees, as opposed to leafnodes only, and we also consider the validation of ID andIDREF attributes. For arbitrary schemas, we give a worst-casen log n time and linear space algorithm, and showthat it often is far superior to revalidation from scratch. Wepresent two classes of schemas, which capture most real-lifeDTDs, and show that they admit a logarithmic timeincremental validation algorithm that, in many cases, requiresonly constant auxiliary space. We then discuss animplementation of these algorithms that is independent of,and can be customized for different storage mechanismsfor XML. Finally, we present extensive experimental resultsshowing that our approach is highly efficient and scalable.