Sciweavers

2728 search results - page 331 / 546
» The EGTV Query Language
Sort
View
ICLP
2007
Springer
16 years 23 days ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman
ICSM
2005
IEEE
16 years 6 days ago
IRiSS - A Source Code Exploration Tool
IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as a...
Denys Poshyvanyk, Andrian Marcus, Yubo Dong, Andre...
VLDB
2004
ACM
125views Database» more  VLDB 2004»
15 years 12 months ago
From XML View Updates to Relational View Updates: old solutions to a new problem
This paper addresses the question of updating relational databases through XML views. Using query trees to capture the notions of selection, projection, nesting, grouping, and het...
Vanessa P. Braganholo, Susan B. Davidson, Carlos A...
ICDT
2003
ACM
126views Database» more  ICDT 2003»
15 years 11 months ago
Typechecking Top-Down Uniform Unranked Tree Transducers
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
Wim Martens, Frank Neven
WEBDB
2010
Springer
167views Database» more  WEBDB 2010»
15 years 11 months ago
Tree patterns with Full Text Search
Tree patterns with full text search form the core of both XQuery Full Text and the NEXI query language. On such queries, users expect a relevance-ranked list of XML elements as an...
Maria-Hendrike Peetz, Maarten Marx