Sciweavers

796 search results - page 4 / 160
» A Formalization of ODMG Queries
Sort
View
BTW
2001
Springer
129views Database» more  BTW 2001»
14 years 2 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»
13 years 7 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»
12 years 6 days 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»
14 years 1 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
12 years 9 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...