Sciweavers

796 search results - page 4 / 160
» A Formalization of ODMG Queries
Sort
View
BTW
2001
Springer
129views Database» more  BTW 2001»
15 years 4 months ago
Schema Evolution in Federated Information Systems
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
Susanne Busse, Claudia Pons
GVD
2009
125views Database» more  GVD 2009»
14 years 9 months ago
A quantum logic-based query processing approach for extending relational query languages
Evaluating a traditional database query against a data tuple returns a true on match and a false on mismatch. Unfortunately, there are many application scenarios where such an eva...
Sebastian Lehrack
TKDE
2012
487views Formal Methods» more  TKDE 2012»
13 years 2 months ago
Query Planning for Continuous Aggregation Queries over a Network of Data Aggregators
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...
Rajeev Gupta, Krithi Ramamritham
SIGMOD
1996
ACM
154views Database» more  SIGMOD 1996»
15 years 3 months ago
METU Interoperable Database System
METU INteroperable Database System (MIND) is a multidatabase system that aims at achieving interoperability among heterogeneous, federated DBMSs. MIND architecture is based on OMG...
Asuman Dogac, Ugur Halici, Ebru Kilic, Gökhan...
CSFW
2011
IEEE
13 years 11 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...