Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions

Decker, Hendrik; Muñoz-Escoí, Francesc D.

doi:10.1007/978-3-642-16961-8_48

Cited by 11 publications

(16 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…S2PL), rather than abstracting away from any implementation of serializability. On the other hand, Theorem 3 generalizes Theorem 3 [23] by using an arbitrary uncertainty measure µ, rather than the inconsistency measure mentioned above. A full-fledged generalization that would not assume any particular realization of serializability is possible along the lines of [23], but would be out of proportion in this paper.…”

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 88%

“…Theorem 3 below adapts Theorem 3 in [23] to measure-based UTIC in general. It asserts that a transaction T in a history H of concurrently executing transactions does not increase uncertainty if H is serializable and T preserves integrity whenever it is executed in isolation.…”

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 89%

“…Fortunately, however, the approaches and results in Section 3 straightforwardly scale up to concurrent transactions without further ado, as shown for inconsistency-tolerant integrity checking in [23], based on a mesure that compares sets of violated instances of constraints before and after a transaction.…”

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 99%

“…It asserts that a transaction T in a history H of concurrently executing transactions does not increase uncertainty if H is serializable and T preserves integrity whenever it is executed in isolation. On one hand, Theorem 3 weakens Theorem 3 [23] by assuming strict two-phase locking (abbr. S2PL), rather than abstracting away from any implementation of serializability.…”

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 99%

See 3 more Smart Citations

Capturing and Scaling Up Concurrent Transactions in Uncertain Databases

Cuzzocrea

Decker

Muñoz-Escoí

2013

Advanced Techniques for Knowledge Engineering and Innovative Applications

Self Cite

View full text Add to dashboard Cite

This chapter provides a complete framework for capturing and scaling-up concurrent transactions over uncertain databases. Models and methods proposed in the context of this framework for managing data uncertainty are innovative as previous studies have not considered the specific case of concurrent transactions, which may worse the uncertainty of database management activities beyond to the simplest case of isolated transactions. Indeed, as this chapter demonstrates, inconsistency tolerance of integrity management, constraint checking and repairing easily scale up to concurrent transactions in a natural way, and query answers in concurrent transactions over uncertain data remain certain in the presence of uncertainty. This analytical contribution is enriched by means of a reference architecture for uncertain database management under concurrent transactions that strictly adheres to models and methods that are the main contributions of this research.

show abstract

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 88%

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 89%

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 99%

Section: Scaling-up Uncertainty Management To Concurrencymentioning

confidence: 99%

See 2 more Smart Citations

Capturing and Scaling Up Concurrent Transactions in Uncertain Databases

Cuzzocrea

Decker

Muñoz-Escoí

2013

Advanced Techniques for Knowledge Engineering and Innovative Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…The isolated integrity postulate has been discussed and relaxed in [11]. More precisely, total integrity has been shown to be a superfluous, and the isolated integrity postulate has been significantly relaxed, both by a concept of inconsistencytolerant integrity checking.…”

Section: Introductionmentioning

confidence: 99%

Inconsistency-Tolerant Business Rules in Distributed Information Systems

Decker¹,

Muñoz-Escoí²

2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Business rules enhance the integrity of information systems. However, their maintenance does not scale up easily to distributed systems with concurrent transactions. To a large extent, that is due to two problematic exigencies: the postulates of total and isolated business rule satisfaction. For overcoming these problems, we outline a measure-based inconsistency-tolerant approach to business rules maintenance.

show abstract

Scalable Uncertainty-Tolerant Business Rules

Cuzzocrea

Decker

Muñoz-Escoí

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Business rules are of key importance for maintaining the correctness of business processes and the reliability of business data. When they take the form of integrity constraints, business rules also can help to contain the amount of uncertainty associated to business data and decisions based on those data. However, business rule enforcement may not scale up easily to systems with concurrent transactions. To a large extent, the problem is due to two common exigencies: the postulates of total and of isolated business rule satisfaction. In order to limit the accumulation of business rule violations, and thus of uncertainty, we are going to outline how a measure-based uncertainty-tolerant approach to business rules maintenance scales up to concurrent transactions. The scale-up is achieved by refraining from the postulates of total and isolated business rule satisfaction.

show abstract

Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions

Cited by 11 publications

References 14 publications

Capturing and Scaling Up Concurrent Transactions in Uncertain Databases

Capturing and Scaling Up Concurrent Transactions in Uncertain Databases

Inconsistency-Tolerant Business Rules in Distributed Information Systems

Scalable Uncertainty-Tolerant Business Rules

Contact Info

Product

Resources

About