article

On Simplification of Database Integrity Constraints

Authors:

Henning Christiansen,

Davide MartinenghiAuthors Info & Claims

Fundamenta Informaticae, Volume 71, Issue 4

Pages 371 - 417

Published: 01 December 2006 Publication History

Abstract

Without proper simplification techniques, database integrity checking can be prohibitively time consuming. Several methods have been developed for producing simplified incremental checks for each update but none until now of sufficient quality and generality for providing a true practical impact, and the present paper is an attempt to fill this gap. On the theoretical side, a general characterization is introduced of the problem of simplification of integrity constraints and a natural definition is given of what it means for a simplification procedure to be ideal. We prove that ideality of simplification is strictly related to query containment; in fact, an ideal simplification pro-cedure can only exist in database languages for which query containment is decidable. However, simplifications that do not qualify as ideal may also be relevant for practical purposes. We present a concrete approach based on transformation operators that apply to integrity constraints written in a rich DATALOG-like language with negation. The resulting procedure produces, at design-time, simplified constraints for parametric transaction patterns, which can then be instantiated and checked for consistency at run-time. These tests take place before the execution of the update, so that only consistency-preserving updates are eventually given to the database. The extension to more expressive languages and the application of the framework to other contexts, such as data integration and concurrent database systems, are also discussed. Our experiments show that the simplifications obtained with our method may give rise to much better performance than with previous methods and that further improvements are achieved by checking consistency before executing the update.

References

[1]

Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction, Flexible Query-Answering Systems , 2000.

[2]

Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases , Addison-Wesley, 1995.

Digital Library

[3]

Afrati, F. N., Li, C., Mitra, P.: On Containment of Conjunctive Queries with Arithmetic Comparisons., in: Bertino et al. {12}, 459-476.

[4]

Apt, K. R., Blair, H. A., Walker, A.: Towards a Theory of Declarative Knowledge., in: Foundations of Deductive Databases and Logic Programming. , Morgan Kaufmann, 1988, ISBN 0-934613-40-0, 89-148.

[5]

Beeri, C., Vardi, M. Y.: The Implication Problem for Data Dependencies., ICALP , 1981.

Digital Library

[6]

Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , ACM Press, 2003, ISBN 1-58113-670-6.

Digital Library

[7]

Behrend, A.: Soft Stratification for Transformation-Based Approaches to Deductive Databases , Ph.D. Thesis, University of Bonn, 2004.

[8]

Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated Update Management for XML Integrity Constraints, Informal Proceedings of PLAN-X Workshop , 2002.

[9]

Benzaken, V., Doucet, A.: Thémis: A Database Programming Language Handling Integrity Constraints, VLDB J. , 4 (3), 1995, 493-517.

Digital Library

[10]

Benzaken, V., Schaefer, X.: Static Management of Integrity in Object-Oriented Databases: Design and Implementation, Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings (H.-J. Schek, F. Saltor, I. Ramos, G. Alonso, Eds.), 1377, Springer, 1998, ISBN 3-540-64264-1.

[11]

Bernstein, P. A., Blaustein, B. T.: Fast Methods for Testing Quantified Relational Calculus Assertions, Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, Florida, June 2-4, 1982 (M. Schkolnick, Ed.), ACM Press, 1982.

Digital Library

[12]

Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., Böhm, K., Ferrari, E., Eds.: Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings , vol. 2992 of Lecture Notes in Computer Science , Springer, 2004, ISBN 3-540-21200-0.

[13]

Bol, R. N.: Loop checking in partial deduction., Journal of Logic Programming , 16 (1), 1993, 25-46.

[14]

Bonatti, P. A.: On the Decidability of Containment of Recursive Datalog Queries - Preliminary report., PODS , 2004.

Digital Library

[15]

Burstall, R. M., Darlington, J.: A Transformation System for Developing Recursive Programs, J. ACM , 24 (1), 1977, 44-67.

Digital Library

[16]

Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , ACM Press, 1998, ISBN 0-89791-996-3.

Digital Library

[17]

Calvanese, D., Giacomo, G. D., Vardi, M. Y.: Decidable Containment of Recursive Queries, Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings (D. Calvanese, M. Lenzerini, R. Motwani, Eds.), 2572, Springer, 2002, ISBN 3-540-00323-1.

[18]

Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver, PLILP 1997 , 1292, Springer, 1997.

[19]

Carrico, S., Ewbank, B., Griffin, T. G., Meale, J., Trickey, H.: A tool for developing safe and efficient database transactions, XV International Switching Symposium of the World Telecomminications Congress. April, 1995 , 1995.

[20]

Catarci, T., Cruz, I. F.: On Expressing Stratified Datalog, 2nd ICLP Workshop on Deductive Databases and Logic Programming, June 1994, Italy , 1994.

[21]

Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)., VLDB , 2000.

[22]

Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic Generation of Production Rules for Integrity Maintenance, ACM Trans. Database Syst. , 19 (3), 1994, 367-422.

Digital Library

[23]

Ceri, S., Gottlob, G., Tanca, L.: Logic programming and databases , Springer-Verlag New York, Inc., 1990, ISBN 0-387-51728-6.

[24]

Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintainance, 16th International Conference on Very Large Data Bases (D. McLeod, R. Sacks-Davis, H.-J. Schek, Eds.), Morgan Kaufmann, 1990, ISBN 1-55860-149-X.

[25]

Chakravarthy, U. S., Grant, J., Minker, J.: Foundations of Semantic Query Optimization for Deductive Databases, in: Foundations of Deductive Databases and Logic Programming. , Morgan Kaufmann, 1988, ISBN 0-934613-40-0, 243-273.

[26]

Chakravarthy, U. S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization, ACM Transactions on Database Systems (TODS) , 15 (2), 1990, 162-207, ISSN 0362-5915.

[27]

Chomicki, J.: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding., ACM Trans. Database Syst. , 20 (2), 1995, 149-186.

Digital Library

[28]

Christiansen, H.: Automated Reasoning with a Constraint-Based Metainterpreter., Journal of Logic Programming , 37 (1-3), 1998, 213-254.

[29]

Christiansen, H.: Integrity constraints and constraint logic programming, INAP'99; Proceedings of the 12th International Conference on Application of Prolog , Science University of Tokyo, Japan, 1999, Invited talk.

[30]

Christiansen, H., Dahl, V.: Assumptions and Abduction in Prolog, Proceedings of WLPE 2004: 14th Workshop on Logic Programming Environments and MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages Workshop Proceedings (S. Muñoz-Hernández, J. M. Gómez-Perez, P. Hofstedt, Eds.), 2004.

[31]

Christiansen, H., Martinenghi, D.: Symbolic Constraints for Meta-Logic Programming, Applied Artificial Intelligence , 14 (4), 2000, 345-367.

[32]

Christiansen, H., Martinenghi, D.: Simplification of database integrity constraints revisited: A transformational approach, Logic-Based Program Synthesis and Transformation (LOPSTR'03) (M. Bruynooghe, Ed.), 3018, Springer, 2004.

[33]

Christiansen, H., Martinenghi, D.: Simplification of integrity constraints for data integration, Foundations of Information and Knowledge Systems, Third International Symposium (FoIKS 2004) (D. Seipel, J. M. T. Torres, Eds.), 2942, Springer, 2004, ISBN 3-540-20965-4.

[34]

Clark, K. L.: Negation as Failure., Logic and Data Bases (H. Gallaire, J. Minker, Eds.), Plenum, 1977.

[35]

Cohen, S., Nutt, W., Sagiv, Y.: Containment of Aggregate Queries., ICDT , 2003.

[36]

Cowley, W., Plexousakis, D.: Temporal Integrity Constraints with Indeterminacy, VLDB 2000, Proceedings of 26th International Conference on Very Large Data Bases, September 10-14, 2000, Cairo, Egypt (A. E. Abbadi, M. L. Brodie, S. Chakravarthy, U. Dayal, N. Kamel, G. Schlageter, K.-Y. Whang, Eds.), Morgan Kaufmann, 2000, ISBN 1-55860-715-3.

[37]

Das, S.: Deductive Databases and Logic Programming , Addison-Wesley, 1992.

[38]

Das, S. K., Williams, M. H.: Integrity checking methods in deductive databases: a comparative evaluation, BNCOD 7: Proceedings of the seventh British national conference on Databases , Cambridge University Press, 1989, ISBN 0-521-38281-5.

[39]

Das, S. K., Williams, M. H.: A Path Finding Method for Constraint Checking in Deductive Databases., Data & Knowledge Engineering , 4 , 1989, 223-244.

Digital Library

[40]

Decker, H.: Integrity Enforcement on Deductive Databases., Expert Database Conf. , 1986.

[41]

Decker, H.: Translating advanced integrity checking technology to SQL, in: Database integrity: challenges and solutions , Idea Group Publishing, 2002, ISBN 1-59140-024-4, 203-249.

Digital Library

[42]

Decker, H., Celma, M.: A Slick Procedure for Integrity Checking in Deductive Databases, in: Logic Programming: Proc. of the 11th International Conference on Logic Programming (P. Van Hentenryck, Ed.), MIT Press, Cambridge, MA, 1994, 456-469.

[43]

Dijkstra, E. W.: A Discipline of Programming , Prentice-Hall, 1976.

Digital Library

[44]

Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL., SIGMOD Record , 29 (1), 2000, 44-51.

Digital Library

[45]

Eisinger, N., Ohlbach, H. J.: Deduction Systems Based on Resolution, in: Handbook of Logic in Artificial Intelligence and Logic Programming - Vol 1: Logical Foundations (D. M. Gabbay, C. J. Hogger, J. A. Robinson, Eds.), Clarendon Press, Oxford, 1993, 183-271.

[46]

Fan, W., Libkin, L.: On XML Integrity Constraints in the Presence of DTDs., PODS , 2001.

[47]

Fan, W., Siméon, J.: Integrity Constraints for XML, Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA , ACM, 2000, ISBN 1-58113-214-X.

Digital Library

[48]

Florescu, D., Levy, A., Suciu, D.: Query Containment for Conjunctive Queries with Regular Expressions, PODS '98. Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington (ACM, Ed.), ACM Press, New York, NY 10036, USA, 1998, ISBN 0-89791-996-3.

Digital Library

[49]

Frühwirth, T. W.: Theory and Practice of Constraint Handling Rules., Journal of Logic Programming , 37 (1- 3), 1998, 95-138.

[50]

Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity Constraints: Semantics and Applications, Logics for Databases and Information Systems , 1998.

[51]

Godfrey, P., Gryz, J., Zuzarte, C.: Exploiting constraint-like data characterizations in query optimization,

[52]

Grant, J., Minker, J.: Integrity Constraints in Knowledge Based Systems, Knowledge Engineering Vol II, Applications (H. Adeli, Ed.), McGraw-Hill, 1990.

[53]

Grant, J., Minker, J.: The impact of logic programming on databases, Commun. ACM , 35 (3), 1992, 66-81, ISSN 0001-0782.

Digital Library

[54]

Gupta, A., Mumick, I. S., Eds.: Materialized views: techniques, implementations, and applications , MIT Press, 1999, ISBN 0-262-57122-6.

[55]

Henschen, L., McCune, W., Naqvi, S.: Compiling Constraint-Checking Programs from First-Order Formulas, Advances In Database Theory, February 1-5, 1988, Los Angeles, California, USA (H. Gallaire, J. Minker, J.-M. Nicolas, Eds.), 2, Plenum Press, New York, 1984.

[56]

Hoare, C.: An axiomatic basis for computer programming, Communications of the ACM , 12 (10), 1969, 576-580.

Digital Library

[57]

Hsu, A., Imielinski, T.: Integrity Checking for Multiple Updates, Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 28-31, 1985 (S. B. Navathe, Ed.), ACM Press, 1985.

Digital Library

[58]

Ioannidis, Y. E., Wong, E.: Towards an algebraic theory of recursion, J. ACM , 38 (2), 1991, 329-381, ISSN 0004-5411.

Digital Library

[59]

Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation , Prentice Hall International, 1993, ISBN 0-13-020249-5.

[60]

Kakas, A. C., Kowalski, R. A., Toni, F.: Abductive Logic Programming, Journal of Logic and Computation , 2 , 1992, 719-770.

[61]

Knuth, D., Bendix, P.: Simple word problems in universal algebras, Computational Problems in Abstract Algebras , 1970, 263-297.

[62]

Kowalski, R. A., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases, VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England (P. M. Stocker,W. Kent, P. Hammersley, Eds.), Morgan Kaufmann, 1987, ISBN 0-934613-46-X.

[63]

Lakhotia, A., Sterling, L.: How to Control Unfolding when Specializing Interpreters., New Generation Comput. , 8 (1), 1990, 61-70.

Digital Library

[64]

Lee, S. Y., Ling, T. W.: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases, VLDB'96, Proceedings of 22th International Conference on Very Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India (T. M. Vijayaraman, A. P. Buchmann, C. Mohan, N. L. Sarda, Eds.), Morgan Kaufmann, 1996, ISBN 1-55860-382-4.

[65]

Leitsch, A.: Resolution Theorem Proving: A Logical Point of View, Logic Colloquium '01: Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001 (M. Baaz, Ed.), A. K. Peters Ltd, 2001.

[66]

Leuschel, M.: Homeomorphic Embedding for Online Termination of Symbolic Methods., The Essence of Computation , 2002.

Digital Library

[67]

Leuschel, M., Schreye, D. D.: Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters, Journal of Logic Programming , 36 (2), 1998, 149-193.

[68]

Leuschel, M., Schreye, D. D., de Waal, D. A.: A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration., Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming (JICSLP) (M. J. Maher, Ed.), 1996.

[69]

Lloyd, I.W., Topor, R.W.: A basis for deductive database systems. II, Journal of Logic Programming , 30 (1), 1986, 55-67, ISSN 0743-1066.

Digital Library

[70]

Lloyd, J.: Foundations of Logic Programming (2nd Edition) , Springer, Berlin, 1987.

[71]

Lloyd, J. W., Sonenberg, L., Topor, R. W.: Integrity Constraint Checking in Stratified Databases, Journal of Logic Programming , 4 (4), 1987, 331-343.

Digital Library

[72]

Martinenghi, D.: Optimal Database Locks for Efficient Integrity Checking., Advances in Databases and Information Systems (ADBIS), Local Proceedings , 2004.

[73]

Martinenghi, D.: Simplification of integrity constraints with aggregates and arithmetic built-ins, Flexible Query-Answering Systems (FQAS'04) (H. Christiansen, M.-S. Hacid, T. Andreasen, H. L. Larsen, Eds.), 3055, Springer, 2004.

[74]

Martinenghi, D.: A Simplification Procedure for Integrity Constraints, http://www.dat.ruc.dk/~dm/ spic/index.html, 2004.

[75]

Martinenghi, D.: Advanced Techniques for Efficient Data Integrity Checking , Ph.D. Thesis, Roskilde University, Denmark, in Datalogiske Skrifter , 105, http://www.ruc.dk/dat/forskning/skrifter/DS105.pdf, 2005.

[76]

Martinenghi, D., Christiansen, H., Decker, H.: Integrity Checking and Maintenance in Relational and Deductive Databases - and Beyond, in: Intelligent Databases: Technologies and Applications , Idea Group Inc., 2006, To appear.

[77]

Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating, Advances in Conceptual Modeling: ER '99 Workshops, Paris, France, November 15-18, 1999, Proceedings (P. P. Chen, D. W. Embley, J. Kouloumdjian, S. W. Liddle, J. F. Roddick, Eds.), 1727, Springer, 1999, ISBN 3-540-66653-2.

[78]

Mogensen, T. Æ., Schmidt, D. A., Sudborough, I. H., Eds.: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones {on occasion of his 60th birthday} , vol. 2566 of Lecture Notes in Computer Science , Springer, 2002, ISBN 3-540-00326-6.

[79]

Naughton, J. F.: Minimizing function-free recursive inference rules, J. ACM , 36 (1), 1989, 69-91, ISSN 0004-5411.

Digital Library

[80]

Naughton, J. F., Ramakrishnan, R., Sagiv, Y., Ullman, J. D.: Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31 - June 2, 1989 (J. Clifford, B. G. Lindsay, D. Maier, Eds.), ACM Press, 1989.

Digital Library

[81]

Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases, Acta Informatica , 18 , 1982, 227-253.

Digital Library

[82]

Nilsson, U., Ma¿uzynski, J.: Logic, Programming and Prolog (2nd ed.) , John Wiley & Sons Ltd, 1995.

[83]

Papakonstantinou, Y., Vianu, V.: Incremental Validation of XML Documents., ICDT , 2003.

Digital Library

[84]

Qian, X.: An Effective Method for Integrity Constraint Simplification, Proceedings of the Fourth International Conference on Data Engineering, February 1-5, 1988, Los Angeles, California, USA , IEEE Computer Society, 1988, ISBN 0-8186-0827-7.

[85]

Robinson, J. A.: A Machine-Oriented Logic Based on the Resolution Principle, J. ACM , 12 (1), 1965, 23-41, ISSN 0004-5411.

Digital Library

[86]

Sadri, F., Kowalski, R.: A Theorem-Proving Approach to Database Integrity, in: Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Kaufmann, Los Altos, CA, 1988, 313-362.

[87]

Seljée, R.: A New Method for Integrity Constraint Checking in Deductive Database., Data & Knowledge Engineering , 15 (1), 1995, 63-102.

Digital Library

[88]

Seljée, R.: A Fact Integrity Constraint Checking System for the Validation of Semantic Integrity Constraints after Updating Consistent Deductive Databases , Ph.D. Thesis, Tilburg University, 1997.

[89]

Seljée, R., de Swart, H. C. M.: Three Types of Redundancy in Integrity Checking: An Optimal Solution, Data & Knowledge Engineering , 30 (2), 1999, 135-151.

Digital Library

[90]

Shmueli, O.: Decidability and expressiveness aspects of logic queries, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , ACM Press, 1987, ISBN 0- 89791-223-3.

Digital Library

[91]

Shmueli, O.: Equivalence of Datalog Queries is Undecidable, Journal of Logic Programming , 15 (3), February 1993, 231-242.

Digital Library

[92]

Sterling, L., Beer, R. D.: Metainterpreters for Expert System Construction., Journal of Logic Programming , 6 (1&2), 1989, 163-178.

[93]

Stonebraker, M.: Implementation of Integrity Constraints and Views by Query Modification, Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 14-16, 1975 (W. F. King, Ed.), ACM, 1975.

Digital Library

[94]

Tamaki, H., Sato, T.: Unfold/Fold Transformation of Logic Programs., Logic Programming, Proceedings of the Second International Logic Programming Conference (ICLP) (S.-A. ke Tärnlund, Ed.), 1984.

[95]

Ullman, J. D.: Principles of Database and Knowledge-Base Systems, Volume I & II , Computer Science Press, 1988/89.

Cited By

Parthy ASilberstein LKowalczyk EHigh JNagarajan AMemon ASharp HWhalen M(2019)Using machine learning to recommend correctness checks for geographic map dataProceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP.2019.00032(223-232)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1109/ICSE-SEIP.2019.00032
Delhibabu R(2015)Comparative study of view update algorithms in rational choice theoryApplied Intelligence10.1007/s10489-014-0580-742:3(447-465)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1007/s10489-014-0580-7
Decker H(2011)Partial repairs that tolerate inconsistencyProceedings of the 15th international conference on Advances in databases and information systems10.5555/2041746.2041784(389-400)Online publication date: 20-Sep-2011
https://dl.acm.org/doi/10.5555/2041746.2041784
Show More Cited By

On Simplification of Database Integrity Constraints

Recommendations

On Simplification of Database Integrity Constraints

Without proper simplification techniques, database integrity checking can be prohibitively time consuming. Several methods have been developed for producing simplified incremental checks for each update but none until now of sufficient quality and ...
Robust structure simplification for hex re-meshing

We introduce a robust and automatic algorithm to simplify the structure and reduce the singularities of a hexahedral mesh. Our algorithm interleaves simplification operations to collapse sheets and chords of the base complex of the input mesh with a ...
Hierarchical topology-preserving simplification of terrains

We present an algorithm for simplifying terrain data that preserves topology. We use a decimation algorithm that simplifies the given data set using hierarchical clustering. Topology constraints, along with local error metrics, are used to ensure ...

Comments

Information & Contributors

Information

Published In

cover image Fundamenta Informaticae

Fundamenta Informaticae Volume 71, Issue 4

December 2006

126 pages

ISSN:0169-2968

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 December 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Parthy ASilberstein LKowalczyk EHigh JNagarajan AMemon ASharp HWhalen M(2019)Using machine learning to recommend correctness checks for geographic map dataProceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP.2019.00032(223-232)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1109/ICSE-SEIP.2019.00032
Delhibabu R(2015)Comparative study of view update algorithms in rational choice theoryApplied Intelligence10.1007/s10489-014-0580-742:3(447-465)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1007/s10489-014-0580-7
Decker H(2011)Partial repairs that tolerate inconsistencyProceedings of the 15th international conference on Advances in databases and information systems10.5555/2041746.2041784(389-400)Online publication date: 20-Sep-2011
https://dl.acm.org/doi/10.5555/2041746.2041784
Decker H(2011)Inconsistency-tolerant integrity checking based on inconsistency metricsProceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II10.5555/2041341.2041404(548-558)Online publication date: 12-Sep-2011
https://dl.acm.org/doi/10.5555/2041341.2041404
Decker H(2011)Causes of the violation of integrity constraints for supporting the quality of databasesProceedings of the 2011 international conference on Computational science and Its applications - Volume Part V10.5555/2029427.2029453(283-292)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2029427.2029453
Decker HMartinenghi D(2009)Modeling, Measuring and Monitoring the Quality of InformationProceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives10.1007/978-3-642-04947-7_26(212-221)Online publication date: 15-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-04947-7_26
Christiansen H(2009)Implementing Probabilistic Abductive Logic Programming with Constraint Handling RulesConstraint Handling Rules10.1007/978-3-540-92243-8_5(85-118)Online publication date: 26-Mar-2009
https://dl.acm.org/doi/10.1007/978-3-540-92243-8_5
Decker HMartinenghi DAntoy SAlbert E(2008)Classifying integrity checking methods with regard to inconsistency toleranceProceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming10.1145/1389449.1389474(195-204)Online publication date: 15-Jul-2008
https://dl.acm.org/doi/10.1145/1389449.1389474
Decker H(2008)Extending Inconsistency-Tolerant Integrity Checking by Semantic Query OptimizationProceedings of the 19th international conference on Database and Expert Systems Applications10.1007/978-3-540-85654-2_11(89-96)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.1007/978-3-540-85654-2_11
Decker HMartinenghi D(2006)A relaxed approach to integrity and inconsistency in databasesProceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning10.1007/11916277_20(287-301)Online publication date: 13-Nov-2006
https://dl.acm.org/doi/10.1007/11916277_20
Show More Cited By

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents