PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
Recursive query processing: the power of logic
Theoretical Computer Science
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Deriving incremental production rules for deductive data
Information Systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compact labeling schemes for ancestor queries
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Evaluating Recursive Queries in Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
Processing XML Streams with Deterministic Automata
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Monadic Queries over Tree-Structured Data
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Incremental Maintenance for Materialized Views over Semistructured Data
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Aurora: a new model and architecture for data stream management
The VLDB Journal — The International Journal on Very Large Data Bases
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Lazy query evaluation for Active XML
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
ORDPATHs: insert-friendly XML node labels
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Inventory Decisions in Dell's Supply Chain
Interfaces
StreamGlobe: adaptive query processing and optimization in streaming P2P environments
DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
Incremental maintenance for materialized XPath/XSLT views
WWW '05 Proceedings of the 14th international conference on World Wide Web
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incremental maintenance of path-expression views
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
StreamGlobe: processing and sharing data streams in grid-based P2P infrastructures
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Provenance management in curated databases
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
User-friendly functional programming for web mashups
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
The BEA/XQRL streaming XQuery processor
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
FluXQuery: an optimizing XQuery processor for streaming XML data
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
Distributed monitoring of peer to peer systems
Proceedings of the 9th annual ACM international workshop on Web information and data management
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
OptimAX: efficient support for data-intensive mash-ups
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Distributed Monitoring of Peer-to-Peer Systems
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
A framework for distributed XML data management
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Satisfiability and relevance for queries over active documents
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
AXART: enabling collaborative work with AXML artifacts
Proceedings of the VLDB Endowment
Algebraic incremental maintenance of XML views
Proceedings of the 14th International Conference on Extending Database Technology
Incremental maintenance of materialized XML views
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Revisiting answering tree pattern queries using views
ACM Transactions on Database Systems (TODS)
Algebraic incremental maintenance of XML views
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when monitoring distributed autonomous systems. Our work is in this challenging context that has generated recently a lot of attention; see Web 2.0. We introduce the axlog formal model for capturing such interactions and show how this model can be supported efficiently. The central component is the axlog widget defined by one tree-pattern query or more, over an active document (in the Active XML style) that includes some input streams of updates. A widget generates a stream of updates for each query, the updates that are needed to maintain the view corresponding to the query. We exploit an array of known technologies: datalog optimization techniques such as Differential or MagicSet, constraint query languages, and efficient XML filtering (YFilter). The novel optimization technique we propose is based on fundamental new notions: a relevance (different than that of MagicSet), satisfiability and provenance for active documents. We briefly discuss an implementation of an axlog engine, an application that we used to test the approach, and results of experiments.