Sciweavers

117 search results - page 2 / 24
» Relation Algebra Operations on Formal Contexts
Sort
View
PEPM
2010
ACM
14 years 1 months ago
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
Fritz Henglein
ICDE
1994
IEEE
103views Database» more  ICDE 1994»
13 years 9 months ago
A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
Paul W. P. J. Grefen, Rolf A. de By
JLP
2011
160views more  JLP 2011»
12 years 11 months ago
Axiomatizability of representable domain algebras
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
Robin Hirsch, Szabolcs Mikulás
BIRTHDAY
2009
Springer
13 years 11 months ago
Formal Series of General Algebras over a Field and Their Syntactic Algebras
Any mapping S : C → K, where K is a field and C = (C, Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over...
Zoltán Fülöp, Magnus Steinby
CJ
2006
111views more  CJ 2006»
13 years 5 months ago
Relational Formalism for the Management of Spatial Data
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
Nikos A. Lorentzos, Jose Ramon Rios Viqueira