Database Consistency Verification is a formal method used in database recovery that systematically checks whether a database state conforms to predefined integrity constraints and transactional consistency rules, thereby ensuring that the database remains in a correct and recoverable state after failures.
12
Publications
432
Citations
26
Authors
15
Institutions
Publications per year
2017–2026
0
Parents
Publications
12
Proving Consistency Of Database Transactions
Georges Gardarin, Michel A. Melkanoff · 1979 · 53 citations
1–5 of 12
Authors
26
- CA
2
h-index
- CG
1
h-index
- MAMichel A. Melkanoff
University of California, Los Angeles, United States
1 publications · 53 citations
1
h-index
- GR
1
h-index
- SP
1
h-index
1–5 of 26
Institutions
15
University of California, Los Angeles
Los Angeles, United States
1 h-index
1 publications
53 citations
Universitat Politècnica de Catalunya
Barcelona, Spain
1 h-index
4 publications
60 citations
Sorbonne Université
Paris, France
1 h-index
1 publications
53 citations
University of Wollongong
Wollongong, Australia
1 h-index
1 publications
24 citations
Université Paris Cité
Paris, France
1 h-index
1 publications
53 citations
SRI International
Menlo Park, United States
1 h-index
2 publications
76 citations
Harvard University
Cambridge, United States
1 h-index
1 publications
46 citations
Xidian University
Xi'an, China
1 h-index
3 publications
72 citations
1–8 of 15
Venues
- ACM Transactions on Database Systems
TODS · 1 publications · 45 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 46 citations
1
h-index
- The VLDB Journal
1 publications · 75 citations
1
h-index
- ACM SIGOPS Operating Systems Review
1 publications · 68 citations
1
h-index
- Journal of Computer and System Sciences
1 publications · 24 citations
1
h-index
1–5