Sciweavers

4397 search results - page 80 / 880
» Relational Algebra Operations
Sort
View
APLAS
2009
ACM
14 years 4 months ago
A Fresh Look at Separation Algebras and Share Accounting
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
Robert Dockins, Aquinas Hobor, Andrew W. Appel
ICMCS
1994
IEEE
148views Multimedia» more  ICMCS 1994»
14 years 2 months ago
Content-Based Access to Algebraic Video
Algebraic video uses a set of basic operations on video segments to create a desired video stream. The video algebraconsists ofoperations fortemporallyand spatially combining vide...
Ron Weiss, Andrzej Duda, David K. Gifford
ENTCS
2008
120views more  ENTCS 2008»
13 years 10 months ago
Specifying and Executing Reactive Scenarios With Lutin
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
Pascal Raymond, Yvan Roux, Erwan Jahier
ADC
2005
Springer
114views Database» more  ADC 2005»
14 years 3 months ago
Optimization of Relational Preference Queries
The design and implementation of advanced personalized database applications requires a preference-driven approach. Representing preferences as strict partial orders is a good cho...
Bernd Hafenrichter, Werner Kießling
SIGMOD
2005
ACM
133views Database» more  SIGMOD 2005»
14 years 3 months ago
A Nested Relational Approach to Processing SQL Subqueries
One of the most powerful features of SQL is the use of nested queries. Most research work on the optimization of nested queries focuses on aggregate subqueries. However, the solut...
Bin Cao, Antonio Badia