Extending inclusion dependencies with conditions

Theoretical Computer Science

Volumn 515, Issue , 2014, Pages 64-95

  Ma, Shuai ^a   Fan, Wenfei ^a,b   Bravo, Loreto ^c  

^a BEIHANG UNIVERSITY   (China)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF CONCEPCIÓN   (Chile)

Author keywords

Data cleaning; Implication; Inclusion dependencies; Satisfiability; Schema matching

Indexed keywords

DATA CLEANING; IMPLICATION; INCLUSION DEPENDENCIES; SATISFIABILITY; SCHEMA MATCHING;

COMPUTER SCIENCE;

FORMAL LOGIC;

EID: 84890119754     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2013.11.002     Document Type: Article

References (49)

1. W. Fan, F. Geerts, X. Jia, and A. Kementsietsidis Conditional functional dependencies for capturing data inconsistencies ACM Trans. Database Syst. 33 2 2008 Article 6
2. G. Cong, W. Fan, F. Geerts, X. Jia, and S. Ma Improving data quality: Consistency and accuracy VLDB 2007 315 326
3. F. Chiang, and R.J. Miller Discovering data quality rules PVLDB 1 1 2008 1166 1177
4. L. Golab, H.J. Karloff, F. Korn, D. Srivastava, and B. Yu On generating near-optimal tableaux for conditional functional dependencies PVLDB 1 1 2008 376 390
5. W. Fan, H. Gao, X. Jia, J. Li, and S. Ma Dynamic constraints for record matching VLDB J. 20 4 2011 495 520
6. W. Fan, J. Li, S. Ma, N. Tang, and W. Yu Interaction between record matching and data repairing SIGMOD 2011 469 480
7. W. Fan, J. Li, N. Tang, and W. Yu Incremental detection of inconsistencies in distributed data ICDE 2012 318 329
8. P. Bohannon, W. Fan, M. Flaster, and R. Rastogi A cost-based model and effective heuristic for repairing constraints by value modification SIGMOD 2005 143 154
9. J. Chomicki, and J. Marcinkowski Minimal-change integrity maintenance using tuple deletions Inf. Comput. 197 1-2 2005 90 121
10. L. Haas, M. Hernández, H. Ho, L. Popa, and M. Roth Clio grows up: from research prototype to industrial tool SIGMOD 2005 805 810
11. P. Bohannon, E. Elnahrawy, W. Fan, and M. Flaster Putting context into schema matching VLDB 2006 307 318
12. L. Bravo, W. Fan, and S. Ma Extending dependencies with conditions VLDB 2007 243 254
13. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley
14. S.S. Cosmadakis, and P.C. Kanellakis Functional and inclusion dependencies a graph theoretic approach PODS 1984 29 37
15. S.S. Cosmadakis, P.C. Kanellakis, and M.Y. Vardi Polynomial-time implication problems for unary inclusion dependencies J. ACM 37 1 1990 15 46
16. P.G. Kolaitis Schema mappings, data exchange, and metadata management PODS 2005 61 75
17. S. Ginsburg, and E.H. Spanier On completing tables to satisfy functional dependencies Theor. Comput. Sci. 39 1985 309 317
18. C. Beeri, and M. Vardi A proof procedure for data dependencies J. ACM 31 4 1984 718 741
19. R. Fagin, and M.Y. Vardi Armstrong databases for functional and inclusion dependencies Inf. Process. Lett. 16 1 1983 13 19
20. M.A. Casanova, R. Fagin, and C.H. Papadimitriou Inclusion dependencies and their interaction with functional dependencies J. Comput. Syst. Sci. 28 1 1984 29 59
21. W.J. Savitch Relationships between nondeterministic and deterministic tape complexities J. Comput. Syst. Sci. 4 1970 177 192
22. B.S. Chlebus Domino-tiling games J. Comput. Syst. Sci. 32 3 1986 374 392
23. P. van Emde Boas The convenience of tilings Complexity, Logic, and Recursion Theory 1997 Marcel Dekker
24. E. Sciore Comparing the universal instance and relational data models Adv. Comput. Res. 3 1986 139 162
25. J. Bauckmann, Z. Abedjan, U. Leser, H. Müller, and F. Naumann Discovering conditional inclusion dependencies CIKM 2012 2094 2098
26. O. Curé Improving the data quality of drug databases using conditional dependencies and ontologies J. Data Inf. Qual. 4 1 2012 3
27. N. Immerman Nondeterministic space is closed under complementation SIAM J. Comput. 17 5 1988 935 938
28. R. Szelepcsényi The meothod of focing for nondeterministic automata Bull. Eur. Assoc. Theor. Comput. Sci. 33 1987 96 99
29. C.H. Papadimitriou Computational Complexity 1994 Addison-Wesley
30. M. Garey, and D. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness 1979 W.H. Freeman and Company
31. E.F. Codd Relational completeness of data base sublanguages Data Base Systems Courant Comput. Sci. Symp. Ser. vol. 6 1972 Prentice-Hall 65 98
32. R. Fagin, and M.Y. Vardi The theory of data dependencies - an overview ICALP 1984 1 22
33. M. Arenas, L.E. Bertossi, and J. Chomicki Answer sets for consistent query answering in inconsistent databases Theory Pract. Log. Program. 3 4-5 2003 393 424
34. L. Bertossi Consistent query answering in databases SIGMOD Rec. 35 2 2006 68 76
35. J. Chomicki Consistent query answering: Five easy pieces ICDT 2007 1 17
36. W. Fan Dependencies revisited for improving data quality PODS 2008 159 170
37. W. Fan, J. Li, S. Ma, N. Tang, and W. Yu Towards certain fixes with editing rules and master data VLDB J. 21 2 2012 213 238
38. M.J. Maher, and D. Srivastava Chasing constrained tuple-generating dependencies PODS 1996 128 138
39. L. Bravo, W. Fan, F. Geerts, and S. Ma Increasing the expressivity of conditional functional dependencies without extra complexity ICDE 2008 516 525
40. W. Chen, W. Fan, and S. Ma Incorporating cardinality constraints and synonym rules into conditional functional dependencies Inf. Process. Lett. 109 14 2009 783 789
41. W. Chen, W. Fan, and S. Ma Analyses and validation of conditional dependencies with built-in predicates DEXA 2009 576 591
42. E. Franconi, A.L. Palma, N. Leone, S. Perri, and F. Scarcello Census data repair: a challenging application of disjunctive logic programming LPAR 2001 561 578
43. J. Wijsen Database repairing using updates ACM Trans. Database Syst. 30 3 2005 722 768
44. A. Lopatenko, and L. Bertossi Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics ICDT 2007 179 193
45. M. Arenas, J. Pérez, J. Reutter, and C. Riveros Composition and inversion of schema mappings SIGMOD Rec. 38 3 2009 17 28
46. M. Lenzerini Data integration: A theoretical perspective PODS 2002 233 246
47. D.S. Johnson, and A.C. Klug Testing containment of conjunctive queries under functional and inclusion dependencies J. Comput. Syst. Sci. 28 1 1984 167 189
48. A. Deutsch, L. Popa, and V. Tannen Query reformulation with constraints SIGMOD Rec. 35 1 2006 65 73
49. W. Fan, F. Geerts, J. Li, and M. Xiong Discovering conditional functional dependencies IEEE Trans. Knowl. Data Eng. 23 5 2011 683 698