Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases

[EN] The quality of the information provided by databases can be captured by integrity constraints. Thus, violated cases of constraints may serve as a basis for measuring the quality of given database states. A quality metric with the potential of more accuracy is obtained by measuring the causes, i.e., data that are responsible for constraint violations. Such measures also serve for controlling quality impairment across updates.Partially supported by FEDER and the Spanish grants TIN2009-14460-C03 and TIN2010-17139Decker, H. (2011). Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. Lecture Notes in Computer Science. 6786:283-292. https://doi.org/10.1007/978-3-642-21934-4_24S2832926786Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). TKDE 1(1), 146–166 (1989)Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundam. Inform. 71(4), 371–417 (2006)Decker, H.: Answers that Have Integrity in Databases that Violate Constraints. Presented at the ICALP Workshop SDKB 2010, to appear in the Post-Workshop Proceedings of SDKB (2011)Decker, H.: Toward a uniform cause-based approach to inconsistency-tolerant database semantics. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6427, pp. 983–998. Springer, Heidelberg (2010)Decker, H.: Quantifying the Quality of Stored Data by Measuring their Integrity. In: Proc. DIWT 2009, Workshop SMM, pp. 823–828. IEEE, Los Alamitos (2009)Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. TKDE 23(2), 218–234 (2011)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)Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intelligent Information Systems 27(2), 159–184 (2006)Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2003

Integrating Datalog and Constraint Solving

LP is a common formalism for the field of databases and CSP, both at the theoretical level and the implementation level in the form of Datalog and CLP. In the past, close correspondences have been made between both fields at the theoretical level. Yet correspondence at the implementation level has been much less explored. In this article we work towards relating them at the implementation level. Concretely, we show how to derive the efficient Leapfrog Triejoin execution algorithm of Datalog from a generic CP execution scheme.Comment: Proceedings of the 13th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2013), Istanbul, Turkey, August 25, 201

Datalog for Non-Profit Demographic Analysis

Datalog is a useful tool in organizing data. With it, we can achieve a better in-depth analysis on how the FIT program is performing. What is F.I.T.? FIT, the Foundation for an Independent Tomorrow, is a non-profit organization that provides resources and training for those who want employment

Event-driven Adaptation in COP

Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML_CoDa to deal with adaptation to unpredictable context changes notified by asynchronous events.Comment: In Proceedings PLACES 2016, arXiv:1606.0540

A Context-Oriented Extension of F#

Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes the implementation of ML_CoDa as an extension of F#.Comment: In Proceedings FOCLASA 2015, arXiv:1512.0694

A Modular Logic Approach for Expressing Web Services in XML Applying Dynamic Rules in XML

RuleML is considered to be a markup language for the semantic web. It allows the enrichment of web ontologies by adding definitions of derived concepts and it enhances interoperability among different systems and tools by publishing rules in an XML format. Moreover the in-creasing demand for interfaces that enhance information sharing has given rise to XML doc-uments that include embedded calls to web services. In this paper we propose a variation of RuleML that is based on modular logic programming. Our approach is based in a two level architecture. In the first level a modular logic language, called M-log, is presented. This lan-guage encompasses several mechanisms for invoking web services. In the second level we ex-ploit the semantics of M-log to present a variation of RuleML with rich modeling capabilities. Formal foundations for this variation are given through direct translation to M-log semantics.Knowledge Management, XML, Modular Logic Programming, E-Services