Sciweavers

4397 search results - page 20 / 880
» Relational Algebra Operations
Sort
View
CDB
2004
Springer
169views Database» more  CDB 2004»
15 years 5 months ago
Semantic Optimization of Preference Queries
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...
Jan Chomicki
105
Voted
ICALP
2005
Springer
15 years 6 months ago
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
TAMC
2010
Springer
15 years 5 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
TON
2002
138views more  TON 2002»
15 years 3 days ago
Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet
Prompted by the advent of quality-of-service routing in the Internet, we investigate the properties that path weight functions must have so that hop-by-hop routing is possible and ...
João L. Sobrinho
83
Voted
JLP
2002
57views more  JLP 2002»
15 years 4 days ago
Program algebra with unit instruction operators
In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that empl...
Alban Ponse