A Self-consistent Simulation of Proton Acceleration and Transport Near a High-speed Solar Wind Stream

Solar wind stream interaction regions (SIRs) are often characterized by energetic ion enhancements. The mechanisms accelerating these particles, as well as the locations where the acceleration occurs, remain debated. Here, we report the findings of a simulation of a SIR event observed by Parker Solar Probe at similar to 0.56 au and the Solar Terrestrial Relations Observatory-Ahead at similar to 0.95 au in 2019 September when both spacecraft were approximately radially aligned with the Sun. The simulation reproduces the solar wind configuration and the energetic particle enhancements observed by both spacecraft. Our results show that the energetic particles are produced at the compression waves associated with the SIR and that the suprathermal tail of the solar wind is a good candidate to provide the seed population for particle acceleration. The simulation confirms that the acceleration process does not require shock waves and can already commence within Earth's orbit, with an energy dependence on the precise location where particles are accelerated. The three-dimensional configuration of the solar wind streams strongly modulates the energetic particle distributions, illustrating the necessity of advanced models to understand these particle events.Peer reviewe

High-energy (> 40 MeV) proton intensity enhancements associated with the passage of interplanetary shocks at 1 au

We analyze periods with elevated >40 MeV proton intensities observed near Earth over a time span of 43 yr (1973-2016) that coincide with the passage of interplanetary (IP) shocks. Typically, elevated proton intensities result from large solar energetic particle (SEP) events. The IP shocks observed during these elevated-intensity periods may or may not be related to the origin of the SEP events. By choosing those cases when the shocks can be confidently associated with the solar eruption that generated the SEP event, we analyze the components of these SEP events that are localized in the vicinity of the shock (so-called 'energetic storm particles', ESPs), focusing on those events where the ESP component exceeds 40 MeV. We examine the interdependence of these high-energy ESPs with (i) the properties of the solar eruptions that generated the shocks and the SEP events, and (ii) the parameters of the shocks at their arrival at 1 au. The solar eruptions at the origin of the shocks producing >40 MeV proton ESP intensity enhancements are within ±50° longitude of central meridian and are associated with fast coronal mass ejections (plane-of-sky speeds ≳1000 km s−1). The ESP events with the largest >40 MeV proton intensity increases tend to occur when there are structures such as intervening IP coronal mass ejections and other unrelated shocks present in the solar wind through which the shock is propagating. Among the various local shock parameters considered, only the shock speed shows a certain degree of correlation with the observed ESP intensity increase

Studying the spheromak rotation in data-constrained CME modelling with EUHFORIA and assessing its effect on the Bz prediction

A key challenge in space weather forecasting is accurately predicting the magnetic field topology of interplanetary coronal mass ejections (ICMEs), specifically the north-south magnetic field component (Bz) for Earth-directed CMEs. Heliospheric MHD models typically use spheromaks to represent the magnetic structure of CMEs. However, when inserted into the ambient interplanetary magnetic field, spheromaks can experience a phenomenon reminiscent of the condition known as the "spheromak tilting instability", causing its magnetic axis to rotate. From the perspective of space weather forecasting, it is crucial to understand the effect of this rotation on predicting Bz at 1 au while implementing the spheromak model for realistic event studies. In this work, we study this by modelling a CME event on 2013 April 11 using the "EUropean Heliospheric FORecasting Information Asset" (EUHFORIA). Our results show that a significant spheromak rotation up to 90 degrees has occurred by the time it reaches 1 au, while the majority of this rotation occurs below 0.3 au. This total rotation resulted in poor predicted magnetic field topology of the ICME at 1 au. To address this issue, we further investigated the influence of spheromak density on mitigating rotation. The results show that the spheromak rotation is less for higher densities. Importantly, we observe a substantial reduction in the uncertainties associated with predicting Bz when there is minimal spheromak rotation. Therefore, we conclude that spheromak rotation adversely affects Bz prediction in the analyzed event, emphasizing the need for caution when employing spheromaks in global MHD models for space weather forecasting.Comment: Accepted for publication in The Astrophysical Journal Supplement (ApJS) serie

On the seed population of solar energetic particles in the inner heliosphere

Particles measured in large gradual solar energetic particle (SEP) events are believed to be predominantly accelerated at shocks driven by coronal mass ejections (CMEs). Ion charge state and composition analyses suggest that the origin of the seed particle population for the mechanisms of particle acceleration at CME-driven shocks is not the bulk solar wind thermal material, but rather a suprathermal population present in the solar wind. This suprathermal population could result from remnant material accelerated in prior solar flares and/or preceding CME-driven shocks. In this work, we examine the distribution of this suprathermal particle population in the inner heliosphere by combining a magnetohydrodynamic (MHD) simulation of the solar wind and a Monte-Carlo simulation of particle acceleration and transport. Assuming that the seed particles are uniformly distributed near the Sun by solar flares of various magnitudes, we study the longitudinal distribution of the seed population at multiple heliocentric distances. We consider a non-uniform background solar wind, consisting of fast and slow streams that lead to compression and rarefaction regions within the solar wind. Our simulations show that the seed population at a particular location (e.g., 1 au) is strongly modulated by the underlying solar wind configuration. Corotating interaction regions (CIRs) and merged interactions regions (MIRs) can strongly alter the energy spectra of the seed particle populations. In addition, cross-field diffusion plays an important role in mitigating strong variations of the seed population in both space and energy.Comment: 20 pages, 7 figure

A Self-consistent simulation of proton acceleration and transport near a high-speed solar wind stream

Solar wind stream interaction regions (SIRs) are often characterized by energetic ion enhancements. The mechanisms accelerating these particles, as well as the locations where the acceleration occurs, remain debated. Here, we report the findings of a simulation of a SIR event observed by Parker Solar Probe at ~0.56 au and the Solar Terrestrial Relations Observatory-Ahead at ~0.95 au in 2019 September when both spacecraft were approximately radially aligned with the Sun. The simulation reproduces the solar wind configuration and the energetic particle enhancements observed by both spacecraft. Our results show that the energetic particles are produced at the compression waves associated with the SIR and that the suprathermal tail of the solar wind is a good candidate to provide the seed population for particle acceleration. The simulation confirms that the acceleration process does not require shock waves and can already commence within Earth's orbit, with an energy dependence on the precise location where particles are accelerated. The three-dimensional configuration of the solar wind streams strongly modulates the energetic particle distributions, illustrating the necessity of advanced models to understand these particle events

Modelling two Energetic Storm Particle Events Observed by Solar Orbiter Using the Combined EUHFORIA and iPATH Models

By coupling the EUropean Heliospheric FORcasting Information Asset (EUHFORIA) and the improved Particle Acceleration and Transport in the Heliosphere (iPATH) model, two energetic storm particle (ESP) events, originating from the same active region (AR 13088) and observed by Solar Orbiter (SolO) on August 31 2022 and September 05 2022, are modelled. While both events originated from the same active region, they exhibited notable differences, including: 1) the August ESP event lasted for 7 hours, while the September event persisted for 16 hours; 2) The time intensity profiles for the September event showed a clear cross-over upstream of the shock where the intensity of higher energy protons exceeds those of lower energy protons, leading to positive (``reverse'') spectral indices prior to the shock passage. For both events, our simulations replicate the observed duration of the shock sheath, depending on the deceleration history of the CME. Imposing different choices of escaping length scale, which is related to the decay of upstream turbulence, the modelled time intensity profiles prior to the shock arrival also agree with observations. In particular, the cross-over of this time profile in the September event is well reproduced. We show that a ``reverse'' upstream spectrum is the result of the interplay between two length scales. One characterizes the decay of upstream shock accelerated particles, which are controlled by the energy-dependent diffusion coefficient, and the other characterizes the decay of upstream turbulence power, which is related to the process of how streaming protons upstream of the shock excite Alfv\'{e}n waves. Simulations taking into account real-time background solar wind, the dynamics of the CME propagation, and upstream turbulence at the shock front are necessary to thoroughly understand the ESP phase of large SEP events.Comment: Accepted by A&A. 16 pages, 11 figure

Relativistic electron beams accelerated by an interplanetary shock

Collisionless shock waves have long been considered amongst the most prolific particle accelerators in the universe. Shocks alter the plasma they propagate through and often exhibit complex evolution across multiple scales. Interplanetary (IP) traveling shocks have been recorded in-situ for over half a century and act as a natural laboratory for experimentally verifying various aspects of large-scale collisionless shocks. A fundamentally interesting problem in both helio and astrophysics is the acceleration of electrons to relativistic energies (more than 300 keV) by traveling shocks. This letter presents first observations of field-aligned beams of relativistic electrons upstream of an IP shock observed thanks to the instrumental capabilities of Solar Orbiter. This study aims to present the characteristics of the electron beams close to the source and contribute towards understanding their acceleration mechanism. On 25 July 2022, Solar Orbiter encountered an IP shock at 0.98 AU. The shock was associated with an energetic storm particle event which also featured upstream field-aligned relativistic electron beams observed 14 minutes prior to the actual shock crossing. The distance of the beam's origin was investigated using a velocity dispersion analysis (VDA). Peak-intensity energy spectra were anaylzed and compared with those obtained from a semi-analytical fast-Fermi acceleration model. By leveraging Solar Orbiter's high-time resolution Energetic Particle Detector (EPD), we have successfully showcased an IP shock's ability to accelerate relativistic electron beams. Our proposed acceleration mechanism offers an explanation for the observed electron beam and its characteristics, while we also explore the potential contributions of more complex mechanisms.Comment: Main text: 6 pages, 2 figures. Supplementary material: 6 pages, 7 figure

Influence of Large-scale Interplanetary Structures on the Propagation of Solar Energetic Particles: The Multispacecraft Event on 2021 October 9

An intense solar energetic particle (SEP) event was observed on 2021 October 9 by multiple spacecraft distributed near the ecliptic plane at heliocentric radial distances R ≲ 1 au and within a narrow range of heliolongitudes. A stream interaction region (SIR), sequentially observed by Parker Solar Probe (PSP) at R = 0.76 au and 48° east from Earth (ϕ = E48°), STEREO-A (at R = 0.96 au, ϕ = E39°), Solar Orbiter (SolO; at R = 0.68 au, ϕ = E15°), BepiColombo (at R = 0.33 au, ϕ = W02°), and near-Earth spacecraft, regulated the observed intensity-time profiles and the anisotropic character of the SEP event. PSP, STEREO-A, and SolO detected strong anisotropies at the onset of the SEP event, which resulted from the fact that PSP and STEREO-A were in the declining-speed region of the solar wind stream responsible for the SIR and from the passage of a steady magnetic field structure by SolO during the onset of the event. By contrast, the intensity-time profiles observed near Earth displayed a delayed onset at proton energies ≳13 MeV and an accumulation of ≲5 MeV protons between the SIR and the shock driven by the parent coronal mass ejection (CME). Even though BepiColombo, STEREO-A, and SolO were nominally connected to the same region of the Sun, the intensity-time profiles at BepiColombo resemble those observed near Earth, with the bulk of low-energy ions also confined between the SIR and the CME-driven shock. This event exemplifies the impact that intervening large-scale interplanetary structures, such as corotating SIRs, have in shaping the properties of SEP events

EUropean Heliospheric FORecasting Information Asset 2.0

Aims: This paper presents a H2020 project aimed at developing an advanced space weather forecasting tool, combining the MagnetoHydroDynamic (MHD) solar wind and coronal mass ejection (CME) evolution modelling with solar energetic particle (SEP) transport and acceleration model(s). The EUHFORIA 2.0 project will address the geoeffectiveness of impacts and mitigation to avoid (part of the) damage, including that of extreme events, related to solar eruptions, solar wind streams, and SEPs, with particular emphasis on its application to forecast geomagnetically induced currents (GICs) and radiation on geospace. Methods: We will apply innovative methods and state-of-the-art numerical techniques to extend the recent heliospheric solar wind and CME propagation model EUHFORIA with two integrated key facilities that are crucial for improving its predictive power and reliability, namely (1) data-driven flux-rope CME models, and (2) physics-based, self-consistent SEP models for the acceleration and transport of particles along and across the magnetic field lines. This involves the novel coupling of advanced space weather models. In addition, after validating the upgraded EUHFORIA/SEP model, it will be coupled to existing models for GICs and atmospheric radiation transport models. This will result in a reliable prediction tool for radiation hazards from SEP events, affecting astronauts, passengers and crew in high-flying aircraft, and the impact of space weather events on power grid infrastructure, telecommunication, and navigation satellites. Finally, this innovative tool will be integrated into both the Virtual Space Weather Modeling Centre (VSWMC, ESA) and the space weather forecasting procedures at the ESA SSCC in Ukkel (Belgium), so that it will be available to the space weather community and effectively used for improved predictions and forecasts of the evolution of CME magnetic structures and their impact on Earth. Results: The results of the first six months of the EU H2020 project are presented here. These concern alternative coronal models, the application of adaptive mesh refinement techniques in the heliospheric part of EUHFORIA, alternative flux-rope CME models, evaluation of data-assimilation based on Karman filtering for the solar wind modelling, and a feasibility study of the integration of SEP models

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity

[EN] To maintain integrity, constraint violations should be prevented or repaired. However, it may not be feasible to avoid inconsistency, or to repair all violations at once. Based on an abstract concept of violation measures, updates and repairs can be checked for keeping inconsistency bounded, such that integrity violations are guaranteed to never get out of control. This measure-based approach goes beyond conventional methods that are not meant to be applied in the presence of inconsistency. It also generalizes recently introduced concepts of inconsistency-tolerant integrity maintenance.Partially supported by FEDER and the Spanish grants TIN2009-14460-C03 and TIN2010-17139Decker, H. (2013). Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity. Lecture Notes in Computer Science. 7693:149-173. https://doi.org/10.1007/978-3-642-36008-4_7S1491737693Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)Abiteboul, S., Vianu, V.: A transaction-based approach to relational database specification. JACM 36(4), 758–789 (1989)Afrati, F., Kolaitis, P.: Repair checking in inconsistent databases: algorithms and complexity. In: 12th ICDT, pp. 31–41. ACM Press (2009)Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: PODS 1999, pp. 68–79. ACM Press (1999)Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Ann. Math. Artif. Intell. 50, 389–415 (2007)Arni-Bloch, N., Ralyté, J., Léonard, M.: Service–Driven Information Systems Evolution: Handling Integrity Constraints Consistency. In: Persson, A., Stirna, J. (eds.) PoEM 2009. LNBIP, vol. 39, pp. 191–206. Springer, Heidelberg (2009)Bauer, H.: Maß- und Integrationstheorie, 2. Auflage. De Gruyter (1992)Besnard, P., Hunter, A.: Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 44–51. Springer, Heidelberg (1995)Bohanon, P., Fan, W., Flaster, M., Rastogi, R.: A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification. In: Proc. SIGMOD 2005, pp. 143–154. ACM Press (2005)Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues. In: Proc. 26th VLDB, pp. 254–262. Morgan Kaufmann (2000)Chakravarthy, U., Grant, J., Minker, J.: Logic-based Approach to Semantic Query Optimization. Transactions on Database Systems 15(2), 162–207 (1990)Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae 71(4), 371–417 (2006)Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press (1978)Curino, C., Moon, H., Deutsch, A., Zaniolo, C.: Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++. PVLDB 4, 117–128 (2010)Dawson, J.: The compactness of first-order logic: From Gödel to Lindström. History and Philosophy of Logic 14(1), 15–37 (1993)Decker, H.: The Range Form of Databases and Queries or: How to Avoid Floundering. In: Proc. 5th ÖGAI. Informatik-Fachberichte, vol. 208, pp. 114–123. Springer (1989)Decker, H.: Drawing Updates From Derivations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 437–451. Springer, Heidelberg (1990)Decker, H.: Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 89–96. Springer, Heidelberg (2008)Decker, H.: Answers That Have Integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol. 6834, pp. 54–72. Springer, Heidelberg (2011)Decker, H.: Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part V. LNCS, vol. 6786, pp. 283–292. Springer, Heidelberg (2011)Decker, H.: Inconsistency-tolerant Integrity Checking based on Inconsistency Metrics. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part II. LNCS, vol. 6882, pp. 548–558. Springer, Heidelberg (2011)Decker, H.: Partial Repairs that Tolerate Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 389–400. Springer, Heidelberg (2011)Decker, H.: Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases. In: Roth-Berghofer, T., Tintarev, N., Leake, D. (eds.) Explanation-aware Computing, Proc. IJCAI 2011 Workshop ExaCt 2011, pp. 71–80 (2011), http://exact2011.workshop.hm/index.phpDecker, H., Martinenghi, D.: Classifying integrity checking methods with regard to inconsistency tolerance. In: Proc. PPDP 2008, pp. 195–204. ACM Press (2008)Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol. 5833, pp. 212–221. Springer, Heidelberg (2009)Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE TKDE 23(2), 218–234 (2011)Decker, H., Muñoz-Escoí, F.D.: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010 Workshops. LNCS, vol. 6428, pp. 297–306. Springer, Heidelberg (2010)Dung, P., Kowalski, R., Toni, F.: Dialectic Proof Procedures for Assumption-based Admissible Argumentation. Artificial Intelligence 170(2), 114–159 (2006)Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer (2006)Embury, S., Brandt, S., Robinson, J., Sutherland, I., Bisby, F., Gray, A., Jones, A., White, R.: Adapting integrity enforcement techniques for data reconciliation. Information Systems 26, 657–689 (2001)Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)Eiter, T., Fink, M., Greco, G., Lembo, D.: Repair localization for query answering from inconsistent databases. ACM TODS 33(2), article 10 (2008)Furfaro, F., Greco, S., Molinaro, C.: A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2-4), 167–193 (2007)Grant, J., Hunter, A.: Measuring the Good and the Bad in Inconsistent Information. In: Proc. 22nd IJCAI, pp. 2632–2637 (2011)Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE TKDE 15(6), 1389–1408 (2003)Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)Guessoum, A., Lloyd, J.: Updating knowledge bases II. New Generation Computing 10(1), 73–100 (1991)Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. PODS 1994, pp. 45–55. ACM Press (1994)Hunter, A.: Measuring Inconsistency in Knowledge via Quasi-Classical Models. In: Proc. 18th AAAI &14th IAAI, pp. 68–73 (2002)Hunter, A., Konieczny, S.: Approaches to Measuring Inconsistent Information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005)Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning (Proc. 11th KR), pp. 358–366. AAAI Press (2008)Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley Inconsistency Values. Artificial Intelligence 174, 1007–1026 (2010)Kakas, A., Mancarella, P.: Database updates through abduction. In: Proc. 16th VLDB, pp. 650–661. Morgan Kaufmann (1990)Kakas, A., Kowalski, R., Toni, F.: The role of Abduction in Logic Programming. In: Gabbay, D., Hogger, C., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press (1998)Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: Proc. VLDB 1996, pp. 495–505. Morgan Kaufmann (1996)Lehrer, K.: Relevant Deduction and Minimally Inconsistent Sets. Journal of Philosophy 3(2,3), 153–165 (1973)Mu, K., Liu, W., Jin, Z., Bell, D.: A Syntax-based Approach to Measuring the Degree of Inconsistency for Belief Bases. J. Approx. Reasoning 52(7), 978–999 (2011)Lloyd, J., Sonenberg, L., Topor, R.: Integrity constraint checking in stratified databases. J. Logic Programming 4(4), 331–343 (1987)Lozinskii, E.: Resolving contradictions: A plausible semantics for inconsistent systems. J. Automated Reasoning 12(1), 1–31 (1994)Ma, Y., Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. J. Logic Computation 21(6), 1257–1281 (2011)Martinenghi, D., Christiansen, H.: Transaction Management with Integrity Checking. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol. 3588, pp. 606–615. Springer, Heidelberg (2005)Martinenghi, D., Christiansen, H., Decker, H.: Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, pp. 238–285. IGI Global (2006)Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V.S., Prade, H.: How Dirty Is Your Relational Database? An Axiomatic Approach. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 103–114. Springer, Heidelberg (2007)Meyer, J., Wieringa, R. (eds.): Deontic Logic in Computer Science. Wiley (1994)Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)Plexousakis, D., Mylopoulos, J.: Accommodating Integrity Constraints During Database Design. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 495–513. Springer, Heidelberg (1996)Rahm, E., Do, H.: Data Cleaning: Problems and Current Approaches. Data Engineering Bulletin 23(4), 3–13 (2000)Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann (1988)Thimm, M.: Measuring Inconsistency in Probabilistic Knowledge Bases. In: Proc. 25th UAI, pp. 530–537. AUAI Press (2009)Vardi, M.: On the integrity of databases with incomplete information. In: Proc. 5th PODS, pp. 252–266. ACM Press (1986)Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722–768 (2005