Sciweavers

1482 search results - page 250 / 297
» An Algebra for XML Query
Sort
View
VLDB
1998
ACM
180views Database» more  VLDB 1998»
14 years 1 months ago
nD-SQL: A Multi-Dimensional Language for Interoperability and OLAP
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
Frédéric Gingras, Laks V. S. Lakshma...
JMLC
1997
Springer
14 years 1 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
13 years 10 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
CORR
2006
Springer
125views Education» more  CORR 2006»
13 years 9 months ago
10^(10^6) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
Lyublena Antova, Christoph Koch, Dan Olteanu
TPLP
2002
90views more  TPLP 2002»
13 years 8 months ago
Properties of input-consuming derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
Annalisa Bossi, Sandro Etalle, Sabina Rossi