Sciweavers

2409 search results - page 377 / 482
» On Extended Regular Expressions
Sort
View
CADE
2007
Springer
16 years 4 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
VLDB
2005
ACM
123views Database» more  VLDB 2005»
16 years 4 months ago
Querying XML streams
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
Vanja Josifovski, Marcus Fontoura, Attila Barta
VLDB
2007
ACM
108views Database» more  VLDB 2007»
16 years 4 months ago
Update Exchange with Mappings and Provenance
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
Todd J. Green, Grigoris Karvounarakis, Zachary G. ...
EDBT
2006
ACM
118views Database» more  EDBT 2006»
16 years 4 months ago
Multi-dimensional Aggregation for Temporal Data
Business Intelligence solutions, encompassing technologies such as multi-dimensional data modeling and aggregate query processing, are being applied increasingly to non-traditional...
Christian S. Jensen, Johann Gamper, Michael H. B&o...
EDBT
2008
ACM
178views Database» more  EDBT 2008»
16 years 4 months ago
An inductive database and query language in the relational model
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
Lothar Richter, Jörg Wicker, Kristina Kessler...