Sciweavers

103 search results - page 13 / 21
» Checking Violation Tolerance of Approaches to Database Integ...
Sort
View
AAAI
2010
13 years 9 months ago
Integrity Constraints in OWL
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However...
Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinn...
PTS
1998
81views Hardware» more  PTS 1998»
13 years 9 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
VLDB
1990
ACM
89views Database» more  VLDB 1990»
13 years 11 months ago
Database Updates through Abduction
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
Antonis C. Kakas, Paolo Mancarella
SIGMOD
2004
ACM
147views Database» more  SIGMOD 2004»
14 years 7 months ago
Robust Query Processing through Progressive Optimization
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
Volker Markl, Vijayshankar Raman, David E. Simmen,...
SIGMOD
2005
ACM
212views Database» more  SIGMOD 2005»
14 years 7 months ago
A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification
Data integrated from multiple sources may contain inconsistencies that violate integrity constraints. The constraint repair problem attempts to find "low cost" changes t...
Philip Bohannon, Michael Flaster, Wenfei Fan, Raje...