Sciweavers

1989 search results - page 145 / 398
» A framework for testing database applications
Sort
View
PODS
2008
ACM
174views Database» more  PODS 2008»
14 years 8 months ago
Epistemic privacy
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
Alexandre V. Evfimievski, Ronald Fagin, David P. W...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 2 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
CAISE
2004
Springer
14 years 1 months ago
Objects Meet Relations: On the Transparent Management of Persistent Objects
Many information systems store their objects in a relational database. If the object schema or the relational schema of an application can change often or in an independent way, it...
Luca Cabibbo
DEXA
2000
Springer
95views Database» more  DEXA 2000»
14 years 14 days ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
14 years 6 days ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting