메뉴 건너뛰기




Volumn , Issue , 2007, Pages 243-254

Extending dependencies with conditions

Author keywords

[No Author keywords available]

Indexed keywords

STATIC ANALYSIS;

EID: 85011024333     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (89)

References (25)
  • 2
    • 0345393818 scopus 로고    scopus 로고
    • Consistent query answers in inconsistent databases
    • M. Arenas, L. E. Bertossi, and J. Chomicki. Consistent query answers in inconsistent databases. TPLP, 3(4-5):393-424, 2003.
    • (2003) TPLP , vol.3 , Issue.4-5 , pp. 393-424
    • Arenas, M.1    Bertossi, L.E.2    Chomicki, J.3
  • 4
    • 0033169436 scopus 로고    scopus 로고
    • Constraint-generating dependencies
    • M. Baudinet, J. Chomicki, and P. Wolper. Constraint-Generating Dependencies. JCSS, 59(1):94-115, 1999.
    • (1999) JCSS , vol.59 , Issue.1 , pp. 94-115
    • Baudinet, M.1    Chomicki, J.2    Wolper, P.3
  • 5
    • 0021508773 scopus 로고
    • A proof procedure for data dependencies
    • C. Beeri and M. Vardi. A proof procedure for data dependencies. JACM, 31(4):718-741, 1984.
    • (1984) JACM , vol.31 , Issue.4 , pp. 718-741
    • Beeri, C.1    Vardi, M.2
  • 6
    • 33745186641 scopus 로고    scopus 로고
    • Consistent query answering in databases
    • L. Bertossi. Consistent query answering in databases. SIGMOD Rec., 35(2):68-76, 2006.
    • (2006) SIGMOD Rec. , vol.35 , Issue.2 , pp. 68-76
    • Bertossi, L.1
  • 8
    • 29844436973 scopus 로고    scopus 로고
    • A cost-based model and effective heuristic for repairing constraints by value modification
    • P. Bohannon, W. Fan, M. Flaster, and R. Rastogi. A cost-based model and effective heuristic for repairing constraints by value modification. In SIGMOD, pages 143-154, 2005.
    • (2005) SIGMOD , pp. 143-154
    • Bohannon, P.1    Fan, W.2    Flaster, M.3    Rastogi, R.4
  • 10
    • 0001866067 scopus 로고    scopus 로고
    • SIC: Satisfiability checking for integrity constraints
    • F. Bry, N. Eisinger, H. Schütz, and S. Torge. SIC: Satisfiability checking for integrity constraints. In DDLP, pages 25-36, 1998.
    • (1998) DDLP , pp. 25-36
    • Bry, F.1    Eisinger, N.2    Schütz, H.3    Torge, S.4
  • 11
    • 0021375959 scopus 로고
    • Inclusion dependencies and their interaction with functional dependencies
    • M. A. Casanova, R. Fagin, and C. H. Papadimitriou. Inclusion dependencies and their interaction with functional dependencies. JCSS, 28(1):29-59, 1984.
    • (1984) JCSS , vol.28 , Issue.1 , pp. 29-59
    • Casanova, M.A.1    Fagin, R.2    Papadimitriou, C.H.3
  • 12
    • 0022739258 scopus 로고
    • Domino-tiling games
    • B. S. Chlebus. Domino-tiling games. JCSS, 32(3):374-392, 1986.
    • (1986) JCSS , vol.32 , Issue.3 , pp. 374-392
    • Chlebus, B.S.1
  • 13
    • 14744293228 scopus 로고    scopus 로고
    • Minimal-change integrity maintenance using tuple deletions
    • J. Chomicki and J. Marcinkowski. Minimal-change integrity maintenance using tuple deletions. Information and Computation, 197(1-2):90-121, 2005.
    • (2005) Information and Computation , vol.197 , Issue.1-2 , pp. 90-121
    • Chomicki, J.1    Marcinkowski, J.2
  • 14
    • 33644910155 scopus 로고    scopus 로고
    • Query reformulation with constraints
    • A. Deutsch, L. Popa, and V. Tannen. Query reformulation with constraints. SIGMOD Record, 35(1):65-73, 2006.
    • (2006) SIGMOD Record , vol.35 , Issue.1 , pp. 65-73
    • Deutsch, A.1    Popa, L.2    Tannen, V.3
  • 15
    • 84877086968 scopus 로고    scopus 로고
    • Census data repair: A challenging application of disjunctive logic programming
    • E. Franconi, A. L. Palma, N. Leone, S. Perri, and F. Scarcello. Census data repair: a challenging application of disjunctive logic programming. In LPAR, pages 561-578, 2001.
    • (2001) LPAR , pp. 561-578
    • Franconi, E.1    Palma, A.L.2    Leone, N.3    Perri, S.4    Scarcello, F.5
  • 16
    • 29844438087 scopus 로고    scopus 로고
    • Clio grows up: From research prototype to industrial tool
    • L. Haas, M. Hernández, H. Ho, L. Popa, and M. Roth. Clio grows up: from research prototype to industrial tool. In SIGMOD, 2005.
    • (2005) SIGMOD
    • Haas, L.1    Hernández, M.2    Ho, H.3    Popa, L.4    Roth, M.5
  • 17
    • 0021375730 scopus 로고
    • Testing containment of conjunctive queries under functional and inclusion dependencies
    • D. S. Johnson and A. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. JCSS, 28(1):167-189, 1984.
    • (1984) JCSS , vol.28 , Issue.1 , pp. 167-189
    • Johnson, D.S.1    Klug, A.2
  • 18
    • 33244483085 scopus 로고    scopus 로고
    • Schema mappings, data exchange, and metadata management
    • P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In PODS, 2005.
    • (2005) PODS
    • Kolaitis, P.G.1
  • 19
    • 85011079582 scopus 로고    scopus 로고
    • Lens Computer Science Research Centre. SAT4j home page, 2003. http://www.sat4j.org/.
    • (2003)
  • 20
    • 34548805589 scopus 로고    scopus 로고
    • Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics
    • A. Lopatenko and L. Bertossi. Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In ICDT, 2007.
    • (2007) ICDT
    • Lopatenko, A.1    Bertossi, L.2
  • 21
    • 0031077049 scopus 로고    scopus 로고
    • Constrained dependencies
    • M. J. Maher. Constrained dependencies. Theoretical Computer Science, 173(1):113-149, 1997.
    • (1997) Theoretical Computer Science , vol.173 , Issue.1 , pp. 113-149
    • Maher, M.J.1
  • 22
    • 0029719626 scopus 로고    scopus 로고
    • Chasing constrained tuple-generating dependencies
    • M. J. Maher and D. Srivastava. Chasing Constrained Tuple-Generating Dependencies. In PODS, 1996.
    • (1996) PODS
    • Maher, M.J.1    Srivastava, D.2
  • 23
    • 52649142520 scopus 로고
    • Satisfiability of integrity constraints: Reflections on a neglected problem
    • R. Manthey. Satisfiability of integrity constraints: Reflections on a neglected problem. In FMLDO, pages 169-179, 1990.
    • (1990) FMLDO , pp. 169-179
    • Manthey, R.1
  • 24
    • 0002490026 scopus 로고    scopus 로고
    • Data cleaning: Problems and current approaches
    • E. Rahm and H. H. Do. Data cleaning: Problems and current approaches. IEEE Data Eng. Bull., 23(4):3-13, 2000.
    • (2000) IEEE Data Eng. Bull. , vol.23 , Issue.4 , pp. 3-13
    • Rahm, E.1    Do, H.H.2
  • 25
    • 33745206041 scopus 로고    scopus 로고
    • Database repairing using updates
    • J. Wijsen. Database repairing using updates. TODS, 30(3):722-768, 2005.
    • (2005) TODS , vol.30 , Issue.3 , pp. 722-768
    • Wijsen, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.