:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Neumann, Thomas
Format:	Preprint
Published:	2024
Subjects:	Databases
Online Access:	https://arxiv.org/abs/2412.04294
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Approximating Opaque Top-k Queries
by: Chang, Jiwon, et al.
Published: (2025)

Query Refinement for Diverse Top-$k$ Selection
by: Campbell, Felix S., et al.
Published: (2024)

Top-k Approximate Functional Dependency Discovery
by: Wan, Xiaolong, et al.
Published: (2026)

Top-k Representative Search for Comparative Tree Summarization
by: Chen, Yuqi, et al.
Published: (2024)

Discovering Top-k Periodic and High-Utility Patterns
by: Zhou, Qingfeng, et al.
Published: (2025)

Flexible Keyword-Aware Top-$k$ Route Search
by: Yu, Ziqiang, et al.
Published: (2025)

Top-k contrast order-preserving pattern mining
by: Wu, Youxi, et al.
Published: (2023)

Efficient Partition-based Approaches for Diversified Top-k Subgraph Matching
by: Chen, Liuyi, et al.
Published: (2025)

GTRSS: Graph-based Top-$k$ Representative Similar Subtrajectory Query
by: Ge, Mingchang, et al.
Published: (2025)

Redundancy-Driven Top-$k$ Functional Dependency Discovery
by: Wan, Xiaolong, et al.
Published: (2026)

The Duck's Brain: Training and Inference of Neural Networks in Modern Database Engines
by: Schüle, Maximilian E., et al.
Published: (2023)

Simpler is More: Efficient Top-K Nearest Neighbors Search on Large Road Networks
by: Wang, Yiqi, et al.
Published: (2024)

Efficient Algorithms for Top-k Stabbing Queries on Weighted Interval Data (Full Version)
by: Amagata, Daichi, et al.
Published: (2024)

Understanding User Preference -- Comparison between Linear and Directional Top-K Query results
by: Jiang, Xiaolei
Published: (2025)

LEARNT: A Practical Estimator for Cardinality of LIKE Queries with Formal Accuracy Guarantees
by: Lan, Hai, et al.
Published: (2026)

A Formalism and Library for Database Visualization
by: Wu, Eugene, et al.
Published: (2025)

Ranking the Top-K Realizations of Stochastically Known Event Logs
by: Lepsien, Arvid, et al.
Published: (2024)

MS-Index: Fast Top-k Subsequence Search for Multivariate Time Series under Euclidean Distance
by: d'Hondt, Jens E., et al.
Published: (2025)

Validation of Modern JSON Schema: Formalization and Complexity
by: Attouche, Lyes, et al.
Published: (2023)

The Data Hydration Gap: A Formal Model of Underinvestment in General-Purpose Data Products Under Decentralized Governance
by: Besanson, Gaston
Published: (2026)

Formalizing ETLT and ELTL Design Patterns and Proposing Enhanced Variants: A Systematic Framework for Modern Data Engineering
by: Rucco, Chiara, et al.
Published: (2025)

Down with the Hierarchy: The 'H' in HNSW Stands for "Hubs"
by: Munyampirwa, Blaise, et al.
Published: (2024)

Top Ten Challenges Towards Agentic Neural Graph Databases
by: Bai, Jiaxin, et al.
Published: (2025)

Personalized Top-k Set Queries Over Predicted Scores
by: Nia, Sohrab Namazi, et al.
Published: (2025)

Exploiting Formal Concept Analysis for Data Modeling in Data Lakes
by: Bendimerad, Anes, et al.
Published: (2024)

NetChain: Authenticated Blockchain Top-k Graph Data Queries and its Application in Asset Management
by: Zhao, Hongguang, et al.
Published: (2025)

DAOnt: A Formal Ontology for EU Data Act Compliance
by: Leyva-Sánchez, Sheyla, et al.
Published: (2026)

Top-L Most Influential Community Detection Over Social Networks (Technical Report)
by: Zhang, Nan, et al.
Published: (2023)

Poodle: Seamlessly Scaling Down Large Language Models with Just-in-Time Model Replacement
by: Strassenburg, Nils, et al.
Published: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
by: Liu, Dong
Published: (2025)

The Semantic Ladder: A Framework for Progressive Formalization of Natural Language Content for Knowledge Graphs and AI Systems
by: Vogt, Lars
Published: (2026)

Push Down Optimization for Distributed Multi Cloud Data Integration
by: Kodali, Ravi Kiran, et al.
Published: (2026)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
by: Tihanyi, Norbert, et al.
Published: (2023)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
by: Gerlach, Lukas
Published: (2026)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
by: Prudhomme, Tim, et al.
Published: (2024)

Surgical Treatment for Congenital Heart Defects in Down Syndrome Patients
by: Fernando Cesar Gimenes Barbosa Santos
Published: (2019)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
by: Chen, Haobin Hiroki, et al.
Published: (2025)

Probabilistic Top-k Dominating Query Monitoring over Multiple Uncertain IoT Data Streams in Edge Computing Environments
by: Lai, Chuan-Chi, et al.
Published: (2019)

Database Dependencies and Formal Concept Analysis
by: Baixeries, Jaume
Published: (2024)

SMART: Automatically Scaling Down Language Models with Accuracy Guarantees for Reduced Processing Fees
by: Jo, Saehan, et al.
Published: (2024)