Introduction to algorithms
Incremental recursive descent parsing
Computer Languages
Complexity models for incremental computation
Theoretical Computer Science - Special issue on dynamic and on-line algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Space-bounded FOIES (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dyn-FO: a parallel, dynamic complexity class
Journal of Computer and System Sciences - Special issue on principles of database systems
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
One-unambiguous regular languages
Information and Computation
Efficient and flexible incremental parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Augmenting Parsers to Support Incrementality
Journal of the ACM (JACM)
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Database Systems: The Complete Book
Database Systems: The Complete Book
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Schemas for Integration and Translation of Structured and Semi-structured Data
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Complete Problems for Dynamic Complexity Classes
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Reusing Batch Parsers as Incremental Parsers
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
A Simple and Efficient Incremental LL(1) parsing
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
On the Parallel Complexity of Tree Automata
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Storing and querying XML data using denormalized relational databases
The VLDB Journal — The International Journal 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
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Journal of Computer and System Sciences
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
Efficient Revalidation of XML Documents
IEEE Transactions on Knowledge and Data Engineering
The XML Tree Model - toward an XML conceptual schema reversed from XML Schema Definition
Data & Knowledge Engineering
Semantic validation for XML updates
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Distributed XML processing: Theory and applications
Journal of Parallel and Distributed Computing
Typechecking top-down XML transformations: Fixed input or output schemas
Information and Computation
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Proceedings of the 12th International Conference on Database Theory
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
The view update problem for XML
Proceedings of the 2010 EDBT/ICDT Workshops
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
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)
Algebraic incremental maintenance of XML views
Proceedings of the 14th International Conference on Extending Database Technology
Efficient evaluation for a temporal logic on changing XML documents
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences
Context schema evolution in context-aware data management
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Incremental evaluation of tabled prolog: beyond pure logic programs
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
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
Validity-sensitive querying of XML databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Efficient integrity checking over XML documents
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
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)
Algorithms for regular languages that use algebra
ACM SIGMOD Record
XML schema evolution: incremental validation and efficient document adaptation
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
Deciding definability by deterministic regular expressions
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Validating XML documents in the streaming model with external memory
ACM Transactions on Database Systems (TODS) - Invited papers issue
Algebraic incremental maintenance of XML views
ACM Transactions on Database Systems (TODS)
SVMAX: a system for secure and valid manipulation of XML data
Proceedings of the 17th International Database Engineering & Applications Symposium
Hi-index | 0.00 |
We investigate the incremental validation of XML documents with respect to DTDs, specialized DTDs, and XML Schemas, under updates consisting of element tag renamings, insertions, and deletions. DTDs are modeled as extended context-free grammars. "Specialized DTDs" allow the decoupling of element types from element tags. XML Schemas are abstracted as specialized DTDs with limitations on the type assignment. For DTDs and XML Schemas, we exhibit an O(m log n) incremental validation algorithm using an auxiliary structure of size O(n), where n is the size of the document and m the number of updates. The algorithm does not handle the incremental validation of XML Schema wrt renaming of internal nodes, which is handled by the specialized DTDs incremental validation algorithm. For specialized DTDs, we provide an O(m log2 n) incremental algorithm, again using an auxiliary structure of size O(n). This is a significant improvement over brute-force re-validation from scratch.We exhibit a restricted class of DTDs called local that arise commonly in practice and for which incremental validation can be done in practically constant time by maintaining only a list of counters. We present implementations of both general incremental validation and local validation on an XML database built on top of a relational database.Our experimentation includes a study of the applicability of local validation in practice, results on the calibration of parameters of the auxiliary data structure, and results on the performance comparison between the general incremental validation technique, the local validation technique, and brute-force validation from scratch.