kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Foundations of Trustworthy AI-Native Data Systems
KTH, School of Electrical Engineering and Computer Science (EECS), Computing and Learning Systems.ORCID iD: 0000-0002-8573-0090
2026 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

In traditional data management systems, queries have well-defined semantics and produce exact results. Integrating Machine Learning inference into data processing pipelines disrupts both properties by introducing operators whose outputs are approximate rather than exact. This thesis establishes two foundations for trustworthy AI-native data systems: empirical characterization of ML operator execution cost, and formal, declarative correctness guarantees that the system enforces on behalf of the user. We develop these foundations across three levels of abstraction, from single-operator cost, to single-operator correctness, to their joint optimization at the pipeline level, and establish Conformal Prediction as a practical statistical foundation for this approach. We introduce Crayfish, a benchmarking framework for ML inference within dataflow engines that reveals how interactions between serving tools, stream processors, and pipeline configurations shape inference costs in ways that are difficult to anticipate from component-level behavior alone. We propose ConANN, the first framework to provide distribution-free recall guarantees for Inverted File-based Approximate Nearest Neighbor search, using conformal methods to replace heuristic index tuning with formal statistical guarantees. At the pipeline level, we study joint cost and correctness optimization in the context of Neural Graph Databases, where multi-hop queries over Knowledge Graphs interleave retrieval and neural execution. We formalize a hybrid query optimization architecture for this setting, then introduce ConRAD, which enforces end-to-end recall guarantees for multi-hop queries while dynamically bypassing expensive neural inference when recall targets can be met with local graph evidence alone. Taken together, these contributions show that the rigor users expect from traditional data systems need not be abandoned as those systems become increasingly driven by Machine Learning.

Abstract [sv]

I traditionella datahanteringssystem har frågor väldefinierad semantik och producerar exakta resultat. Att integrera maskininlärningsinferens i databehandlingspipelines stör båda dessa egenskaper genom att introducera operatorer vars utdata är approximativa snarare än exakta. Denna avhandling etablerar två grundpelare för tillförlitliga AI-nativa datasystem: empirisk karaktärisering av exekveringskostnaden för ML-operatorer, samt formella, deklarativa korrekthetsgarantier som systemet upprätthåller å användarens vägnar. Vi utvecklar dessa grundpelare över tre abstraktionsnivåer, från enskild operatorkostnad till enskild operatorkorrekthet, och slutligen till deras gemensamma optimering på pipelinenivå. Vi etablerar Conformal Prediction som en praktisk statistisk grund för detta tillvägagångssätt. Vi introducerar Crayfish, ett benchmarkingramverk för ML-inferens inom dataflödesmotorer som synliggör hur interaktioner mellan serving-verktyg, strömprocessorer och pipelinekonfigurationer formar inferenskostnaden på sätt som är svåra att förutse enbart utifrån enskilda komponenters beteende. Vi föreslår ConANN, det första ramverket som erbjuder distributionsfria recall-garantier för Inverted File-baserad approximativ närmaste-granne-sökning, genom att använda konforma metoder för att ersätta heuristisk indexjustering med formella statistiska garantier. På pipelinenivå studerar vi gemensam optimering av kostnad och korrekthet i kontexten av neurala grafdatabaser, där flerstegsfrågor över kunskapsgrafer varvar hämtning med neural exekvering. Vi formaliserar en hybrid frågeoptimeringsarkitektur för detta scenario och introducerar sedan ConRAD, som upprätthåller end-to-end recall-garantier för flerstegsfrågor och samtidigt dynamiskt kringgår kostsam neural inferens när recall-målen kan uppnås med enbart lokal grafevidens. Sammantaget visar dessa bidrag att den stringens som användare förväntar sig av traditionella datasystem inte behöver överges i takt med att dessa system i allt högre grad drivs av maskininlärning.

Place, publisher, year, edition, pages
Stockholm, Sweden: KTH Royal Institute of Technology, 2026. , p. 73
Keywords [en]
AI-Native Data Systems, Model Serving, Conformal Risk Control, Approximate Nearest Neighbor Search, Neural Graph Databases, Query Optimization
Keywords [sv]
AI-nativa datasystem, Modellservering, Konform riskkontroll, Approximativ närmaste-granne-sökning, Neurala grafdatabaser, Frågeoptimering
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-382126ISBN: 978-91-8106-628-9 (print)OAI: oai:DiVA.org:kth-382126DiVA, id: diva2:2061824
Public defence
2026-06-15, https://kth-se.zoom.us/j/65502477126, F3 Flodis, Lindstedtvägen 26, Stockholm, 14:00 (English)
Opponent
Supervisors
Note

QC 20260522

Available from: 2026-05-22 Created: 2026-05-22 Last updated: 2026-06-29Bibliographically approved
List of papers
1. Evaluating model serving strategies over streaming data
Open this publication in new window or tab >>Evaluating model serving strategies over streaming data
2022 (English)In: Proceedings of the 6th Workshop on Data Management for End-To-End Machine Learning, DEEM 2022 - In conjunction with the 2022 ACM SIGMOD/PODS Conference, Association for Computing Machinery (ACM) , 2022, article id 4Conference paper, Published paper (Refereed)
Abstract [en]

We present the first performance evaluation study of model serving integration tools in stream processing frameworks. Using Apache Flink as a representative stream processing system, we evaluate alternative Deep Learning serving pipelines for image classification. Our performance evaluation considers both the case of embedded use of Machine Learning libraries within stream tasks and that of external serving via Remote Procedure Calls. The results indicate superior throughput and scalability for pipelines that make use of embedded libraries to serve pre-trained models. Whereas, latency can vary across strategies, with external serving even achieving lower latency when network conditions are optimal due to better specialized use of underlying hardware. We discuss our findings and provide further motivating arguments towards research in the area of ML-native data streaming engines in the future.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2022
Keywords
data streams, machine learning inference
National Category
Other Computer and Information Science
Identifiers
urn:nbn:se:kth:diva-317104 (URN)10.1145/3533028.3533308 (DOI)001119155700006 ()2-s2.0-85133190958 (Scopus ID)
Conference
6th Workshop on Data Management for End-To-End Machine Learning, DEEM 2022 - In conjunction with the 2022 ACM SIGMOD/PODS Conference, 12 June 2022, Virtual, Online
Note

QC 20220906

Part of proceedings: ISBN 978-145039375-1

Available from: 2022-09-06 Created: 2022-09-06 Last updated: 2026-05-22Bibliographically approved
2. Crayfish: Navigating the Labyrinth of Machine Learning Inference in Stream Processing Systems
Open this publication in new window or tab >>Crayfish: Navigating the Labyrinth of Machine Learning Inference in Stream Processing Systems
Show others...
2024 (English)In: Advances in Database Technology - EDBT, Open Proceedings.org , 2024, Vol. 27, p. 676-689, article id 3Conference paper, Published paper (Refereed)
Abstract [en]

As Machine Learning predictions are increasingly being used in business analytics pipelines, integrating stream processing with model serving has become a common data engineering task. Despite their synergies, separate software stacks typically handle streaming analytics and model serving. Systems for data stream management do not support ML inference out-of-the-box, while model-serving frameworks have limited functionality for continuous data transformations, windowing, and other streaming tasks. As a result, developers are left with a design space dilemma whose trade-offs are not well understood. This paper presents Crayfish, an extensible benchmarking framework that facilitates designing and executing comprehensive evaluation studies of streaming inference pipelines. We demonstrate the capabilities of Crayfish by studying four data processing systems, three embedded libraries, three external serving frameworks, and two pre-trained models. Our results prove the necessity of a standardized benchmarking framework and show that (1) even for serving tools in the same category, the performance can vary greatly and, sometimes, defy intuition, (2) GPU accelerators can show compelling improvements for the serving task, but the improvement varies across tools, and (3) serving alternatives can achieve significantly different performance, depending on the stream processors they are integrated with.

Place, publisher, year, edition, pages
Open Proceedings.org, 2024
Series
Advances in Database Technology - EDBT, ISSN 2367-2005 ; 27
National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-346149 (URN)10.48786/edbt.2024.58 (DOI)2-s2.0-85190993856 (Scopus ID)
Conference
27th International Conference on Extending Database Technology, EDBT 2024, Paestum, Italy, Mar 25 2024 - Mar 28 2024
Note

QC 20240507

Part of ISBN:

978-389318091-2, 978-389318094-3, 978-389318095-0

Available from: 2024-05-03 Created: 2024-05-03 Last updated: 2026-05-22Bibliographically approved
3. ConANN: Conformal Approximate Nearest Neighbor Search
Open this publication in new window or tab >>ConANN: Conformal Approximate Nearest Neighbor Search
2025 (English)In: Proceedings of the VLDB Endowment, E-ISSN 2150-8097, Vol. 19, no 1, p. 29-42Article in journal (Refereed) Published
Abstract [en]

Approximate Nearest Neighbor (ANN) search is widely used in applications such as recommendation systems, search engines, and natural language processing. Indexing techniques like the Inverted File (IVF) offer efficiency at the cost of accuracy, yet lack formal mechanisms to quantify or control approximation error. Existing approaches that attempt to provide such guarantees typically rely on restrictive assumptions about underlying data distributions, which limits their generalizability. We introduce ConANN, the first framework to provide formal, distribution-free error guarantees for IVF-based ANN search by leveraging recent advances in Conformal Risk Control. Empirical evaluation across five standard benchmarks demonstrates that ConANN: (1) tightly controls approximation error, achieving a worst-case False Negative Rate deviation within 0.03 percentage points of the target; (2) provides formal guarantees without requiring expansion of the search space, and in some cases even reduces the number of probed clusters; (3) dynamically adapts the cluster probes required per query; and (4) incurs negligible overheads when compared to existing state-of-the-art baselines. ConANN is integrated into the FAISS vector search library, facilitating adoption in real-world ANN systems.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2025
National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-378635 (URN)10.14778/3772181.3772184 (DOI)001679981300003 ()2-s2.0-105033220871 (Scopus ID)
Note

QC 20260327

Available from: 2026-03-27 Created: 2026-03-27 Last updated: 2026-05-22Bibliographically approved
4. Query Optimization for Inference-Based Graph Databases
Open this publication in new window or tab >>Query Optimization for Inference-Based Graph Databases
2023 (English)In: VLDB-PhD 2023 - Proceedings of the VLDB 2023 PhD Workshop, co-located with the 49th International Conference on Very Large Data Bases, VLDB 2023, CEUR-WS , 2023, p. 33-36Conference paper, Published paper (Refereed)
Abstract [en]

Knowledge Graphs are commonly characterized by two challenges: massive scale and sparsity. The former leads to slow response times for complex queries with random data accesses, especially when they require deep graph traversals. The latter, which is caused by missing connections and characteristics in graphs modeling real information, implies that any analysis based solely on explicitly stored data is bound to yield incomplete results. This work aims to develop a novel graph database architecture that leverages the power of Graph Machine Learning to equip graph queries with prediction capabilities while offering approximate but timely results to complex queries. We discuss challenges, design decisions, and research avenues required in materializing this prototype alongside the outline of the actively-pursued research plan.

Place, publisher, year, edition, pages
CEUR-WS, 2023
Keywords
Graph Databases, Graph Representation Learning, Query Optimization, Uncertainty Estimation
National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-336736 (URN)2-s2.0-85169435702 (Scopus ID)
Conference
49th International Conference on Very Large Data Bases PhD Workshop, VLDB-PhD Workshop 2023, Vancouver, Canada, Aug 28 2023
Note

QC 20230919

Available from: 2023-09-19 Created: 2023-09-19 Last updated: 2026-05-22Bibliographically approved
5. ConRAD: Conformal Risk-Aware Neural Databases
Open this publication in new window or tab >>ConRAD: Conformal Risk-Aware Neural Databases
Show others...
2026 (English)Manuscript (preprint) (Other academic)
Abstract [en]

Querying incomplete knowledge graphs with neural predictors is powerful but dangerous. Errors compound across multi-hop pipelines with no formal bound on the completeness of results. We introduce ConRAD, the first framework to enforce declarative recall guarantees natively within a neural graph database query engine. Given a user-specified risk budget, ConRAD automatically derives per-operator prediction thresholds that satisfy the recall target with finite-sample, distribution-free statistical validity via Conformal Risk Control, while maximizing end-to-end precision. To scale calibration across multi-operator query topologies, we introduce a quantile-space scalarization that reduces intractable high-dimensional threshold searches to a single parameter. We further design the conformal gate, a novel physical operator that dynamically bypasses neural inference when local graph evidence suffices, eliminating unnecessary model inferences in dense graph regions. Evaluated across three benchmarks and three query topologies, ConRAD strictly satisfies all risk budgets, with empirical recall falling below the target by at most 0.046 across all settings. It reduces neural invocations to zero in near-complete graph regions, and achieves precision that matches or exceeds best-case static baselines that offer no guarantees and require manual threshold search.

National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-382125 (URN)10.48550/arXiv.2605.03806 (DOI)
Note

QC 20260601

Available from: 2026-05-22 Created: 2026-05-22 Last updated: 2026-06-01Bibliographically approved

Open Access in DiVA

fulltext(9847 kB)268 downloads
File information
File name FULLTEXT01.pdfFile size 9847 kBChecksum SHA-512
fd5030e6d47430779f042802978b33476b488d7c3fe49977f62e5dd57f11f2cae8efc0de767d462dd23298e34ee93440e5d86e529bc0cbd1efde6b52f346e020
Type fulltextMimetype application/pdf

Authority records

Horchidan, Sonia-Florina

Search in DiVA

By author/editor
Horchidan, Sonia-Florina
By organisation
Computing and Learning Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1015 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf