Sciweavers

589 search results - page 17 / 118
» A Language for Multi-dimensional Updates
Sort
View
EPIA
2009
Springer
14 years 2 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
EDBTW
2010
Springer
14 years 2 months ago
Updating probabilistic XML
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
Evgeny Kharlamov, Werner Nutt, Pierre Senellart
PVLDB
2010
105views more  PVLDB 2010»
13 years 6 months ago
Destabilizers and Independence of XML Updates
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
Michael Benedikt, James Cheney
DBPL
2003
Springer
73views Database» more  DBPL 2003»
14 years 1 months ago
Updates and Incremental Validation of XML Documents
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
Béatrice Bouchou, Mirian Halfeld Ferrari Al...
DEXAW
2005
IEEE
117views Database» more  DEXAW 2005»
14 years 1 months ago
Incorporating Active Rules Processing into Update Execution in XML Database Systems
We address the problem of efficient support for active rules in XML database systems. We describe a general form of active rules for XML based on XQuery and a previously defined...
Maria Rekouts