Sciweavers

4397 search results - page 72 / 880
» Relational Algebra Operations
Sort
View
ISMVL
2000
IEEE
90views Hardware» more  ISMVL 2000»
15 years 6 months ago
Structures with Many-Valued Information and Their Relational Proof Theory
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
FSE
2009
Springer
472views Cryptology» more  FSE 2009»
16 years 3 months ago
Algebraic Techniques in Differential Cryptanalysis
In this paper we propose a new cryptanalytic method against block ciphers, which combines both algebraic and statistical techniques. More specifically, we show how to use algebraic...
Martin Albrecht, Carlos Cid
IEEEICCI
2009
IEEE
15 years 9 months ago
Interval sets and interval-set algebras
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
Yiyu Yao
FSTTCS
2000
Springer
15 years 6 months ago
An Algebra for XML Query
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
Mary F. Fernández, Jérôme Sim&...
294
Voted
ACMMPC
2000
Springer
236views Mathematics» more  ACMMPC 2000»
15 years 6 months ago
Calculating Functional Programs
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
Jeremy Gibbons