SIGMOD
2011
ACM
12 years 7 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
DLOG
2011
12 years 8 months ago
2011
Linked Data makes one central addition to the Semantic Web principles: all entity URIs should be dereferenceable to provide an authoritative RDF representation. URIs in a linked da...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...
LPNMR
1995
Springer
13 years 8 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
ADC
1993
Springer
13 years 8 months ago
1993
Springer
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...
ER
1999
Springer
13 years 8 months ago
1999
Springer
During the process of updating a database, two interrelated problems could arise. On one hand, when an update is applied to the database, integrity constraints could become violat...
DEXA
2000
Springer
13 years 9 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
DBPL
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
UML
2004
Springer
13 years 10 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...