A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Filters
Inconsistency handling in multiperspective specifications
1994
IEEE Transactions on Software Engineering
Preserved Fulltext
This paper presents our technique for inconsistency handling in the ViewPoints framework by using simple examples. ...
Indeed since the real-world forces us to work with inconsistencies, we should formalise some of the usually informal or extra-logical ways of responding to them. ...
The problem of inconsistency handling in the ViewPoints framework can then be viewed as being equivalent to inconsistency handling in distributed logical databases. ...
doi:10.1109/32.310667
fatcat:w2qwmmvgmfag7j74ywfimddlyu
Inconsistency handling in multi-perspective specifications
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This paper presents our technique for inconsistency handling in the ViewPoints framework by using simple examples. ...
Indeed since the real-world forces us to work with inconsistencies, we should formalise some of the usually informal or extra-logical ways of responding to them. ...
The problem of inconsistency handling in the ViewPoints framework can then be viewed as being equivalent to inconsistency handling in distributed logical databases. ...
doi:10.1007/3-540-57209-0_7
fatcat:lz6hwuy5w5febplzeinyjf7nhi
Prototyping a genetics deductive database
1994
Proceedings. International Conference on Intelligent Systems for Molecular Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We aim to support laboratory activities by introducing an experiment planner into our prototype. ...
Currently our prototype provides storage for biological facts and rules with flexible access via an interactive graphical display. ...
Acknowledgements This research was partly supported by the European Commission under ESPRIT Project 6333 IDEA (Intelligent Database Environments for Advanced Applications). ...
pmid:7584387
fatcat:zhlsegwikzcwhemdlse5zapwii
Introduction to Inconsistency Tolerance
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To address this, inconsistency tolerance is being built on foundational technologies for identifying and analysing inconsistency in information, for representing and reasoning with inconsistent information ...
Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledgebases, and software systems. ...
The idea, as opposed to traditional approaches to inconsistency handling, is to live with an inconsistent database, but obtaining only consistent information (with respect to given integrity constraints ...
doi:10.1007/978-3-540-30597-2_1
fatcat:kzpzrg6vtzgbzegepljcpjtyai
Managing inconsistent specifications: reasoning, analysis, and action
1998
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
T o support this, we h a ve used classical logic to represent partial speci cations and to identify inconsistencies between them. ...
Finally, w e discuss further the notion of acting in the presence of inconsistency, and examine the use of meta-level inconsistency handling rules to support such action. ...
This work was partially funded by the UK EPSRC as part of the Voila project (GR J15483), the CEC as part of the Basic Research Actions Promoter and Drums II, and the ISI project (ECAUS003). ...
doi:10.1145/292182.292187
fatcat:eznnegvyrzhqxdlckfd3yahnfe
AN INTEGRATION APPROACH FOR HETEROGENEOUS DISTRIBUTED DATABASE TRANSACTION PROTOCOLS
2014
International Journal of Computer Science and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we develop an approach that can handle data inconsistencies and identify a number of issues with compensation-based transaction protocols and describe another transaction protocol that addresses ...
Such applications often involve distributed databases that have developed independently and therefore may exhibit incompatibility, heterogeneity, and data inconsistency. ...
Aggregate views of Distributed Databases. ...
doi:10.47893/ijcsi.2014.1146
fatcat:oklmvey3njbpxpev5qd5u73ycu
Principles for Inconsistency
[article]
2009
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this CIDR 2009 Perspectives paper, we present real-world reasons inconsistency may be necessary, offer principles for managing inconsistency coherently, and describe implementation approaches we are ...
investigating for sustainably scalable systems that offer comprehensible user experiences despite inconsistency. ...
systems with synchronous commits to backups, active/active replication with subjective/eventual consistency, and replication with strong consistency. ...
arXiv:0909.1782v1
fatcat:yivynfkg7jgfxhc27sltozy7ny
Managing Constraint Violations in Administrative Information Systems
[chapter]
1998
Data Mining and Reverse Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. ...
The paper focuses on a motivating case study, the analysis of constraint violations in database management at the Belgian agency for social security. ...
Consider a database schema S = DS + Cenf + Cviol and let C1, ... ,Ck be a total order of constraints in Cviol, compatible with the partial order defined by the precedence relationship Pic. ...
doi:10.1007/978-0-387-35300-5_15
fatcat:4q3sh5mknnadrnri2fhtqfjyiy
The process of inconsistency management: a framework for understanding
1999
Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
These are supported by the processes of measuring inconsistency, and analyzing the impact and risk associated with different inconsistency handling options. ...
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. ...
We have outlined some of the activities that are involved in inconsistency management, and highlighted inconsistency handling strategies that allow living with inconsistency. ...
doi:10.1109/dexa.1999.795194
dblp:conf/dexaw/NuseibehE99
fatcat:zb3hcvc3yvejzleiy34yaahkke
Data Consistency Enforcement on Business Process Transactions
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Besides, the earlier an inconsistency is detected the less recovery is necessary. ...
It is studied in this paper how to detect and recover from potential future inconsistency as early as possible in a BPT execution. ...
Consider an online shopping center BPMart (partially shown in Fig. 1 ) whose data are managed in an underlying database. ...
doi:10.1007/978-3-642-37804-1_40
fatcat:ci2ptuoiprbulkn2cswnx7cnpq
Inconsistency Issues in Spatial Databases
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This chapter analyzes inconsistency issues in spatial databases. ...
The main contribution of this paper is a survey of existing approaches to dealing with inconsistency issues in spatial databases that emphasizes the current state of the art and that outlines research ...
Andrea Rodríguez's research work is partially funded by CONICYT under grant FONDECYT 1030301. ...
doi:10.1007/978-3-540-30597-2_8
fatcat:edougipvhveexkikdrkso47ud4
Toward a view-based data cleaning architecture
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Big data analysis has become an active area of study with the growth of machine learning techniques. To properly analyze data, it is important to maintain high-quality data. ...
An example of such data is metadata for scientific datasets, which should be confirmed by data managers while handling the data. ...
ACKNOWLEDGMENTS This work was partially supported by JSPS KAKENHI Grant Numbers JP17H06099, JP18H04093, and JP18K11315. ...
arXiv:1910.11040v1
fatcat:wznj4n3kfjhlrehtlzehiqtsva
Adaptive Consistency Approaches for Cloud Computing Platform
2015
International Journal of Software Engineering and Its Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
As measured in Section 3.2, it actually takes only 315ms to actively resolve the inconsistencies. In the third experiment, we evaluate ACM for its consistency adaptability. ...
As a result, it is almost impossible to compare the guarantees provided by each system. 132 Copyright ⓒ 2015 SERSC the ACM active inconsistency resolution and the "system average" curve is the average ...
For instance, a partial system failure of an ACID system might reject write operations, forcing the application to handle the data to be written somehow. ...
doi:10.14257/ijseia.2015.9.7.13
fatcat:bqcpvpix75crvp6cqg2m7kiyhm
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
2014
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2014 pre-print arXiv:1405.3603v1 fatcat:r5fe2iuh3vddliu2ojstfmcsje
are tested, allowing inconsistent knowledgebases to be successfully queried. ...
AbstractIn answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. ...
Answer Sets of Inconsistent Programs One disadvantage of ASP is the way in which it handles inconsistency in a knowledgebase. ...
doi:10.1017/s1471068414000118
fatcat:ar6443bbq5hmrdbpjbgtuhrwoq
A Reservation-based Extended Transaction Protocol for Coordination of Web Services
2008
International Journal of Web Services Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We also compare the probability of inconsistency of the Reservation Protocol with that of Compensating Transactions. ...
However, classical distributed transactions lock data in the databases of different enterprises for unacceptable durations or involve repeated retries, and compensating transactions can lead to inconsistencies ...
ACKNOWLEGMENT This research was partially supported by MURI/AFOSR Contract F49620-00-1-0330 and by UC Discovery Grant/QAD COM05-10194 for the authors at the University of California, Santa Barbara, and ...
doi:10.4018/jwsr.2008070104
fatcat:uyrf7eep6fdwbjyp74tf4zbcqa
« Previous
Showing results 1 — 15 out of 57,573 results