中文
相关论文

相关论文: Testing Database Engines via Query Plan Guidance

200 篇论文

In tackling the challenges of large language model (LLM) performance for Text-to-SQL tasks, we introduce CHASE-SQL, a new framework that employs innovative strategies, using test-time compute in multi-agent modeling to improve candidate…

The development of Large Language Models (LLMs) has revolutionized QA across various industries, including the database domain. However, there is still a lack of a comprehensive benchmark to evaluate the capabilities of different LLMs and…

数据库 · 计算机科学 2024-12-09 Yihang Zheng , Bo Li , Zhenghao Lin , Yi Luo , Xuanhe Zhou , Chen Lin , Jinsong Su , Guoliang Li , Shifu Li

We propose Cognitive Databases, an approach for transparently enabling Artificial Intelligence (AI) capabilities in relational databases. A novel aspect of our design is to first view the structured data source as meaningful unstructured…

数据库 · 计算机科学 2017-12-21 Rajesh Bordawekar , Bortik Bandyopadhyay , Oded Shmueli

An effective paradigm for building Automated Question Answering systems is the re-use of previously answered questions, e.g., for FAQs or forum applications. Given a database (DB) of question/answer (q/a) pairs, it is possible to answer a…

计算与语言 · 计算机科学 2023-04-04 Stefano Campese , Ivano Lauriola , Alessandro Moschitti

Is it possible to make statistical inference broadly accessible to non-statisticians without sacrificing mathematical rigor or inference quality? This paper describes BayesDB, a probabilistic programming platform that aims to enable users…

人工智能 · 计算机科学 2015-12-17 Vikash Mansinghka , Richard Tibbetts , Jay Baxter , Pat Shafto , Baxter Eaves

Software testing is a core discipline in software engineering where a large array of research results has been produced, notably in the area of automatic test generation. Because existing approaches produce test cases that either can be…

软件工程 · 计算机科学 2023-10-11 Laura Plein , Wendkûuni C. Ouédraogo , Jacques Klein , Tegawendé F. Bissyandé

Benchmarks are among the main drivers of progress in software engineering research. However, many current benchmarks are limited by inadequate system oracles and sparse unit tests. Our Tests4Py benchmark, derived from the BugsInPy…

软件工程 · 计算机科学 2024-05-15 Marius Smytzek , Martin Eberlein , Batuhan Serce , Lars Grunske , Andreas Zeller

A traditional database systems is organized around a single data model that determines how data can be organized, stored and manipulated. But the vision of this paper is to develop new principles and techniques to manage multiple data…

数据库 · 计算机科学 2016-12-26 Jiaheng Lu , Zhen Hua Liu , Pengfei Xu , Chao Zhang

Large Language Models (LLMs) have made significant progress in assisting users to query databases in natural language. While LLM-based techniques provide state-of-the-art results on many standard benchmarks, their performance significantly…

人工智能 · 计算机科学 2024-07-09 Nina Narodytska , Shay Vargaftik

Formulating efficient SQL queries requires several cycles of tuning and execution, particularly for inexperienced users. We examine methods that can accelerate and improve this interaction by providing insights about SQL queries prior to…

数据库 · 计算机科学 2020-02-24 Zainab Zolaktaf , Mostafa Milani , Rachel Pottinger

A Natural Language Interface (NLI) facilitates users to pose queries to retrieve information from a database without using any artificial language such as the Structured Query Language (SQL). Several applications in various domains…

Automatically detecting software failures is an important task and a longstanding challenge. It requires finding failure-inducing test cases whose test input can trigger the software's fault, and constructing an automated oracle to detect…

软件工程 · 计算机科学 2023-09-12 Tsz-On Li , Wenxi Zong , Yibo Wang , Haoye Tian , Ying Wang , Shing-Chi Cheung , Jeff Kramer

Database system is an indispensable part of software projects. It plays an important role in data organization and storage. Its performance and efficiency are directly related to the performance of software. Nowadays, we have many general…

数据库 · 计算机科学 2020-08-12 WanHong Huang

Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we present designs decisional information through a constellation of…

数据库 · 计算机科学 2010-05-20 Olivier Teste

The massive progress of machine learning has seen its application over a variety of domains in the past decade. But how do we develop a systematic, scalable and modular strategy to validate machine-learning systems? We present, to the best…

机器学习 · 计算机科学 2019-11-07 Sakshi Udeshi , Sudipta Chattopadhyay

Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to generate them in a formal database language. We envision the…

数据库 · 计算机科学 2009-09-15 Alkis Simitsis , Yannis Ioannidis

Traditional query optimizers are designed to be fast and stateless: each query is quickly optimized using approximate statistics, sent off to the execution engine, and promptly forgotten. Recent work on learned query optimization have shown…

数据库 · 计算机科学 2023-07-12 Ryan Marcus

Whereas the availability of data has seen a manyfold increase in past years, its value can be only shown if the data variety is effectively tackled ---one of the prominent Big Data challenges. The lack of data interoperability limits the…

数据库 · 计算机科学 2019-10-09 Mohamed Nadjib Mami , Damien Graux , Harsh Thakkar , Simon Scerri , Sören Auer , Jens Lehmann

Traditional query optimization relies on cost-based optimizers that estimate execution cost (e.g., runtime, memory, and I/O) using predefined heuristics and statistical models. Improving these heuristics requires substantial engineering…

数据库 · 计算机科学 2026-02-12 Mehmet Hamza Erol , Xiangpeng Hao , Federico Bianchi , Ciro Greco , Jacopo Tagliabue , James Zou

In this paper, we present the case for a declarative foundation for data-intensive machine learning systems. Instead of creating a new system for each specific flavor of machine learning task, or hardcoding new optimizations, we argue for…