Sciweavers

4397 search results - page 149 / 880
» Relational Algebra Operations
Sort
View
198
Voted
SIGMOD
2005
ACM
117views Database» more  SIGMOD 2005»
16 years 2 months ago
Relational data mapping in MIQIS
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
George H. L. Fletcher, Catharine M. Wyss
91
Voted
INFSOF
2002
72views more  INFSOF 2002»
15 years 2 months ago
Translating object-oriented database transactions into relational transactions
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
Joseph Fong
113
Voted
DICS
2006
15 years 4 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
107
Voted
ICWE
2007
Springer
15 years 8 months ago
On the Quality of Navigation Models with Content-Modification Operations
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
Jordi Cabot, Jordi Ceballos, Cristina Gómez
AB
2007
Springer
15 years 8 months ago
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
Venkatesh Mysore, Bud Mishra