Getting Rid of Straitjackets for Flexible Integrity Checking
暂无分享,去创建一个
[1] Serge Abiteboul,et al. A transaction-based approach to relational database specification , 1989, JACM.
[2] Ernest Teniente,et al. On the abductive or deductive nature of database schema validation and update processing problems , 2003, Theory and Practice of Logic Programming.
[3] Davide Martinenghi. Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins , 2004, FQAS.
[4] Letizia Tanca,et al. Automatic generation of production rules for integrity maintenance , 1994, TODS.
[5] Hendrik Decker,et al. One Abductive Logic Programming Procedure for Two Kinds of Updates , 1997 .
[6] Subrata Kumar Das,et al. Deductive Databases and Logic Programming , 1992 .
[7] Hendrik Decker,et al. Integrity Checking and Maintenance in Relational and Deductive Database and Beyond , 2007 .
[8] Jennifer Widom,et al. The Lowell database research self-assessment , 2003, CACM.
[9] Hendrik Decker,et al. A Relaxed Approach to Integrity and Inconsistency in Databases , 2006, LPAR.
[10] Liz Sonenberg,et al. Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..
[11] Danny De Schreye,et al. Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters , 1998, J. Log. Program..
[12] Henning Christiansen,et al. On Simplification of Database Integrity Constraints , 2006, Fundam. Informaticae.
[13] Hendrik Decker,et al. On Generalized Cover Axioms , 1991, ICLP.