Sciweavers

4397 search results - page 148 / 880
» Relational Algebra Operations
Sort
View
104
Voted
FUIN
2010
93views more  FUIN 2010»
15 years 1 months ago
SAT as a Programming Environment for Linear Algebra
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
Marian Srebrny, Lidia Stepien
141
Voted
SIGMOD
2003
ACM
98views Database» more  SIGMOD 2003»
16 years 2 months ago
On Relational Support for XML Publishing: Beyond Sorting and Tagging
In this paper, we study whether the need for efficient XML publishing brings any new requirements for relational query engines, or if sorting query results in the relational engin...
Surajit Chaudhuri, Raghav Kaushik, Jeffrey F. Naug...
111
Voted
ENTCS
2007
82views more  ENTCS 2007»
15 years 2 months ago
Syntactic Logical Relations for Polymorphic and Recursive Types
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
Karl Crary, Robert Harper
122
Voted
SSDBM
1998
IEEE
141views Database» more  SSDBM 1998»
15 years 6 months ago
Modeling Multidimensional Databases, Cubes and Cube Operations
On-Line Analytical Processing (OLAP) is a trend in database technology, which was recently introduced and has attracted the interest of a lot of research work. OLAP is based on th...
Panos Vassiliadis
131
Voted
DEON
2010
Springer
15 years 4 months ago
A Dyadic Operator for the Gradation of Desirability
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
Guillaume Piolle