Aletheia: Automated Detection of Data Integrity Violations in Microservices
Talkat 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) · 2026-07-13..07-15·
summary
Formalizes integrity violations with the Entity-Relationship model and relational algebra and implements a static analyzer, Aletheia, that uses static single assignment and a scalable abstract call graph to infer cross-service foreign keys and five problematic operation patterns (for example absence of cascade deletes). Evaluated on 7 open-source microservice apps (including Train Ticket), it finds 50 true positives (46 previously unreported), 12 false positives, 22 false negatives, yielding 81% precision and 69% recall, and scales to call graphs with up to 500 services.
AI-written summary · about
chapters (6)
- 0:00Microservices and data integrity
- 2:23Data integrity challenges
- 4:07Integrity violation patterns
- 7:43Aletheia static analysis
- 12:20Evaluation results
- 14:46Summary
related talks
30mMeasuring Microservices
30mThe Entity Microservice Trap: You May Be Doing It Wrong
46mData Integrity 2.0. The biggest advancement in data quality in 30 years!
44mProphet: On holistic analysis of microservice applications
27mData Consistency in Microservices Architecture
40mMeasuring Micro-services
52mFrom Microservices to Agent Services Architectural Patterns for Autonomous System..
49mPractical Microservice Security