Concepedia

Schema Refinement

Schema Refinement is a formal method within refinement calculus that systematically transforms abstract specifications into more concrete, operationally executable schemas while preserving logical consistency and correctness through stepwise refinement.

72

Publications

3K

Citations

218

Authors

105

Institutions

Publications per year

2017–2026

6

Parents

Publications

72

Correct architecture refinement

Mark Moriconi, Xiaoyan Qian, R. A. Riemenschneider · IEEE Transactions on Software Engineering · 1995 · 329 citations

, , +17

Data-driven understanding and refinement of schema mappings

Ling Ling Yan, Renée J. Miller, Laura M. Haas et al. · 2001 · 197 citations

, , +13

Transforming Heterogeneous Data with Database Middleware: Beyond Integration.

Laura M. Haas, Renée J. Miller, B. Niswonger et al. · 1999 · 190 citations

, , +17

An introduction to Z and formal specifications

Justin M Spivey · Software Engineering Journal · 1989 · 141 citations

, , +16

Automating data warehouse conceptual schema design and evaluation.

Cassandra J Phipps, Karen Davis · 2002 · 129 citations

, , +17

1–5 of 72

Authors

218

  1. LM
    Laura M. Haas

    IBM Research - Almaden, United States

    3 publications · 432 citations

    3

    h-index

  2. HV
    H. V. Jagadish

    University of Michigan, United States

    3 publications · 121 citations

    3

    h-index

  3. JV
    Joost Visser

    Radboud University Nijmegen, Netherlands

    3 publications · 117 citations

    3

    h-index

  4. AP
    Alexandra Poulovassilis

    Birkbeck, University of London, United Kingdom

    3 publications · 125 citations

    3

    h-index

  5. RJ
    Renée J. Miller

    University of Toronto, Canada

    3 publications · 432 citations

    3

    h-index

1–5 of 218

Institutions

105

  1. IBM Research - Almaden

    San Jose, United States

    4 h-index

    10 publications

    992 citations

  2. IBM (United States)

    Armonk, United States

    4 h-index

    8 publications

    738 citations

  3. University of Michigan

    Ann Arbor, United States

    4 h-index

    8 publications

    320 citations

  4. University of Minho

    Braga, Portugal

    3 h-index

    6 publications

    196 citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    2 publications

    77 citations

  6. TU Dortmund University

    Dortmund, Germany

    2 h-index

    4 publications

    75 citations

  7. University of California, Santa Cruz

    Santa Cruz, United States

    2 h-index

    5 publications

    364 citations

  8. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    105 citations

1–8 of 105

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 66 citations

    3

    h-index

  2. ACM Transactions on Database Systems

    TODS · 3 publications · 121 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 76 citations

    2

    h-index

  4. Data & Knowledge Engineering

    DKE · 2 publications · 104 citations

    2

    h-index

  5. Journal of Biomedical Informatics

    2 publications · 41 citations

    2

    h-index

1–5