Sciweavers

4397 search results - page 72 / 880
» Relational Algebra Operations
Sort
View
ISMVL
2000
IEEE
90views Hardware» more  ISMVL 2000»
14 years 1 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»
14 years 9 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
14 years 3 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
14 years 17 days 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&...
ACMMPC
2000
Springer
236views Mathematics» more  ACMMPC 2000»
14 years 1 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