Filters








57,573 Hits in 5.7 sec

Inconsistency handling in multiperspective specifications

A.C.W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh
1994 IEEE Transactions on Software Engineering  
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]

A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh
1993 Lecture Notes in Computer Science  
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

C Hearne, Z Cui, S Parsons, S Hajnal
1994 Proceedings. International Conference on Intelligent Systems for Molecular Biology  
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]

Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
2005 Lecture Notes in Computer Science  
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

Anthony Hunter, Bashar Nuseibeh
1998 ACM Transactions on Software Engineering and Methodology  
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

DHARAVATH RAMESH, Saritha Vemuri, VIJAY KUMARV
2014 International Journal of Computer Science and Informatics  
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]

Shel Finkelstein
2009 arXiv   pre-print
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]

Isabelle Boydens, Alain Pirotte, Esteban Zimanyi
1998 Data Mining and Reverse Engineering  
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

B. Nuseibeh, S. Easterbrook
1999 Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99  
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]

Xi Liu
2013 Lecture Notes in Computer Science  
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]

Andrea Rodríguez
2005 Lecture Notes in Computer Science  
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]

Toshiyuki Shimizu, Hiroki Omori, Masatoshi Yoshikawa
2019 arXiv   pre-print
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

Jinhong Kim, Sung-Tae Hwang
2015 International Journal of Software Engineering and Its Applications  
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

KYLE MARPLE, GOPAL GUPTA
2014 Theory and Practice of Logic Programming  
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

Wenbing Zhao, Firat Kart, L.E. Moser, P.M. Melliar-Smith
2008 International Journal of Web Services Research  
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