Sciweavers

878 search results - page 58 / 176
» Updatable XML Views
Sort
View
JAPLL
2010
124views more  JAPLL 2010»
14 years 10 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
ER
2007
Springer
88views Database» more  ER 2007»
15 years 6 months ago
Teaching a Schema Translator to Produce O/R Views
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
Peter Mork, Philip A. Bernstein, Sergey Melnik
DATESO
2007
103views Database» more  DATESO 2007»
15 years 1 months ago
Using BMH Algorithm to Solve Subset of XPath Queries
Boyer-Moore-Horspool (BMH) algorithm is commonly used to solve text searching problems. In this paper is used to solve the constraint subset of XPath queries offering effective alg...
David Toth
ICDE
2006
IEEE
169views Database» more  ICDE 2006»
16 years 1 months ago
Making Designer Schemas with Colors
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
Nuwee Wiwatwattana, H. V. Jagadish, Laks V. S. Lak...
AISM
2004
15 years 1 months ago
An Examination of the Security of Routing Protocol Updates
The exchange of routing protocol updates is used to ensure that routers using an Internal Gateway Protocol (IGP) in an Autonomous System (AS), or routers using an External Gateway...
G. Murphy